Le 6 octobre 2026, OpenAI a annoncé sur GitHub la publication de résultats mathématiques produits par un modèle interne de pointe. L’entreprise précise que de nombreuses preuves sont accompagnées d’une formalisation dans Lean. La référence à trois heures de réflexion de ChatGPT Pro correspond à une moyenne de calcul par résultat, et non à la durée de production de l’ensemble.
Le dépôt rassemble résultats et outils de vérification
OpenAI indique que le dépôt comprend les résultats mathématiques, des protocoles de révision et de citation, dix résumés du raisonnement du modèle, des estimations de calcul et des statistiques sur les problèmes tentés.
Lean est un assistant de preuve : il permet de formaliser un raisonnement afin qu’un ordinateur puisse en vérifier les étapes logiques. OpenAI dit publier dans ce format les preuves de nombreux résultats et prévoit d’en ajouter d’autres. La formalisation ne concerne donc pas nécessairement chaque résultat du dépôt.
Ce que mesure l’équivalence de trois heures
OpenAI estime que le calcul mobilisé pour un résultat moyen équivaut à environ trois heures de réflexion avec ChatGPT Pro. Cette durée sert de référence au calcul ; le modèle qui a produit les résultats est un modèle interne de pointe, et non ChatGPT Pro.
Les recommandations de l’AGMAI sur les mathématiques générées par l’IA
Le 29 septembre 2026, l’Advisory Group on Mathematics and Artificial Intelligence (AGMAI) a recommandé aux laboratoires d’IA de cesser les tests de problèmes mathématiques avancés sur des modèles propriétaires inaccessibles à la communauté de recherche. Pour les résultats mathématiques générés par l’IA, le groupe préconise notamment de communiquer le nom du modèle, les prompts, un résumé du raisonnement, le temps et le coût de calcul estimé, ainsi que le statut de formalisation. Il recommande aussi de soutenir les initiatives qui aident les chercheurs à comprendre ces résultats.
OpenAI a déclaré avoir consulté l’AGMAI et pris en compte ses recommandations pour organiser cette publication. L’entreprise a également indiqué vouloir financer des ateliers et des programmes associés, et travailler à la publication responsable du modèle interne.
