OpenAI's 10,000-Agent Navier-Stokes Claim Sparks Math Community Credit War

OpenAI announced that a swarm of roughly 10,000 autonomous AI agents, running for 88 hours on an unrevealed advanced model, found a blowup singularity in the 3D Navier-Stokes equations and formalized the proof in Lean, claiming to resolve this 90-year-old Millennium Prize Problem. The announcement triggered fierce debate: professional mathematicians split sharply, a credit dispute escalated, and full mathematical validity still awaits independent verification. Either way, it has become a landmark case in both AI-assisted mathematics and AI capability-claim controversies.

Confirmed

• OpenAI officially announced a solution to the Navier-Stokes Millennium Problem, with the proof produced by an agent swarm and formalized in Lean (@dlweekly, citing Quanta Magazine); OpenAI president Greg Brockman said the model found a counterexample that makes the equations "blow up" (@victorexplore)
• A Reddit discussion clarified the actual meaning: the open part of the problem is whether smooth 3D flows develop singularities; OpenAI claims its agents, dividing labor and sharing findings, proved a singularity can form in finite time (@erdematar)
• Scale figures: 10,000 concurrent agents, 88 hours, 2.7 million messages exchanged, roughly 13 billion tokens consumed (@HealthyOutcome7897)
• Per The Guardian, OpenAI deployed 10,000 autonomous agents at an estimated cost of $15 million (@nordicinst; the post's headline says "$150 million," inconsistent with the body text)
• @CiccioPixel reported that NYU mathematician Tristan Buckmaster and Anthropic mathematician Levent Alpöge announced progress on the same problem, and 25 Fields medalists allegedly signed a joint protest accusing OpenAI of jumping the gun
• Mathematician Scott Armstrong, responding to criticism of the blowup construction, called it a huge contribution: PDE analysts will need weeks to a month to digest it, and once rewritten in readable form, human understanding of these key equations will for the first time lag behind a machine proof (@tszzl, @geoffolfe retweets)
• @askerlee relayed @zesenhuang's technical explainer that the Clay problem was never meant as "no more numerical solutions to Navier-Stokes"
• Zvi's long analysis framed three nested stories of decreasing importance; the most important is that OpenAI's next-gen model achieved a generation ahead of Astra in about a week, with the company unusually proactively disclosing it (@TheZvi; @TheStalwart concurred)

Unconfirmed

• Cost figures conflict across posts ($15M vs $150M)
• The model used is unrevealed; full mathematical validity awaits independent verification
• The 25-Fields-medalist protest and details of Buckmaster/Alpöge's progress appear only in a single post and need more primary sourcing

Why it matters

• The trust-mechanism debate became the focal point: commentator @skdh and data scientist @kareemcarr argued that if the same proof had been posted anonymously by an unknown mathematician, the discourse would treat it as a breakthrough rather than writing "math is dead" stories. @skdh also relayed physicist Sabine Hossenfelder's skepticism: no one will verify a 500,000-line, intuition-free AI proof line by line
• An NYU professor publicly objected to how the result was framed versus its actual substance; Fireship's new video broke down both sides. Armstrong's praise alongside the alleged Fields-medalist protest shows a deeply split professional community
• @HealthyOutcome7897 argues the hype overstates frontier-model capability: this is industrial-scale tree search, not a single model's flash of insight
• Zvi contends the bigger news is the next-gen model leapfrogging Astra in a week, disclosed unusually proactively
• @pstAsiatech notes the event needs no math background to grasp: AI progress is accelerating, carrying worrying risk alongside
• Reddit discussion relayed by @arvolog shows practitioner anxiety, with users comparing it to AlphaGo beating Lee Sedol in 2016 and wondering if learning AI is already too late
• If the result holds, it is a landmark of AI-assisted mathematics and possibly a century-scale contribution; if the claims prove inflated, it deepens public distrust of AI capability marketing and damages trust between OpenAI and the math community

2026-09-12 ~ 2026-09-14 · 18 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 claims it cracked a 90-year-old math problem, and one NYU professor isn't happy — Fireship · 2026-09-12
• AI cracks a Millennium Prize problem — proof of accelerating and alarming progress — pstAsiatech · 2026-09-12
• [source] Navier-Stokes AI proof took 10,000 agents, 88 hours and 130B tokens — not superintelligence — Healthy_Outcome7897 · 2026-09-12
• OpenAI cracks Millennium Prize Problem with 10,000 agents, at an estimated $15M cost — nordicinst · 2026-09-12
• [source] OpenAI's 10,000 Agents Prove Navier-Stokes Blowup in 88 Hours, Verified in Lean — dl_weekly · 2026-09-13
• OpenAI claims AI agents cracked the 90-year-old Navier–Stokes Millennium Prize Problem — CurieuxExplorer · 2026-09-13
• 'Am I Too Late to Study AI?' Redditor Weighs Fundamentals vs OpenAI's Research Progress — arvolog · 2026-09-13
• Commenter: The OpenAI Navier-Stokes proof would be hailed as a breakthrough if posted anonymously — skdh · 2026-09-13
• Mathematician: OpenAI's Navier-Stokes proof is a once-in-a-century contribution; human understanding will now lag machine proofs — tszzl · 2026-09-13
• [source] OpenAI's Millennium Prize proof sparks credit feud as 25 Fields Medalists push back — CiccioPixel · 2026-09-13
• OpenAI claims its model found a Navier-Stokes blowup counterexample, cracking a Millennium Problem — victor_explore · 2026-09-13
• OpenAI's Navier-Stokes proof sparks debate: would an anonymous 500k-line proof even be verified? — kareem_carr · 2026-09-13
• Did OpenAI just crack Navier–Stokes? AI agents produced a Lean-formalized singularity proof — erdematar · 2026-09-13
• AI proofs: 500k lines of poorly organized text nobody would bother to verify, physicists argue — skdh · 2026-09-13
• OpenAI's Navier-Stokes blowup solution explained: what the Clay problem actually asks — askerlee · 2026-09-13
• AI solves Navier-Stokes Millennium Prize; OpenAI's next model a generation past Astra in a week — TheZvi · 2026-09-13
• AI Claims First Millennium Prize: Navier-Stokes Falls, OpenAI Model Leaps in Math — TheZvi · 2026-09-14

1 near-duplicate retellings: geoffwolfe