OpenAI claims a Millennium Prize problem: 10,000 AI agents prove forced Navier–Stokes blow-up; priority dispute erupts
On 8 Sep 2026 OpenAI released a 166-page paper and a Lean formalisation proving that the 3D incompressible Navier–Stokes equations with a smooth external force can develop a finite-time singularity from smooth initial data. This fits option (C) of Fefferman's official Clay problem statement. About 10,000 agents on an internal model worked for 88 hours. Experts say the unforced problem that matters physically remains open. The result builds on Córdoba and Martínez-Zoroa's techniques, and a bitter priority dispute with Tristan Buckmaster (NYU) and Levent Alpöge (Anthropic) followed.
Key facts
- Scale: ~10,000 agents, 88 hours, ~2.7M messages (some reports ~5M), ~130B tokens; Lean formalisation in 17 more hours; led by Sébastien Bubeck
- Claim: a smooth fluid initially at rest, under smooth forcing, develops a singularity in finite time (velocity unbounded, energy bounded)
- Clay Institute (11 Sep): problem has 'apparently been settled' but its process is 'deliberately unhurried'; no prize awarded
- Luis Silvestre: 'The Clay problem is settled, but the main problem for the Navier-Stokes equations is not.'
- Charles Fefferman: 'The heroes of the story… are Córdoba and Martínez-Zoroa'
- Buckmaster and Alpöge (with Matei Coiculescu) released forced blow-up results for IPM, 2D Boussinesq and 3D Euler on 7 Sep, obtained with Claude and Codex and Lean-verified on 22 Aug
- Buckmaster alleged OpenAI may have benefited from his Codex sessions; OpenAI's statements shifted from 'cannot rule out' to denial ('no user inputs past July 3rd')
Science result
- Field
- mathematics / partial differential equations / fluid dynamics
- Problem
- Navier–Stokes existence and smoothness (Clay Millennium Prize problem), forced-breakdown case (open since 2000)
- Result
- Claimed proof, formalised in Lean, of finite-time blow-up for 3D incompressible Navier–Stokes with smooth external forcing.
- AI system
- OpenAI internal model (≈10, 000 parallel agents)
- Human role
- Largely autonomous agent swarm; builds on human techniques of Córdoba and Martínez-Zoroa
- Verification
- Formal proof in Lean (public); Clay review pending; human peer review ongoing
- Status
- disputed
- Why surprising
- An AI swarm produced, in under four days, a formally verified proof meeting the letter of a Millennium Prize problem, though experts dispute whether it is the problem that matters.
What happened
OpenAI ran a massive swarm of agents on the forced Navier–Stokes blow-up problem, starting 1 Sep on a model in training since 28 Aug. It announced a complete proof with Lean code on 8 Sep. A day earlier, Buckmaster and Alpöge had released related forced-blow-up results for Euler-type equations using Claude and Codex, and Buckmaster accused OpenAI of rushing after learning of their work. Critics note that the official problem statement allows forcing (option C), but that experts regard the unforced question as the real open problem. Wikipedia now hosts a separate article on the priority controversy.
The authorship dispute (added 2026-09-29, verification pass)
Per Fortune's timeline and Scientific American:
- 2026-08-15: Tristan Buckmaster and Levent Alpöge (Anthropic) privately proved that the Euler equations (Navier–Stokes without viscosity) can blow up. They built on the forcing methods of Diego Córdoba and Luis Martínez-Zoroa.
- 2026-08-15 to 08-22: word of this unpublished work reached OpenAI. Sébastien Bubeck's math team then produced the proof extending it to the forced Navier–Stokes equations.
- 2026-09-03 to 09-06: according to Buckmaster, OpenAI offered him sole authorship of a paper crediting OpenAI's model, on condition that Alpöge be removed because of his Anthropic affiliation. Buckmaster says Bubeck asked "Why would you ruin your career?" Buckmaster also raised the possibility that OpenAI's model had seen his Codex session drafts.
- 2026-09-08: Buckmaster posted his statement the night OpenAI announced its result. Bubeck replied "We did not use their prompt or models or proof" and called the account "false and inflammatory". OpenAI pledged not to claim the Clay prize, and later recruited nine mathematicians to referee its math claims. This is the first public priority and misconduct dispute between frontier labs over a mathematical result.
Why it matters
It is the first credible AI claim on a Clay Millennium Prize problem, even if only a technically permitted variant. It also crystallised disputes over credit, data provenance from AI products, and how AI labs announce results, which culminated in the Fields Medallists' open letter three days later.
Changelog
- 2026-09-29: added Gamburd essay (arXiv 2609.28591: 616k lines of Lean per its abstract), LMS statement, the concurrent Anandkumar Euler result, and related Royal Society/ICIAM entries
- 2026-09-29: added post link(s) (3) from Google/DeepMind + math posts pass
- 2026-09-29: added post link(s) (OpenAI cluster post research)
- 2026-09-29: added authorship/misconduct dispute and SciAm/Fortune sources (verification pass)
- 2026-09-29: created
- 2026-09-29: added Bubeck's X reply and OfficeChai coverage of his fuller response
Related posts (10)
- The Siren Call of Silicon Leviathan: Reflections on blowup and Aufklärungsdämmerung (arXiv 2609.28591) Alexander Gamburd · other · 2026-09-23
A 63-page reflective essay by a CUNY mathematician on what OpenAI's machine-made, Lean-certified Navier–Stokes proof means for understanding in mathematics; it recommends selective acceptance rather than boycott or surrender. - Advisory Group on Mathematics and Artificial Intelligence OpenAI @OpenAI · blog · 2026-09-21
Source of OpenAI's claim that an internal model resolved 100+ long-standing open math problems; creates an IAS-hosted review body. - The Overhang Ethan Mollick @emollick · substack · 2026-09-18
The most widely read mainstream take after Astra and the pacing week: models like GPT-6 Astra and Fable 5.1 already outrun what almost anyone does with them. - OpenAI: 'We're sharing a solution to the Navier-Stokes Millennium Prize Problem' OpenAI @OpenAI · x · 2026-09-08
OpenAI's announcement of an AI-produced proof claimed to solve a Clay Millennium problem, which set off a major controversy. - Buckmaster: Alpöge and I have made public three finite-time blowup results (with statement) Tristan Buckmaster @tristanbuckmaster@mastodon.social · other · 2026-09-08
Buckmaster's release of the Euler/Boussinesq/IPM blow-up proofs and his statement accusing OpenAI, which started the Navier–Stokes priority controversy. - Noam Brown: OpenAI mathematicians had their 'Lee Sedol moment' Noam Brown @polynoamial · x · 2026-09-08
Widely shared insider reaction to the Navier-Stokes model: researchers watched it solve problems they had worked on for years. - Bubeck calls Buckmaster's allegations "false and inflammatory" Sebastien Bubeck @SebastienBubeck · x · 2026-09-08
OpenAI's first public reply in the Navier–Stokes priority controversy, the most bitter credit fight yet between an AI lab and human mathematicians. - Finite time blowup with smooth forcing term for the incompressible porous medium, Boussinesq, and incompressible Euler equations Terence Tao · blog · 2026-09-07
Tao's exposition of the Alpöge–Buckmaster AI-assisted blow-up results, which appeared a day before OpenAI's Navier–Stokes claim and anchor the priority dispute. - An Alien Mind Jakub Pachocki @merettm · blog · 2026-09-06
OpenAI's chief scientist says no lab can responsibly keep scaling at maximum speed and expects recursive self-improvement to be reachable at the current pace. - Tao: open problems have become a non-renewable resource Terence Tao @tao@mathstodon.xyz · other · 2026-09-03
Tao's influential threads arguing that AI labs racing to 'solve' famous problems use up a non-renewable resource, with Navier–Stokes as the example. They set the terms of the September 2026 debate.
Related events
- DeepMind and mathematicians use neural networks to find new unstable singularities in fluid equations ★★★
- Fields Medallists' open letter 'A Severe Misalignment of AI in Mathematics' criticises labs' race for famous problems ★★★
- OpenAI says an internal model resolved 100+ long-standing open problems in 24 days of training; no list released ★★★
- OpenAI chief scientist Jakub Pachocki publishes "An Alien Mind": no lab can keep scaling at maximum speed ★★★★★
- Caltech team (Anandkumar) reports a stable self-similar singularity candidate for the unforced 3D Euler equations on R³, found with PINNs and LLM help ★★★
- 42 mathematician Fellows of the Royal Society, incl. Gowers, Hairer, Maynard and Scholze, call AI an 'emergency' in open letter to Paul Nurse ★★★★
- ICIAM issues a Statement on Mathematics and Artificial Intelligence; LMS had commented on the Navier–Stokes episode ★★
- Altman and Amodei ask the UN Security Council for international AI standards and incident reporting ★★★★
Sources (20)
- discussionSebastien Bubeck on X: allegations are "false and inflammatory"
- pressOfficeChai: Bubeck says he tried to coordinate release with Buckmaster & Alpöge
- officialOpenAI: Navier–Stokes solution
- pressQuanta: AI has solved one of math's $1 million Millennium Prize problems
- pressScientific American: Did OpenAI solve the wrong Navier–Stokes problem?
- discussionTerence Tao: finite-time blowup with smooth forcing (Buckmaster–Alpöge–Coiculescu)
- pressFortune: OpenAI says it cracked Navier–Stokes; Buckmaster accusation
- pressCNBC: OpenAI claims to have solved 90-year-old Navier–Stokes problem in 88 hours
- discussionWikipedia: Navier–Stokes priority controversy
- pressScientific American: OpenAI claims blockbuster math breakthrough amid swirl of controversy
- discussionAlexander Gamburd: The Siren Call of Silicon Leviathan (arXiv 2609.28591, reflective essay)
- officialLondon Mathematical Society statement on the Navier–Stokes developments (9 Sep)
- discussionAnima Anandkumar: Stable singularity of the Euler equations on R³ (concurrent unforced result)
- discussionTechmeme cluster, 2026-09-08
- pressStartup Fortune: OpenAI recruits nine mathematicians to referee its AI math claims
- officialOpenAI on X: Navier-Stokes solution announcement
- discussionNoam Brown on X: OpenAI mathematicians' 'Lee Sedol moment'
- discussionTristan Buckmaster on Mastodon: three blow-up results and statement
- discussionTerence Tao on Mathstodon: Alpöge–Buckmaster, a remarkable achievement
- discussionTerence Tao on Mathstodon: open problems as a non-renewable resource (thread)
id: 2026-09-08-openai-navier-stokes-blowup · updated 2026-09-29 · open in the interactive timeline