OpenAI's 10,000 Agents Prove Navier-Stokes Blowup in 88 Hours, Verified in Lean
dl_weekly · x · 2026-09-13
Per Quanta Magazine, OpenAI mathematicians announced that 10,000 collaborating autonomous AI agents, running for 88 hours on an unreleased advanced model, found a "singularity" (blowup) in the 3D Navier–Stokes equations — resolving one of the six remaining Millennium Prize Problems with a $1 million prize. The proof was formally verified in Lean, giving mathematicians confidence in its correctness, and landed hours after an independent competing announcement. If it holds up, it would be by far the most important AI-derived mathematical proof to date, potentially a turning point in how hard problems are tackled — though the result is not without controversy.
Related event: OpenAI's 10,000-Agent Claim of Navier-Stokes Breakthrough Sparks Debate(7 posts)→
More from Research
- Drexler on preventing AI collusion: OpenAI's 30k-agent eval incident shows what not to build — AndrewCritchPhD · 2026-09-13
- Circuit complexity is stuck — and AI could be the perfect adversarial partner to crack it — _onionesque · 2026-09-13
- DeepSeek researcher outlines direct path to test-time parametric continual learning — teortaxesTex · 2026-09-13
- Indie dev offers to train a fully open 9.4B dense model, tuned for a single GPU — NineThreeTilNow · 2026-09-13
- MIT prototype uses VLM and electrical muscle stimulation to move a human hand — Olivier__OG · 2026-09-13
- Ji, Lei, Zrnic revisit surrogate outcomes in the age of AI in Biometrika — lihua_lei_stat · 2026-09-13