L'IA peut-elle produire des maths inédites ? Ce que montre la publication d'OpenAI

Ce qui s'est passé

Le 6 octobre 2026, OpenAI, l'entreprise derrière ChatGPT, a mis en ligne plus de 700 manuscrits de maths. Un manuscrit est un article de recherche que des experts n'ont pas encore évalué de façon officielle. Ces manuscrits ont été écrits par un modèle d'IA qu'OpenAI utilise en interne et auquel le public n'a pas accès.

Selon OpenAI, le modèle a reçu environ 4 000 problèmes, dont des problèmes ouverts : des questions que les mathématiciens n'avaient pas réussi à résoudre. Pour chaque résultat, le modèle a passé environ trois heures à « réfléchir », c'est-à-dire à avancer dans le problème étape par étape avant d'écrire une réponse.

Comment le travail est vérifié

En maths, un résultat ne compte qu'une fois sa démonstration vérifiée. Une démonstration est un raisonnement étape par étape qui montre qu'un énoncé est toujours vrai. Une seule étape fausse peut faire tomber toute la démonstration.

• Vérifications par ordinateur : pour environ 42 % des résultats principaux (au 7 octobre), OpenAI a aussi publié une version écrite pour Lean. Lean est un programme qui vérifie chaque étape d'une démonstration et rejette tout ce qui ne suit pas logiquement. Des humains doivent quand même confirmer que ce que Lean a vérifié correspond bien à ce qu'affirme l'article.
• Vérifications humaines : les autres résultats n'ont pas encore été vérifiés par ordinateur. Des mathématiciens les lisent, et plusieurs mathématiciens connus ont déclaré qu'un résultat ne devrait pas compter tant que des humains ne l'ont pas vérifié et compris.

Les premières corrections

Le lendemain, le 7 octobre, OpenAI a retiré 3 manuscrits. Une erreur de signe (un plus à la place d'un moins, ou l'inverse) dans un article a fait tomber un raisonnement sur lequel s'appuyaient deux autres articles. 14 autres manuscrits ont été corrigés.

OpenAI décrit elle-même ces fichiers comme des « données de recherche brutes », et non comme des articles terminés.

Pourquoi c'est important

Cette publication montre que l'IA peut désormais travailler pendant des heures sur des problèmes très difficiles. Elle montre aussi le revers de la médaille : même les systèmes les plus puissants font des erreurs qui semblent petites mais changent tout, et les vérifier demande beaucoup de temps aux experts. L'ampleur de cette avancée pour les maths fait encore débat.

Ce que cela veut dire pour vous quand vous discutez avec ChatPrime

Quand vous demandez à ChatPrime de résoudre ou d'expliquer un problème de maths étape par étape, les étapes peuvent sembler convaincantes et contenir quand même une erreur.

• Vérifiez chaque étape, pas seulement la réponse finale.
• Remettez la réponse dans le problème pour voir si elle fonctionne, ou résolvez-le d'une autre façon.
• Pour vos devoirs, servez-vous de l'explication pour apprendre la méthode, puis vérifiez le résultat vous-même.

Source

OpenAI, manuscrits de maths, fichiers Lean et journal des modifications, octobre 2026 : github.com/openai/math

Corrections du 7 octobre 2026 : history.md