OpenAI a publié 722 manuscrits de mathématiques produits par un modèle d’intelligence artificielle inédit sur GitHub le 6 octobre 2026, avec des propositions de démonstration pour des problèmes ouverts de premier plan qui divisent la communauté scientifique.
L’entreprise américaine spécialisée dans l’intelligence artificielle a versé sur la plateforme de partage de code GitHub une vaste collection de travaux de recherche regroupés en 372 familles de résultats.
Ces documents incluent des démonstrations et des arguments à l’appui, générés au cours de phases d’évaluation où le système a été confronté à environ 4 000 problèmes ouverts.
L’entreprise détaille la puissance de calcul engagée
Pour chaque résultat publié, l’organisation a fourni des indications sur la méthodologie et les ressources nécessaires à leur obtention. La grande majorité des démonstrations découle d’une requête unique adressée à un agent, chaque résultat exigeant en moyenne une puissance de calcul équivalente à environ trois heures de réflexion avec le service ChatGPT Pro.
Le dépôt public intègre également des éléments de vérification formelle. Pour une part importante de ces travaux, l’entreprise a associé des démonstrations écrites en Lean, un langage de programmation qui permet de certifier informatiquement la cohérence logique des raisonnements mathématiques, même si cet outil ne statue ni sur l’originalité ni sur la portée conceptuelle des résultats. S’y ajoutent dix résumés abrégés du raisonnement du modèle et des statistiques sur les problèmes traités.
Les mathématiciens réagissent à une avancée sur l’hypothèse de Riemann
Au cœur de cette collection, des travaux portant sur la fonction zêta de Riemann ont attiré l’attention de mathématiciens de premier plan. Le modèle revendique notamment une marge de largeur fixe sans zéros, un résultat décrit par certains spécialistes comme une rupture notable avec les limites mouvantes obtenues par les chercheurs humains jusqu’à présent.
Quasi-RH?!?!???! Vous vous moquez de moi ? Si un humain avait fait cela, ce serait une médaille Fields immédiate, sans la moindre hésitation. RH affirme que la fonction zêta n’a pas de zéros dans Re(s)>1/2. Le mieux que nous ayons eu jusqu’à il y a une seconde était une région qui devenait de plus en plus mince à mesure qu’on monte sur l’axe imaginaire.
Alex Kontorovich, professeur à l’université Rutgers
Vingt-cinq lauréats de la médaille Fields ont signé une lettre ouverte soulignant un décalage profond entre la production industrielle d’énoncés automatisés et la recherche de compréhension conceptuelle qui caractérise les mathématiques pures.
La concertation avec l'Institute for Advanced Study et les critiques de la communauté
L’entreprise a indiqué avoir consulté le Groupe consultatif sur les mathématiques et l’intelligence artificielle de l’Institute for Advanced Study (IAS) pour encadrer sa démarche. Ce comité indépendant, dont les membres n’étaient pas rémunérés, avait pourtant émis des recommandations invitant les laboratoires à cesser de tester les problèmes mathématiques avancés sur des modèles propriétaires et à publier les prompts ainsi que les architectures exactes — des requêtes que le créateur de ChatGPT n’a que partiellement suivies.
Des chercheurs ont également regretté l’absence de publication dans des revues scientifiques traditionnelles à comité de lecture, le choix de GitHub s’apparentant davantage à une diffusion de prépublications brutes.
L’organisation prévoit de financer des ateliers pour accompagner l’appropriation de ces découvertes et de poursuivre la mise à jour de son dépôt.