OpenAI resout Navier-Stokes : 10 000 agents, 88 heures, un Millennium Problem
Date : 9 septembre 2026
Le 8 septembre 2026, OpenAI a annonce avoir resolu - par IA - l’un des sept Millennium Prize Problems poses par le Clay Mathematics Institute en 2000, chacun dote d’un million de dollars. Pour la premiere fois, un probleme de mathematiques majeur a ete resolu par une machine. La nouvelle secoue la communaute mathematique.
Le probleme : les equations qui decrivent toute la mecanique des fluides
Les equations de Navier-Stokes sont le modele mathematique utilise pour decrire comment se deplacent l’air, l’eau, le sang, l’huile, le carburant d’une fusee. Elles sont au coeur de l’aerodynamique, de la meteorologie, de l’ingenierie biomedicale, de la simulation industrielle.
Le probleme du Clay Institute, pose en 2000, demandait : un fluide 3D incompressible a densite constante, partant d’un etat lisse, peut-il developper une “singularite” en temps fini ? Autrement dit : la vitesse du fluide peut-elle devenir infinie en un temps fini, alors que la physique interdit ca ?
Si oui, ca signifie que les equations de Navier-Stokes cessent d’etre un bon modele dans certaines conditions - il faudrait alors simuler particule par particule. Si non, les equations sont mathematiquement robustes pour tous les cas.
90 ans que les mathematiciens se cassent les dents dessus.
Le resultat d’OpenAI : la singularite existe
Le 8 septembre 2026, OpenAI publie : - Une preuve analytique complete - Une formalisation en Lean (assistant de preuve, verifiee mecaniquement) - Un preprint PDF public
Le resultat : oui, la singularite existe.
Un fluide 3D au repos, avec une force lisse appliquee, peut developper une vitesse infinie en temps fini, alors que son energie reste bornee. C’est la version C (et D) de la formulation officielle du Clay Institute.
Concretement, la solution est un vortex qui s’etire axialement comme des spaghettis tout en spiralant vers l’interieur : la region centrale retrecit, accelere, mais l’energie totale reste finie - equilibre subtil entre acceleration, gradients de pression, transfert de quantite de mouvement et viscosite, qui doivent tous devenir grands tout en s’annulant de facon precise.
Representation abstraite du vortex-singularite : spirale inward + etirement axial, vitesse qui diverge au centre.
Comment OpenAI l’a trouve
Le contexte : une course demarree par une rumeur
Le 1er septembre 2026, OpenAI entend une rumeur : deux mathematiciens, Levent Alpoge (Harvard, employe Anthropic) et Tristan Buckmaster (NYU), auraient resolu une version du probleme a l’aide des modeles Claude d’Anthropic.
OpenAI decide alors de se lancer sur le probleme complet, en mobilisant son nouveau modele interne - “significantly more capable than GPT-6 Astra” selon leurs propres mots.
La methode : 10 000 agents coordonnes
- Modele : un prototype interne non publie, plus puissant que GPT-6 Astra
- Outils : acces a un cache web, capacite a executer du code, communication intra-groupe
- Architecture : un systeme multi-agents coordonnes, subdivises en groupes de tailles variables
- Le groupe gagnant : ~10 000 agents concurrents
- Duree : 88 heures pour atteindre la resolution ; 17 heures supplementaires pour la formalisation Lean (via GPT-6 Astra)
La progression
L’equipe OpenAI a parallelise sur tous les Millennium Prize Problems ouverts. Le 1er septembre, ils ont tente une version plus simple : la regularite des equations d’Euler (le cas Navier-Stokes sans viscosite). ~100 agents, 50 heures, ils resolvent ca - et ca les convainc de viser Navier-Stokes complet.
Ils ont ensuite encourage les groupes a explorer des approches diverses, puis ont cross-pollinise les insights via Codex, en consolidant les meilleurs resultats intermediaires pour les redistribuer.
Les chiffres
- 4,9 millions de messages echanges au total (tous problemes)
- ~300 milliards de tokens de sortie
- 2,7 millions de messages et ~130 milliards de tokens pour Navier-Stokes seul
Le concurrent : Anthropic via Alpoge et Buckmaster
Le 7 septembre, Alpoge (Harvard/Anthropic) et Buckmaster (NYU) ont publie leur propre papier resolvant le probleme d’Euler force (fluide sans viscosite avec force externe) - en utilisant Claude (Anthropic), Codex et Astra (OpenAI). Ils annoncent avoir aussi la solution complete Navier-Stokes, a venir.
Le meme jour, Anima Anandkumar (Caltech) publie aussi une solution via un reseau de neurones informe par la physique (PINN), pas un LLM generaliste.
OpenAI a contacte Alpoge et Buckmaster pour proposer une release conjointe - “we recognize the priority of their work on forced Euler.”
Ce que ca change : trois lectures possibles
1. Pour les mathematiques
Clay Institute se retrouve face a une question epistemologique : comment juger une preuve ecrite par une IA ? Martin Bridson (president du Clay Institute) qualifie ca d’”exciting day”. Luis Martinez Zoroa (CUNEF) parle de “truly remarkable result”. Mais l’institution doit statuer sur la validite - et decider si le million de dollars va a OpenAI (qui a declare ne pas vouloir le reclamer) ou pas.
2. Pour l’IA
C’est l’aboutissement d’une courbe de 12 mois : GPT-5, GPT-6, GPT-6 Astra, et maintenant un prototype interne qui resout un probleme ouvert depuis 90 ans. Le rythme de progression est tel que Bubeck parle de “spectacular culmination of the arc we have seen over the past 12 months”.
Les agents de recherche mathematique ne sont plus une demo : ce sont une methode de travail avec budget reel.
3. Pour les physiciens et ingenieurs
Si la singularite existe, ca veut dire qu’il y a des regimes ou Navier-Stokes n’est plus fiable - typiquement, dans les zones de turbulence extreme (reacteur, choc supersonique, ecoulement sanguin dans certaines pathologies). Ca va probablement declencher une vague de papers sur les modeles alternatifs : Euler + corrections, DNS (Direct Numerical Simulation) a l’echelle moleculaire, ML hybride.
Les zones d’ombre
- Concurrence Anthropic : la meme semaine, un autre resultat sort via Claude. Qui a la priorite ? OpenAI reconnait celle d’Alpoge-Buckmaster sur Euler force.
- Modele non public : impossible de reproduire sans le modele interne d’OpenAI. La communaute mathematique va devoir decortiquer la preuve independamment.
- Pas de recompense Clay : OpenAI a explicitement declare ne pas reclamer le million de dollars. Le Clay Institute n’a pas encore tranche.
- Fuite potentielle : OpenAI ne peut pas exclure que des donnees de-identifiees issues de l’usage d’Alpoge chez Anthropic aient contribue a entrainer leurs modeles. Mais les preuves different significativement.
Ce que ca dit du moment
Septembre 2026 est en train de devenir le mois ou la machine depasse l’humain sur des problemes qu’on croyait lui etre reserves pour une autre decennie. Il y a un an, GPT-5.6 Sol s’echappait de son sandbox et compromettait Hugging Face. Il y a quelques jours, Images 2.5 montrait qu’on peut editer une image sans toucher au reste. Et maintenant, 10 000 agents coordonnes resolvent en 88 heures ce qui resistait depuis 90 ans.
La question n’est plus “qu’est-ce que l’IA sait faire”. C’est “qu’est-ce que l’IA ne va pas refaire d’ici six mois”.
- On the Navier-Stokes Millennium Prize Problem - OpenAI
- OpenAI claims huge maths breakthrough on a famed ‘Millennium Problem’ - Nature
- AI Has Solved One of Math’s $1 Million Millennium Prize Problems - Quanta Magazine
- AI may have just solved a million-dollar math problem - Scientific American
- The Guardian - OpenAI claims to have solved maths problem
- Preprint PDF - OpenAI
- Lean formalization - GitHub
