Et j'ai fini par trouver une preuve complète pour le dernier qui me manquait. Donc score final 38 à 25, ou plutôt 38 à 23 en tenant compte du fait que AlphaGeometry décompte 2 solutions pour un même problème 2002p2, et prouve une implication au lieu d'une équivalence pour 2 problèmes (2003p4 et 2004...

Voilà, score final 37 à 25. En fait un score plus adéquat serait plutot 37.5 à 24, car j'ai une solution partielle pour oim2018p6 et AlphaGeometry n'a fait qu'un des deux sens dans les équivalences demandées en 2003p4 et 2004p5. Cette fois-ci j'ai traité les 38 problèmes traitables en géométrie anal...

J'en suis à 34 solutions pour Xcas ce matin (+ 1 partielle). Je suis en train de parcourir les énoncés depuis le site des olympiades, car certains ne sont pas cités comme non résolus par AlphaGeometry, il devrait logiquement y en avoir plus de 40 à raison de 2 par an depuis 2000 et pas juste 30. D'a...

Alors la référence de l'article nature est https://www.nature.com/articles/s41586-023-06747-5 et le détail des problèmes des olympiades résolu par AlphaGeometry https://static-content.springer.com/esm/art%3A10.1038%2Fs41586-023-06747-5/MediaObjects/41586_2023_6747_MOESM1_ESM.pdf Sur le détail, on vo...

Certains ont peut-être vu cet article récent du Monde https://www.lemonde.fr/sciences/article/2024/01/17/une-intelligence-artificielle-fait-ses-preuves-en-maths_6211368_1650684.html où l'on apprend que Google vient de sortir une IA capable de résoudre des problèmes de géométrie (AlphaGeometry), et u...

Elle est déjà disponible
https://yaya-cout.github.io/Nwagyu/guide/apps/khicas.html
Je suppose qu'il suffit d'installer la nouvelle version qui écrasera l'ancienne?

Merci, j'ajoute un test d'un define pour N0120 dans gen.cc ... #if defined DEVICE && !defined NSPIRE_NEWLIB && !defined N0120 size_t stackptr=0x20036000; #elseif defined x86_64 size_t stackptr=0xffffffffffffffff; #else size_t stackptr=0xffffffff; #endif ... Idéalement, il faudrait un...

Bon, c'est pas ça, car la version de gen.cc utilisée dans le portage ne fait pas appel à stack_check. Il faut plutot chercher au tout début de gen.cc #if defined DEVICE && !defined NSPIRE_NEWLIB size_t stackptr=0x20036000; #else size_t stackptr=0xffffffffffffffff; #endif A mon avis, le point...

Le message d'erreur indique que ça plante en raison d'un test que je fais pour vérifier qu'il y a encore un peu de mémoire disponible avant de se lancer dans un calcul, c'est dans gen.cc bool gen::in_eval(int level,gen & evaled,const context * contextptr) const{ #ifdef TIMEOUT control_c(); #endi...

Concernant khicass, la raison pour laquelle j'ai été découragé est que ça ne semble pas fonctionner dès le début. A titre d'exemple, j'ai refait un essai avec la toute première commande du tutoriel vidéo que tu viens de poster, mais j'ai quelque chose qui ressemble à une erreur. https://tiplanet.or...