OpenAI claims AI found analytical proof of Navier-Stokes blowup, verified in Lean
Dr_Singularity · x · 2026-09-09
Per an unverified relay by DrSingularity, OpenAI says an internal AI system produced an analytical proof for the Navier–Stokes Millennium Prize problem, showing smooth 3D fluid flow can develop a finite-time singularity — velocity can blow up even from smooth initial conditions. The proof was reportedly formally verified in Lean, and attributed to a system significantly more capable than GPT-6 Astra. No official link is attached; treat as unconfirmed until OpenAI publishes details.
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