OpenAI Claims Navier-Stokes Solved, Progress on a Second Millennium Problem

OpenAI claims to have solved the Navier-Stokes existence and smoothness problem, one of the seven Clay Millennium Prize Problems, and says it has made substantial progress on another unspecified Millennium problem, with results now being reviewed for release. The proof is a forced blowup construction produced by a cluster of about 10,000 agents, accompanied by a Lean 4 formalization that John D. Cook estimates took only about 17 hours to verify. NYT reports OpenAI published the result less than a week ahead of NYU mathematician Tristan Buckmaster's team.

Confirmed

• In a Wednesday-night statement and comments to the New York Times, OpenAI said it had completed the Navier-Stokes proof and made substantial progress on another unspecified Millennium problem
• The proof is a forced blowup construction—a vortex spinning ever faster and collapsing into a tiny region while total kinetic energy stays bounded—with a Lean 4 formalization verified in roughly 17 hours
• NYT reported that Tristan Buckmaster and collaborators made major progress throughout August, but OpenAI published first; Buckmaster and Levent Alpöge's independent work also leans heavily on Lean verification
• Each of the seven Clay Millennium Problems carries a $1 million prize; the Poincaré conjecture is the only one solved

Unconfirmed

• Which second Millennium problem is involved and what the result contains remain undisclosed
• ChrisGPT's analysis that OpenAI's internal model produced a constructive proof that holds up is a personal view pending official review
• User l4rz relayed an anonymous post claiming the proof is essentially an "inverse problem" approach—choosing a mean flow, deriving the required stress, then constructing an oscillatory solution; unverifiable
• Cited analysis notes the construction drives a finite-time singularity with a custom smooth forcing and argues it fits the Clay statement's C and D cases; if verification fails, the original problem is not truly solved

Why it matters

• If valid, this would be a landmark case of AI cracking a top-tier open math problem, feeding recursive self-improvement debates: Andy Masley argues an AI that keeps solving Millennium problems would also accelerate AI research itself, while robleclerc asks why such an AI couldn't also mitigate AI safety risks
• Lance Fortnow and Csaba Szepesvari note both Navier-Stokes efforts depend heavily on Lean formalization, raising the question of whether it becomes a new publishing requirement
• Reactions are split: PDE analyst Scott Armstrong jokingly pleaded with OpenAI to move on to other problems, quipping that combinatorics and other fields feel targeted next

2026-09-10 ~ 2026-09-11 · 21 related posts

Full story(20 episodes)→

• Episode 1: Rumors claim GPT-6 cracks Navier-Stokes, credibility doubtful(2026-09-05, 2 posts)
• Episode 2: OpenAI Claims 10,000 Agents Solved Navier-Stokes in 88 Hours(2026-09-09, 13 posts)
• Episode 3: Existence Proof Effect: Rumor of Solvability Drove OpenAI's Navier-Stokes Attempt(2026-09-09, 3 posts)
• Episode 4: Mathematicians Accuse OpenAI of Racing to Claim Their Unfinished Proof(2026-09-09, 6 posts)
• Episode 5: Anthropic Faces Ethics Backlash Over Math Proof and Scooped Collaboration(2026-09-09, 2 posts)
• Episode 6: Rumors swirl that OpenAI nears Hodge and BSD conjectures as Millennium Prize problems fall(2026-09-10, 27 posts)
• Episode 7: OpenAI Claims Navier-Stokes Solved, Progress on a Second Millennium Problem(2026-09-10, 21 posts)
• Episode 8: Mathematician accuses OpenAI of training Astra on his unpublished work; OpenAI denies(2026-09-10, 9 posts)
• Episode 9: Navier–Stokes Authorship Dispute Fuels Debate Over AI Labs' Scooping Culture(2026-09-10, 6 posts)
• Episode 10: OpenAI denies Codex prompts influenced training as "stolen chat data" claims unravel(2026-09-11, 8 posts)
• Episode 11: OpenAI's Millennium Prize Claim Mired in Authorship and Scooping Dispute(2026-09-11, 10 posts)
• Episode 12: AI Circles Speculate Millennium Prize Problems May Fall to AI(2026-09-11, 2 posts)
• Episode 13: Math Community Splits Over AI's Role After OpenAI's Millennium Prize Claim(2026-09-11, 8 posts)
• Episode 14: Rumor: OpenAI Aims Internal Model at Riemann Hypothesis and P vs NP(2026-09-11, 7 posts)
• Episode 15: OpenAI's Navier-Stokes Proof Passes Rechecks but Faces Scrutiny(2026-09-11, 2 posts)
• Episode 16: OpenAI's 10,000-Agent Navier-Stokes Claim Sparks Math Community Credit War(2026-09-12, 18 posts)
• Episode 17: Misread as Anti-AI, Terence Tao Sparks Debate Over the Value of Mathematics(2026-09-12, 18 posts)
• Episode 18: Fields Medalists' Open Letter on AI Sparks Cross-Disciplinary Debate(2026-09-12, 6 posts)
• Episode 19: OpenAI Claims AI Agent Solved the Navier–Stokes Blow-up Problem(2026-09-13, 8 posts)
• Episode 20: OpenAI Claims 10,000 Agents Solved Navier-Stokes Problem in 88 Hours(2026-09-14, 11 posts)

• OpenAI and Alpöge-Buckmaster both leaned on Lean for Navier-Stokes claims — fortnow · 2026-09-10
• Lean verification in Navier-Stokes announcements: is formal proof checking the new publishing bar? — CsabaSzepesvari · 2026-09-10
• OpenAI claims Navier-Stokes breakthrough, says another Millennium Prize problem near — basedjensen · 2026-09-10
• [source] OpenAI says it has made substantial progress on another Millennium Prize problem — ilkamoi · 2026-09-11
• After Navier-Stokes, researchers report substantial progress on another Millennium Prize problem — soumitrashukla9 · 2026-09-11
• Report: OpenAI Confirms Substantial Progress on Hodge Conjecture Within Five Days — AI寒武纪 · 2026-09-11
• If AI can crack Millennium Prize problems, it can mitigate AI risk too — robleclerc · 2026-09-11
• OpenAI confirms progress on second Millennium Prize problem, sparking RSI debate — AndyMasley · 2026-09-11
• NYT: OpenAI Claims Substantial Progress on a Second Millennium Prize Problem — rohanpaul_ai · 2026-09-11
• PDE Mathematicians Joke-Beg OpenAI to Solve Another Millennium Problem Next — jasondeanlee · 2026-09-11
• OpenAI Paper Constructs Finite-Time Blowup for Navier–Stokes, Verified in Lean by GPT-6 Astra — burny_tech · 2026-09-11
• [source] OpenAI's Navier-Stokes proof: Lean 4 verification in 17 hours vs 132,800 person-hours — jedisct1 · 2026-09-11
• ChatGPT predicted in May that Navier-Stokes would be the next Millennium problem solved — Alert_Cookie_633 · 2026-09-11
• OpenAI's Navier–Stokes Claim Under Scrutiny: Forced Singularity Isn't a Full Millennium Proof — basedjensen · 2026-09-11
• Unverified: Anonymous Account Claims OpenAI Solved the Navier-Stokes Millennium Problem — l4rz · 2026-09-11
• OpenAI claims ~10k-agent swarm produced forced Navier-Stokes blowup proof with Lean formalization — thursdai_pod · 2026-09-11

5 near-duplicate retellings: socoolandawesome · Dr_Singularity · Dr_Singularity · rohanpaul_ai · QuintinPope5