Le 6 octobre 2026, OpenAI aurait prévu de publier des centaines de résultats mathématiques sur GitHub. La porte-parole de l’entreprise, Lindsay McCallum, a indiqué qu’aucune heure de mise en ligne n’était fixée. Cette annonce survient alors que des mathématiciens discutent de la façon de présenter, d’examiner et d’attribuer les travaux produits avec l’aide de l’IA.
Le projet de publication mathématique d’OpenAI
Le projet rapporté portait sur des centaines de résultats destinés à GitHub. Ce chiffre désigne le contenu envisagé pour la publication ; il ne correspond pas au nombre de problèmes qu’OpenAI dit avoir résolus. Le 6 octobre, Lindsay McCallum a déclaré que l’entreprise n’avait pas fixé d’heure de mise en ligne.
Ce qu’OpenAI affirme au sujet de son modèle
OpenAI affirme qu’un modèle interne, dont l’entraînement aurait commencé le 28 août 2026, a résolu plus de 100 problèmes ouverts de longue date dans la plupart des domaines des mathématiques. La société cite notamment le problème du prix du millénaire de Navier–Stokes, lié aux équations qui décrivent l’écoulement des fluides.
Les « plus de 100 problèmes » sont le bilan revendiqué par OpenAI ; les « centaines de résultats » correspondent au projet de publication sur GitHub. Les deux nombres portent sur des choses différentes.
Pourquoi des mathématiciens critiquent la divulgation
En août 2026, OpenAI a réuni une quarantaine de mathématiciens pour discuter des capacités croissantes de l’IA en mathématiques et de la communication des résultats. Bryna Kra a indiqué que les participants avaient demandé des articles explicatifs plutôt que des annonces limitées à des billets de blog ou à des publications sur les réseaux sociaux.
Pour Kra, des articles détaillés aideraient les mathématiciens à comprendre et à examiner les résultats, ainsi qu’à situer les contributions antérieures. La question ne porte donc pas seulement sur ce qu’un modèle affirme avoir trouvé : la manière de rendre le travail intelligible compte aussi pour les chercheurs qui voudraient l’étudier ou s’appuyer dessus.
Le différend de signature entre Buckmaster, Alpöge et Bubeck
Tristan Buckmaster a raconté que Sébastien Bubeck semblait suggérer que Levent Alpöge ne figure pas comme coauteur d’un article. Bubeck a nié avoir demandé que Levent Alpöge soit retiré de la liste des auteurs.
La publication originale de Bubeck accompagne ce démenti :
Des outils pour organiser les mathématiques assistées par machine
Hexagon est un dépôt consacré principalement à des contenus mathématiques générés par l’IA ; Palomar est un registre de mathématiques vérifiées par machine. Ces deux outils correspondent à des approches distinctes de l’organisation des travaux liés à l’intelligence artificielle et aux mathématiques.
