OpenAI a publié le 6 octobre 2026 sur GitHub un ensemble de 722 articles mathématiques produits par un modèle interne inédit. Ces documents abordent 372 familles de problèmes ouverts, provoquant une onde de choc au sein de la communauté scientifique.
La firme a mis en ligne un vaste recueil de travaux mathématiques issus des tests internes d’un système encore inaccessible au public. L’annonce, intervenue le 6 octobre 2026, expose pour la première fois l’ampleur des capacités de raisonnement avancé que l’entreprise développe en secret.
Détails des 722 manuscrits mathématiques publiés sur GitHub
L’examen des fichiers hébergés dans le répertoire public de l’entreprise montre que les 722 manuscrits sont répartis en 372 familles distinctes. Chaque famille regroupe un résultat principal, des arguments d’accompagnement, des conséquences ou des preuves alternatives concernant un même problème. Le modèle a initialement reçu environ 4 000 problèmes ouverts issus de 17 domaines mathématiques, et les résultats publiés proviennent d’une fraction d’environ dix pour cent de ces tentatives.
Pour chaque cas retenu, le volume de calcul nécessaire a nécessité en moyenne une puissance équivalente à trois heures de raisonnement dans ChatGPT Pro. Le dépôt comprend également le fichier d’aperçu overview.pdf, une carte de navigation CONTENTS.md, des prépublications au format PDF, des formalisations logiques écrites dans le langage lean, ainsi que dix résumés abrégés de la trace de raisonnement du modèle.
OpenAI a présenté 377 nouveaux résultats couvrant une large gamme de thèmes, notamment l’algèbre, la théorie des nombres, l’informatique théorique, la logique mathématique et la topologie, selon le journal The New York Times.
Exploration des conjectures et problèmes historiques par le système
Parmi les sujets traités figurent des défis de premier plan en algèbre, en théorie des nombres, en informatique théorique et en topologie. Les documents mentionnent notamment la fonction zêta de Riemann et la conjecture de Hodge, dont les versions générales comptent parmi les problèmes du prix du millénaire dotés d’un million de dollars par le Clay Mathematics Institute.
Les chercheurs relèvent également des avancées concernant la conjecture des jeux uniques (Unique Games Conjecture), la conjecture de Barnett sur les graphes cubiques bipartits, la quasi-conjecture de Riemann ou encore des propriétés relatives au nombre pi. Toutefois, aucune preuve définitive concernant les équations de Navier-Stokes n’apparaît dans ce nouveau lot, malgré les annonces formulées par l’entreprise au début du mois de septembre.
Réactions de la communauté mathématique sur les plateformes
La publication a immédiatement provoqué un choc au sein de la discipline. Sur les forums de discussion et les réseaux sociaux, plusieurs chercheurs ont exprimé un mélange d’admiration et d’amertume.
Certains doctorants et post-doctorants, à l’instar de contributeurs sur Reddit, haben fait part de leur découragement en voyant des années de travail sur un sujet précis potentiellement balayées en quelques jours par une exécution automatisée.
Le mathématicien Andrew Sutherland, de l’Institut de technologie du Massachusetts (MIT), a rappelé que ces travaux exigent une vérification rigoureuse par les pairs avant toute validation définitive. En l’absence d’accès direct au modèle et de réplication indépendante des résultats, la communauté scientifique traite ces annonces avec la plus grande prudence.
Avis de la commission indépendante de Princeton
L’Advisory Group on Mathematics and Artificial Intelligence a déclaré : « Nous voulons le dire clairement dès le début : nous ne cautionnons pas cette pratique » selon CT24.
Ce comité avait expressément recommandé aux laboratoires de cesser de tester leurs modèles fermés sur de complexes problèmes mathématiques non résolus de cette manière. Si l’entreprise affirme avoir tenu compte des avis de la commission, plusieurs experts soulignent que la rapidité de publication ne laisse guère le temps aux chercheurs humains de suivre et d’assimiler le rythme des démonstrations produites par la machine. Le modèle a initialement reçu environ 4 000 problèmes ouverts.
À lire aussi