OpenAI publie des centaines de résultats mathématiques produits par IA

OpenAI met en ligne 722 manuscrits regroupés en 372 familles de résultats, issus d’une campagne menée sur environ 4 000 problèmes mathématiques ouverts.

Par Telecoms.ma 10 oct 2026 4 min de lecture

OpenAI a publié le 6 octobre dernier une nouvelle série de résultats mathématiques produits par un modèle interne de pointe. La publication ne porte pas sur trois cents preuves isolées au sens strict : le dépôt rassemble 722 manuscrits organisés en 372 familles de résultats, issus d’une campagne menée sur environ 4 000 problèmes ouverts.

Cette annonce intervient quelques semaines après la publication de dix résultats présentés par OpenAI comme des avancées en mathématiques et en informatique théorique. Le nouveau lot couvre 17 domaines, dont la combinatoire, la théorie des nombres, la géométrie, les équations aux dérivées partielles et l’informatique théorique.

Des résultats regroupés en familles

OpenAI explique avoir élargi ses évaluations après avoir atteint les limites de ses précédents tests mathématiques. Le modèle interne a été confronté à des problèmes de recherche ouverts, puis les résultats jugés suffisamment significatifs ont été regroupés et préparés sous forme de manuscrits.

Selon l’entreprise, chaque résultat a mobilisé en moyenne l’équivalent d’environ trois heures de calcul ChatGPT Pro. OpenAI publie aussi des statistiques sur les problèmes tentés, dix synthèses du raisonnement du modèle et des éléments destinés à documenter la production des résultats.

La formalisation ne remplace pas l’examen des mathématiciens

Une partie des travaux est accompagnée d’une formalisation en Lean, un langage permettant de faire vérifier certaines étapes d’une preuve par ordinateur. Cette vérification renforce la traçabilité formelle, mais elle ne règle pas à elle seule les questions de portée, de nouveauté ou de qualité de l’exposition mathématique.

Le dépôt public prévoit d’ailleurs des révisions et des protocoles de citation. Des chercheurs ont déjà entrepris un examen humain des premiers résultats publiés par OpenAI, en distinguant les énoncés formalisés, les arguments analytiques et les étapes qui restent à vérifier.

Une publication qui divise la communauté

La quantité de documents publiés relance le débat sur la place des modèles d’IA dans la recherche. Pour OpenAI, l’objectif est de montrer que des modèles généralistes peuvent explorer des problèmes difficiles dans plusieurs disciplines. Pour une partie des mathématiciens, la priorité doit rester la vérification indépendante, la clarté des preuves et l’identification précise de la contribution humaine et algorithmique.

La publication ne signifie donc pas que 372 problèmes ont été définitivement résolus. Elle constitue plutôt un vaste corpus de résultats proposés, dont la valeur devra être appréciée cas par cas par les spécialistes des domaines concernés.

Un nouveau test pour les agents de recherche

L’enjeu dépasse les mathématiques. En automatisant la génération, le regroupement et la formalisation de centaines de pistes, OpenAI teste une forme d’agent de recherche capable de travailler à grande échelle. La question centrale devient alors moins le nombre de preuves produites que la capacité à sélectionner les résultats solides, à en expliquer l’origine et à permettre leur reproduction.