OpenAI claims Navier-Stokes Millennium Prize solution using 10,000 AI agents
Dr_Singularity · x · 2026-09-09
OpenAI says an internal AI system has produced an analytical proof of the Navier–Stokes Millennium Prize problem, showing that smooth 3D fluid flow can develop a finite-time singularity — velocity blows up even from smooth initial conditions. The proof was formally verified in Lean.
According to OpenAI, the proof was discovered by a next-generation model "significantly more capable than GPT-6 Astra" orchestrating roughly 10,000 concurrent agents, consuming about 130 billion output tokens. The problem has stood unresolved for roughly 90 years.
More from AGI Musings
- OpenAI researcher: all open math and physics problems solved within ~2 years, but credit drama will steal the show — jachiam0 · 2026-09-09
- Dwarkesh on MagicAILabs' 50x compute claim: RSI may be less compute-bottlenecked than we think — AccBalanced · 2026-09-09
- Editors change my sentences all the time — why would light AI edits count as 'AI-written'? — Afinetheorem · 2026-09-09
- Is a text either 0% or 100% AI-written? The debate over AI authorship attribution — Afinetheorem · 2026-09-09
- Tech author finds his enterprise-AI article republished in Swedish without his knowledge — DavidLinthicum · 2026-09-09
- Boaz Barak: Soon claims of human assistance in AI theorem proving will sound like Kasparov vs Deep Blue — soumitrashukla9 · 2026-09-09