OpenAI details Navier-Stokes proof: a spiraling, elongating vortex forms a finite-time singularity, formalized in Lean
OpenAI · x · 2026-09-09
OpenAI shared technical details of its Navier-Stokes solution: an analytical proof plus a Lean formalization showing that under Navier-Stokes dynamics a fluid can develop a singularity in finite time. The solution is a vortex — a spinning swirl that spirals inward and becomes increasingly elongated, "like spaghetti." The post reiterates that 10,000 coordinating agents completed the work in 88 hours under frontier-evaluation safeguards.
Related event: OpenAI Reveals Details of Navier-Stokes Singularity Proof(2 posts)→
More from Models
- OpenAI claims huge Navier-Stokes math discovery, academics cry foul — wiredmagazine · 2026-09-09
- OpenAI used a model 'significantly more capable' than Astra for Navier-Stokes, per Axios — 141_1337 · 2026-09-09
- Dwarkesh on MagicAILabs' 50x compute claim: RSI may be less compute-bottlenecked than we think — AccBalanced · 2026-09-09
- Rumor: OpenAI may have cracked Navier-Stokes, with human mathematicians laying years of groundwork — LucaAmb · 2026-09-09
- '50% of open problems just solved' — commentator marvels at frontier model progress — BorisMPower · 2026-09-09
- Cheap models via OpenRouter fall apart in agentic harnesses: GLM and DeepSeek can't match Claude — scottyLogJobs · 2026-09-09