OpenAI publie un rapport sur les progrès de l'IA en mathématiques et ouvre le dépôt openai/math

OpenAI a publié sur son site un document intitulé « Sharing AI progress in mathematics » et mis en ligne sur GitHub le dépôt openai/math. Le 13 octobre 2026, la chaîne Two Minute Papers a analysé cette publication dans la vidéo « OpenAI's New AI Is Doing Things We Barely Understand ». La description de la vidéo ne contient que deux liens vers les sources primaires, et aucune métrique. Voici donc ce que l'on sait avec certitude, et ce qui reste ouvert.

Ce qui a été publié

D'après les données disponibles, OpenAI a consacré une publication distincte à ses résultats mathématiques et y a joint du code. Le détail compte. Les entreprises présentent d'ordinaire les mathématiques sous forme de benchmarks dans les billets de lancement ; ici, le sujet dispose à la fois de sa propre page et de son propre dépôt. La thèse selon laquelle le système fait des choses que « nous comprenons à peine » vient de l'auteur de la vidéo. C'est sa formulation, tirée du titre, et non une déclaration d'OpenAI.

Les matériaux auxquels nous avons accès ne précisent pas :

• le nom et l'architecture du modèle qui a produit les résultats ;
• l'ensemble des problèmes et la proportion de problèmes résolus ;
• le budget de calcul et le temps d'exécution par problème ;
• la méthode de vérification des solutions : humain, vérificateur formel ou les deux.

Sans ces paramètres, toute comparaison avec les concurrents relèverait de la conjecture.

Contexte : d'où vient l'intérêt pour les mathématiques

Les mathématiques sont devenues le principal terrain d'évaluation des modèles de raisonnement. Une réponse est juste ou fausse, et une démonstration se vérifie. En juillet 2025, un modèle expérimental d'OpenAI a obtenu 35 points sur 42 à l'Olympiade internationale de mathématiques, soit cinq problèmes résolus sur six. C'est le niveau d'une médaille d'or. Depuis, la question a quitté les problèmes d'olympiade pour se déplacer vers la recherche : un modèle peut-il trouver une nouvelle démonstration, ou au moins vérifier de façon fiable celle d'autrui ?

Une publication accompagnée de code sur GitHub prolonge logiquement ce fil. Le dépôt permet de vérifier soi-même les affirmations, à condition qu'il contienne les problèmes, les solutions et les scripts d'évaluation. Le degré de complétude du dépôt reste pour l'instant inconnu.

Pourquoi « à peine compris » appelle à la prudence

La formule du titre peut recouvrir trois choses différentes. Première hypothèse : le modèle trouve des chemins de résolution que les humains jugent peu évidents. Deuxième : l'interprétabilité accuse un retard, et personne ne sait expliquer pourquoi le raisonnement fonctionne. Troisième : le titre est fait pour attirer les clics. Pour la rédaction, l'essentiel est de ne pas confondre ces options. Tant que nous ne voyons pas les conclusions d'OpenAI elle-même, l'appréciation de Two Minute Papers reste l'opinion d'un commentateur.

Comment aborder le sujet

Si vous êtes chercheur ou ingénieur, partez des sources primaires plutôt que de la vidéo. Voici l'ordre de vérification :

• ouvrez le billet sur openai.com et cherchez la liste des problèmes, les critères de validation et la description de la vérification ;
• dans openai/math, regardez la licence, le format des données et la présence de scripts de reproduction ;
• vérifiez s'il existe une vérification formelle, par exemple dans Lean, ou si les solutions ont été évaluées à la main ;
• comparez le budget de calcul annoncé au vôtre : un résultat atteignable en quelques heures sur un grand cluster a peu de chances d'être exploitable dans un produit.

Si vous construisez un produit sur des LLM, il y a ici une conclusion pratique. Les résultats mathématiques sont utiles comme indicateur de la capacité à mener de longues chaînes de raisonnement, mais ils ne se transposent pas directement aux tâches commerciales. Attendez des vérifications indépendantes avant de changer de stack ou de faire des promesses à vos clients. Nous reviendrons sur ce sujet quand les chiffres du billet lui-même et les premières reproductions seront disponibles.