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.
More from Models
- Kimi K3.1 Pro tops MathArena open models, closing frontier gap to about 6 months — teortaxesTex · 2026-10-26
- Ruff creator Charlie Marsh: frontier models find infinite bugs in any software — charliermarsh · 2026-10-26
- Dev testing one skill across Opus 5.5 and Sol 6.1 finds instruction following 'all over the map' — lucasmeijer · 2026-10-26
- supermemory unveils learner-1, claiming continual learning for any model — julianweisser · 2026-10-26
- Anthropic says Opus 5.5 cuts cost per task by ~40% vs Opus 5 — taufiqintech · 2026-10-26
- AI search APIs ranked: top 12 within 7 points, yet prices differ nearly 7x — FinanceYF5 · 2026-10-26