OpenAI says AI system solved Navier-Stokes Millennium Problem, proof formally verified in Lean
Dr_Singularity · x · 2026-09-09
OpenAI says an internal AI system found an analytical proof for 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 result was formally verified in Lean.
The proof was reportedly discovered by a system significantly more capable than GPT-6 Astra. See the companion post in this batch for the official announcement and the accompanying cost-scaling discussion.
Related event: OpenAI Claims Navier-Stokes Breakthrough Amid Attribution Dispute(150 posts)→
More from Models
- Solving a Millennium Prize Problem is an AlphaGo moment for math, says Yuchen Jin — Yuchenj_UW · 2026-09-09
- OpenAI claims agent-group solution to 90-year-old Navier-Stokes Millennium Prize Problem — mobav0 · 2026-09-09
- K2 Horizon open-sources six model scales; 0.9B posts 48.5 on AIME 2026 — kimmonismus · 2026-09-09
- IFM open-sources K2 Horizon: six models, 20T tokens each, and a public reward-hacking audit — kimmonismus · 2026-09-09
- IFM's K2 Horizon: six models from 0.9B to 375B with only 4B/23B active params — kimmonismus · 2026-09-09
- Dev launches aggregator site collecting all statements on OpenAI's claimed Navier–Stokes proof — NathanpmYoung · 2026-09-09