OpenAI a publié les 6 et 7 octobre 2026 un catalogue de 722 manuscrits organisés en 372 familles de résultats, couvrant la théorie des nombres, la géométrie algébrique, l’analyse et l’informatique théorique, après avoir testé son modèle interne sur environ 4 000 problèmes. Environ 300 de ces résultats, soit 42 %, disposent de formalisations dans le système Lean, un assistant de preuve qui vérifie chaque étape logique. Trois manuscrits ont été rétractés peu après la publication en raison d’erreurs, illustrant que les résultats générés par l’IA ne sont pas synonymes de résultats corrects. Certains manuscrits abordent des problèmes du Prix du Millénaire, et des mathématiciens comme Terence Tao et Alex Kontorovich se sont penchés sur des résultats liés à l’hypothèse de Riemann. Des critiques ont été émises sur la vérifiabilité, OpenAI n’ayant pas partagé le modèle sous-jacent ni les prompts complets utilisés.
Source: Lire l’article original
