OpenAI a résolu un problème mathématique vieux de 90 ans

OpenAI affirme avoir franchi une étape majeure en mathématiques avec une preuve liée aux équations de Navier-Stokes. Mais l'annonce, qui pourrait concerner l'un des problèmes du millénaire, suscite déjà la prudence et le débat au sein de la communauté scientifique.

La communauté scientifique reste divisée

OpenAI a annoncé mardi qu'un de ses systèmes internes, plus puissant que GPT-6 Astra, avait produit une preuve concernant les équations de Navier-Stokes, l'un des sept problèmes du prix du millénaire posés par l'institut Clay en 2000. Le résultat porterait sur l'existence d'une singularité en temps fini dans un fluide tridimensionnel, une question ouverte depuis les travaux de Jean Leray en 1934.

Ce qui rend cette annonce particulièrement délicate, ce n'est pas tant la performance technique que le contexte dans lequel elle intervient. Selon plusieurs médias américains, OpenAI aurait lancé cette offensive de calcul le 1er septembre, après avoir eu vent de rumeurs sur des avancées obtenues par deux mathématiciens indépendants, Tristan Buckmaster et Levent Alpöge, ce dernier étant employé chez Anthropic. Ces deux chercheurs affirment avoir résolu de leur côté une version voisine du problème, portant sur les équations d'Euler, avec l'aide de modèles d'IA différents. Buckmaster a publiquement mis en doute la manière dont OpenAI a eu connaissance de ses travaux non publiés, une accusation que l'entreprise dirigée par Sébastien Bubeck a démentie lors d'un point presse.

Sur le plan strictement scientifique, la prudence domine. Le document diffusé par OpenAI dépasse les 160 pages et s'accompagne d'une vérification formelle dans le langage Lean, ce qui limite le risque d'erreur logique pure. Mais plusieurs mathématiciens, dont Terence Tao, rappellent qu'une vérification automatisée ne garantit pas que le problème traité corresponde exactement à l'énoncé officiel du prix Clay, qui reste d'ailleurs toujours listé comme non résolu à ce jour.

L'épisode illustre surtout un basculement en cours dans la recherche mathématique. Des essaims de dizaines de milliers d'agents, capables de tourner plusieurs jours sur une seule question, deviennent des outils crédibles pour attaquer des problèmes jugés inaccessibles. Reste à savoir qui, des laboratoires ou des chercheurs indépendants s'appuyant sur ces mêmes outils, en tirera la reconnaissance scientifique.

We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.

The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.

The problem… pic.twitter.com/8zol3BPTL4

— OpenAI (@OpenAI) September 8, 2026