OpenAI se prépare à publier sur GitHub, en une seule livraison, des centaines de solutions mathématiques générées par IA, couronnant une période particulièrement déterminante pour les travaux de l'entreprise en mathématiques formelles.

Cette publication prévue fait suite à une annonce du 28 août 2026, dans laquelle OpenAI a révélé avoir commencé à entraîner un modèle d'IA capable de résoudre le problème des Millennium Prize de Navier-Stokes, aux côtés de plus de 100 autres problèmes mathématiques ouverts de longue date. Le problème de Navier-Stokes est l'un des sept problèmes du prix du Millénaire désignés par le Clay Mathematics Institute, chacun assorti d'un prix d'un million de dollars pour une solution correcte et figurant parmi les questions non résolues les plus profondes des mathématiques. Ces équations, formulées au XIXe siècle, décrivent le mouvement des fluides ; le problème du prix demande si des solutions lisses existent toujours en trois dimensions.

Ce qu'OpenAI va publier

La prochaine publication sur GitHub devrait inclure des preuves formelles écrites en Lean 4, un langage d'assistant de preuve permettant de vérifier des raisonnements mathématiques par ordinateur. Lean 4 est open source et constitue la base de mathlib, une vaste bibliothèque de mathématiques formalisées maintenue par la communauté ; les preuves écrites dans ce langage étant vérifiées par machine, chacun peut relancer la vérification une fois les résultats rendus publics.

Cela fait suite à une étape franchie plus tôt en août 2026, lorsque OpenAI a publié sur GitHub les solutions à 10 problèmes mathématiques ouverts, également accompagnées de preuves formelles Lean 4. Le prochain lot serait nettement plus important, décrit comme une livraison significative de résultats.

La porte-parole d'OpenAI, Lindsay McCallum, a confirmé que l'entreprise consulte son comité consultatif sur les mathématiques et l'intelligence artificielle afin de gérer la divulgation de manière responsable. Aucune date de publication confirmée n'avait été fixée au moment de la rédaction de cet article.

La communauté mathématique a des préoccupations

Tout le monde dans le monde mathématique s'en réjouit pas. Certains mathématiciens ont exprimé des préoccupations vives quant au rythme auquel les entreprises d'IA génèrent et publient des preuves, et des critiques ont établi des comparaisons acerbes avec le comportement compétitif des principales entreprises d'IA. L'une des comparaisons qui a circulé décrit cette dynamique comme ressemblant à des comportements de gangsters, une formule qui traduit l'anxiété autour de l'attribution du crédit, de la rapidité de vérification des résultats et de la capacité du processus traditionnel d'évaluation par les pairs à suivre.

La question plus large à laquelle la communauté mathématique est désormais confrontée est celle de l'attribution du crédit lorsqu'une machine produit la preuve. Si une IA résout le problème de Navier-Stokes, quelqu'un recevra-t-il le prix du Millénaire ? L'équipe ayant entraîné le modèle ? Les chercheurs ayant formalisé le problème ? Ce ne sont plus des cas limites hypothétiques. Le seul problème du prix du Millénaire résolu à ce jour est la conjecture de Poincaré, démontrée par Grigori Perelman, qui a ensuite refusé le prix.

Pourquoi cette publication mérite qu'on s'y intéresse

La décision d'OpenAI de diffuser ces résultats via GitHub plutôt que par une revue académique traditionnelle est en soi significative. La publication sur GitHub est rapide, publique et versionnée, mais elle contourne l'infrastructure éditoriale et d'évaluation par les pairs sur laquelle les mathématiques s'appuient depuis longtemps pour la validation. Selon les propres règles du Clay Mathematics Institute, une solution revendiquée doit être publiée dans un venue évaluée par les pairs et maintenir une acceptation générale parmi les mathématiciens pendant deux ans avant tout versement du prix.

Le fait de savoir si la solution de l'IA est complète, partielle ou conditionnée par des hypothèses qui en restreignent la portée est précisément le type de précision que la prochaine publication devra clarifier. L'engagement d'OpenAI auprès de son comité consultatif suggère que l'entreprise en a conscience, même si le calendrier de publication reste ouvert.