OpenAI Claims 10,000 Agents Solved Navier-Stokes Problem in 88 Hours
On September 8, OpenAI announced a result on the Navier-Stokes millennium problem: roughly 10,000 collaborative AI agents, powered by a next-generation model said to be stronger than GPT-6 Astra, produced a solution in 88 hours under intensive monitoring and isolation safeguards. Per New Scientist, the conclusion is that fluids described by the equations do blow up in certain cases. Greg Brockman later confirmed the 10,000-agent effort on the a16z podcast and declared OpenAI's entry into the 'AGI era.' The news drew both praise and skepticism from mathematicians and the community.
Confirmed
- OpenAI announced the result on September 8; former employee Oleg Murk relayed the official claim that agents using a model stronger than GPT-6 Astra produced the solution; Noam Brown also amplified it.
- Official scale: 10,000 agents, 88 hours, with frontier-evaluation safeguards including heavy monitoring and isolation; WSJ reported 'millions of dollars in compute and several days,' commonly retold in the community as $15 million.
- Brockman confirmed the 10,000-agent collaboration on the a16z podcast and tied it to the 'AGI era' declaration.
- Per New Scientist, the result addresses the Navier-Stokes blow-up problem, concluding that fluid velocity does diverge in certain cases.
- Cornell math professor Steven Strogatz was moved to tears discussing recent AI math breakthroughs in a WIRED interview, later posting to explain why.
- Mathematician Scott Armstrong defended the PDE proof against 'hard to read' criticism: imperfect, but the field stumped top scholars for 100 years, and the proof passes the Lean compiler—comparable in value to Perelman's work.
Unconfirmed
- Robert Bhargava questions how much is original: human mathematicians appear to have made the key breakthroughs already, with AI following up.
- A reply to danbri suggests the results already existed scattered across fields, paywalled journals and jargon—still community speculation.
- The '$15 million token budget' figure is unverified; lescarr self-labels the quip as rumor, with the punchline being ROI rather than the math.
- Details of the 'next-gen model stronger than GPT-6 Astra' remain undisclosed.
Why it matters
- Bill Gasarch, who vowed only a millennium-problem solution by AI would merit a post, was compelled to write one—evidence of the event's symbolic weight.
- Brockman's binding of the result to an 'AGI era' narrative makes it core material for OpenAI's capability story and marketing.
- Armstrong's stance represents a positive professional-mathematics voice: Lean verification offers a template for trustworthy AI-produced mathematics.
- The pattern of ten-thousand-scale agents autonomously collaborating for 88 hours under heavy safeguards is seen as a new sample for AI capability and safety evaluation.
- Reddit user RaccoonMinimum172 questions using math problems as marketing: if the goal is benefiting humanity, is spending millions on a nearly-solved problem justified? lescarr jokes that burning $15 million to win a $1 million prize is just routine for OpenAI.
- danbri offers a counterpoint: integrating solved-but-scattered knowledge from closed literature may itself be AI's unique value.
2026-09-14 ~ 2026-09-16 · 11 related posts
- 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)
Primary sources
- Greg Brockman: OpenAI used 10,000 agents to solve Navier-Stokes — "we're now in the AGI era" — josh_bickett ·
- OpenAI says ~10k concurrent agents solved the Navier-Stokes Millennium Prize Problem — DKokotajlo ·
- OpenAI says its AI agents cracked the Navier-Stokes blow-up problem, per New Scientist — AnnaCiaunica ·
- OpenAI's NS math result reportedly took $15M of compute; efficiency questioned — rbhar90 · 2026-09-14
- OpenAI's $15M number theory result: AI's real value may be consolidating scattered human knowledge — danbri · 2026-09-14
- OpenAI Claims Navier-Stokes Millennium Prize Solution, Prompting a Mathematician's Rethink on AI Math — fortnow · 2026-09-14
- WSJ's AI-Doom Coverage Spends Millions in Compute on Math Proofs, and Readers Ask Why — RaccoonMinimum172 · 2026-09-14
- Cornell mathematician Steven Strogatz tears up on camera over AI's rapid math breakthroughs — stevenstrogatz · 2026-09-15
- [source] OpenAI says ~10k concurrent agents solved the Navier-Stokes Millennium Prize Problem — DKokotajlo · 2026-09-15
- OpenAI: new model solved Navier–Stokes in 88 hours with 10,000 coordinating agents — ZeroStateReflex · 2026-09-15
- Reported $15M token bill for a $1M prize: OpenAI and the Navier-Stokes problem — lescarr · 2026-09-15
- OpenAI model's PDE proof compiles in Lean; researcher likens fuss to whining over Perelman — RexDouglass · 2026-09-15
- [source] OpenAI says its AI agents cracked the Navier-Stokes blow-up problem, per New Scientist — AnnaCiaunica · 2026-09-15
- [source] Greg Brockman: OpenAI used 10,000 agents to solve Navier-Stokes — "we're now in the AGI era" — josh_bickett · 2026-09-16