OpenAI's 10,000 parallel agents crack the 90-year Navier-Stokes smoothness problem in 88 hours
r0ck3t23 · x · 2026-09-10
A deep longform thread on OpenAI's AI assault on a Millennium Prize problem:
- The problem: Leray proved weak solutions to Navier-Stokes exist in 1934; whether they stay smooth stayed open for 90 years, carrying a $1M Clay bounty.
- The breakthrough: OpenAI ran roughly 10,000 agents in parallel for 88 hours on an internal model it says beats GPT-6 Astra, producing a smooth fluid at rest under smooth forcing that develops a finite-time singularity — infinite velocity at a point with total energy finite throughout. Another 17 hours on Astra formalized the proof in Lean, where Lean itself is the verifier. This resolves statements C and D of the Clay formulation, forcing term included.
- The controversy: Levent Alpöge (Anthropic) and Tristan Buckmaster (NYU) had been working the forced Euler case with Claude and Codex; OpenAI started only after hearing a rumor, denies seeing their work, yet concedes it cannot rule out that de-identified data from their product usage helped train the model — the people who got scooped may have trained the thing that scooped them. Terence Tao has called indiscriminate AI use a "production quota game."
- The takeaway: verification is no longer scarce — provenance is. Compute can now be aimed at any open question by whoever owns the most of it, and the institutions built around scarce genius haven't noticed the bottleneck moved.
Related event: OpenAI's 10,000 Agents Solve Navier–Stokes in 88 Hours(3 posts)→
More from Models
- Ex-Microsoft exec draws parallel between token resets and forced app updates — mobileraj · 2026-09-10
- In 2026 you can just ask an LLM to make tiny improvements on obscure math problems — felpix_ · 2026-09-10
- Workaround: get Opus 3 to use web search in Claude via a third-party connector — repligate · 2026-09-10
- Hobbyist's 348M model hits 99.4% on GPT-3 arithmetic tasks, beats 175B giant — nkthebass · 2026-09-10
- Liang Wenfeng Stars in a Promo Video for DeepSeek V4.1 Flash, Complete With a Catgirl — teortaxesTex · 2026-09-10
- Naval: Frontier labs' flywheel is distilling data from the smartest users of leading models — naval · 2026-09-10