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
- OpenAI lists GPT-6.1 Terra: 1.05M context, $1/$5 pricing — but this poster sticks with Opus 5.5 — BLCNYY · 2026-10-27
- GPT-6.1 Terra cuts factual error rate from 22.3% to 4.3%, an ~81% drop — haider1 · 2026-10-27
- GPT-6.1 Terra lands: early users praise speed, value and subagent performance — BenBajarin · 2026-10-27
- Leaked GPT-6.1 Terra benchmarks: cheap but 'boring', still far behind Astra and Claude — Angaisb_ · 2026-10-27
- Artificial Analysis Ships Intelligence Index v4.3.2 With GPT-6.1 Terra Comparison — ArtificialAnlys · 2026-10-27
- GPT-6.1 Terra cuts hallucination rate by 50 points while lifting accuracy 2 points — ArtificialAnlys · 2026-10-27