OpenAI Paper Constructs Finite-Time Blowup for Navier–Stokes, Verified in Lean by GPT-6 Astra
burny_tech · x · 2026-09-11
A new OpenAI paper tackles the Navier–Stokes "finite time blowup" question, one of the seven Millennium Prize Problems: whether a smooth 3D flow can develop infinite velocity in finite time. The authors build a vortex that spins faster and faster while collapsing into an increasingly tiny region, with total kinetic energy staying bounded.
The key trick is adding tiny oscillatory flows that extract energy from the vortex's shear and cancel the singular forcing otherwise needed to sustain the collapse, leaving a smooth external force.
Notably, the proof was reportedly generated by an unreleased OpenAI model beyond GPT-6 Astra, while GPT-6 Astra helped formalize and verify it in Lean.
More from AGI Musings
- All 8 Transformer paper authors left Google, and rival labs captured most of the frontier value — signulll · 2026-10-27
- Anthropic's S-1 pledges AI for curing diseases and serving 4.6B underserved patients — petergyang · 2026-10-27
- Goldman finds statistically significant negative link between AI adoption and US employment growth — ben_j_todd · 2026-10-27
- a16z: World-changing tech makes a chaotic entrance — AI agents are following the same path — a16z · 2026-10-27
- NEJM AI on medical education: mastery requires performing without the machine — BraydonDymm · 2026-10-27
- Dev warns abliterated models could wreck software supply chains with 1000+ transitive dependencies — nitarshan · 2026-10-27