OpenAI affirme avoir résolu Navier–Stokes avec 10 000 agents IA
Un modèle interne plus puissant que GPT-6 Astra aurait démontré en 88 heures que les équations des fluides peuvent « exploser » : une annonce aussi vertigineuse que la course qui l'a déclenchée.
En bref
OpenAI publie une démonstration, générée par un système interne d'agents, établissant qu'un fluide 3D incompressible, initialement au repos et soumis à une force lisse, peut développer une singularité en temps fini. Cela trancherait par la négative l'un des sept problèmes du millénaire du Clay Institute, avec une formalisation en Lean à l'appui. L'entreprise ne réclame pas le prix et présente le résultat comme un signal sur la vitesse des progrès de l'IA.
🍺 Version comptoir
Depuis 90 ans, des mathématiciens se demandent si l'eau peut, en théorie, se mettre à tourner infiniment vite. OpenAI a lâché 10 000 IA sur la question pendant un long week-end, et la réponse est oui : un tourbillon qui s'étire comme un spaghetti jusqu'à faire craquer les équations. Le plus beau, c'est que tout est parti d'une rumeur selon laquelle Anthropic avait trouvé avant eux, ce qui fait de la plus grande avancée mathématique du siècle, techniquement, une histoire de jalousie entre voisins de palier. Si c'est confirmé, la question n'est plus de savoir si l'IA fait des maths, mais combien de temps il reste aux mathématiciens pour relire.
À retenir
- 1
OpenAI affirme avoir prouvé qu'un fluide 3D incompressible, parti du repos avec une force extérieure lisse et une énergie finie, peut voir sa vitesse diverger en temps fini, établissant les énoncés « C » et « D » de la formulation officielle du Clay Institute.
- 2
La solution prend la forme d'un vortex qui spirale vers l'intérieur et s'étire « comme un spaghetti », la région centrale rétrécissant et accélérant tout en gardant une énergie finie.
- 3
La preuve vient d'un modèle interne en cours d'entraînement depuis le 28 août, décrit comme « significativement plus capable que GPT-6 Astra ».
- 4
Le groupe ayant trouvé la solution comptait de l'ordre de 10 000 agents simultanés ; la résolution est arrivée le 5 septembre, environ 88 heures après le lancement, puis 17 heures de formalisation Lean via GPT-6 Astra.
- 5
Au passage, le système a résolu le problème d'explosion pour les équations d'Euler sans forçage, avec près de 100 agents en environ 50 heures, ce qui a orienté l'effort vers Navier–Stokes.
- 6
L'opération a été lancée après une rumeur liée à Levent Alpöge (Anthropic) et Tristan Buckmaster (NYU), qui avaient en réalité résolu le problème d'Euler avec forçage ; OpenAI leur reconnaît la priorité sur ce point.
- 7
Coût de l'ensemble : 4,9 millions de messages et environ 300 milliards de tokens de sortie, dont 2,7 millions de messages et 130 milliards de tokens pour Navier–Stokes seul.
Un problème vieux de 90 ans
Les équations de Navier–Stokes appliquent la deuxième loi de Newton aux fluides, traités comme un milieu continu plutôt que comme un ensemble de molécules. Elles servent à concevoir des avions, prévoir la météo ou étudier la circulation sanguine.
La question ouverte : un fluide 3D incompressible, parti d'un mouvement parfaitement lisse, peut-il développer une « singularité », c'est-à-dire des vitesses qui croissent sans limite en un temps fini, malgré la viscosité qui tend à tout lisser ?
Jean Leray a montré en 1934 l'existence de solutions en un sens généralisé, sans pouvoir garantir qu'elles restent lisses. En 2000, le Clay Mathematics Institute en a fait l'un de ses sept problèmes du millénaire.
Le résultat : oui, les équations peuvent casser
Selon OpenAI, son système a produit une preuve analytique et une formalisation en Lean montrant qu'un fluide initialement au repos, soumis à une force lisse et conservant une énergie finie, peut former une singularité en temps fini. C'est donc une réfutation de la régularité globale, qui correspond aux énoncés « C » et « D » du Clay.
La construction repose sur un vortex qui spirale vers l'intérieur en s'allongeant. Toute la difficulté est que l'explosion naisse de la dynamique du fluide elle-même, et non d'une force infinie injectée à la main.
Concrètement, accélération, gradients de pression, transfert de quantité de mouvement et viscosité doivent tous devenir énormes tout en se compensant avec précision, de sorte que la force extérieure reste lisse pendant que la vitesse diverge.
La méthode : une armée d'agents et un week-end
Le 1er septembre, des rumeurs évoquent la résolution de deux problèmes du millénaire. OpenAI lance alors son nouveau modèle interne sur tous les problèmes du millénaire encore ouverts, plus quelques autres problèmes à fort impact.
Le dispositif : des groupes d'agents coordonnés, avec accès à une version en cache d'internet et à l'exécution de code, chaque groupe recevant une variante différente de l'énoncé (preuve via « A » et « B », réfutation via « C » et « D »).
Une surprise vient d'un problème jugé « plus facile » : l'explosion pour Euler sans viscosité ni forçage, résolue par près de 100 agents en environ 50 heures. OpenAI réaffecte alors ses ressources à Navier–Stokes, nourrit les agents avec ce résultat, met à jour le modèle en cours de route et utilise Codex pour croiser les meilleures idées entre groupes.
La résolution tombe le samedi 5 septembre, environ 88 heures après le lancement. La vérification en Lean prend 17 heures supplémentaires avec GPT-6 Astra.
La course avec Anthropic
La rumeur initiale concernait Levent Alpöge, employé d'Anthropic, et Tristan Buckmaster, professeur à NYU. Croyant qu'ils détenaient aussi une solution de Navier–Stokes, OpenAI les contacte le 6 septembre pour proposer une annonce conjointe.
Il s'avère qu'ils avaient résolu, avec un modèle interne d'Anthropic, le problème d'Euler avec forçage. OpenAI reconnaît leur priorité sur ce résultat et souligne que sa propre preuve d'Euler, sans forçage, est différente.
Point notable : OpenAI dit avoir enquêté et confirmé que les prompts Codex de Buckmaster sur les deux mois précédents n'ont pu influencer son système d'aucune façon, y compris via l'entraînement, et qu'aucune donnée utilisateur n'a été consultée.
Le message derrière l'annonce
OpenAI précise ne pas vouloir réclamer le prix du millénaire. L'objectif affiché est d'informer le monde du rythme des progrès de l'IA et de ce qu'il faut attendre des prochains modèles.
L'entreprise parle d'une « nouvelle période » des progrès de l'IA et indique vouloir comprendre ce modèle avant d'aller plus loin, quitte à faire des choix plus délibérés sur le rythme des avancées.
“The solution is a vortex, a spinning swirl of fluid, that spirals inward and gets increasingly elongated, like spaghetti.”
“We do not intend to claim the Millennium Prize for this result.”
“This is not a culmination, but rather a snapshot in time, of progress on AI development.”
Pourquoi ça compte
Si la preuve tient, c'est un basculement historique : pour la première fois, un système d'IA aurait tranché un problème du millénaire, et en quelques jours plutôt qu'en décennies. La formalisation Lean est l'argument le plus solide du dossier, car elle rend la vérification mécanique, mais elle ne dispense pas la communauté de vérifier que l'énoncé formalisé correspond exactement à la formulation du Clay ; c'est là que se jouera la crédibilité du résultat. Le récit lui-même est révélateur : une course lancée sur une rumeur concernant un concurrent, des ressources colossales (300 milliards de tokens, 10 000 agents simultanés) mobilisées en un week-end, et un paragraphe défensif sur les prompts Codex d'un chercheur rival qui soulève à lui seul des questions sur la frontière entre données clients et R&D. Enfin, le ton prudent de la conclusion sur le « rythme » des progrès sonne autant comme un avertissement que comme une démonstration de force : un modèle encore en cours d'entraînement qui fait cela inquiète au moins autant qu'il impressionne.
Pour vous
Faites-la travailler sur vos sources.
Gratuit : un mois d'articles et trois de vos sources. Pro : l'archive complète et vos sources, dès 8 €/mois.
Pour votre équipe
La même machine, sur vos sujets.
Un espace à vos couleurs, vos angles de veille, vos curateurs. Pilote ouvert à trois entreprises.
À lire aussi
#agentsAujourd'huiCloudflare lance Clef-omni : un modèle de décision qui voit, entend et tranche
Une semaine après ses premiers modèles open-weight, Cloudflare ajoute l'audio et la vidéo, divise par plus de deux le prix de Clef-flash et accélère Clef.
Source · Cloudflare Blog · Introducing Clef-omni with full multimodality, plus a faster Clef and a cheaper Clef-flash
#geminiAujourd'huiGemini agent : Google Cloud veut un seul agent pour tout le travail
Au Gemini at Work 2026, Thomas Kurian présente un agent unique, persistant et multi-modèles, qui reçoit même sa propre adresse e-mail d'entreprise.
Source · Google Cloud Blog · Gemini at Work 2026: Introducing Gemini agent
#politiqueAujourd'huiAdam Schiff : le Congrès face à l'IA, entre Section 230 et Murphy's law
Le sénateur démocrate de Californie démonte le pacte volontaire signé à la Maison-Blanche et plaide pour une « FDA de l'IA », tout en reconnaissant que le Congrès n'a jamais su réguler la tech.
Source · The Verge – Decoder · Sen. Adam Schiff on making Congress relevant in the AI age