Inside the Navier–Stokes proof: spaghetti vortex, finite energy, Lean-verified
Dr_Singularity · x · 2026-09-09
DrSingularity detailed the key construction behind OpenAI's claimed Navier–Stokes solution: a vortex that spirals inward while stretching along its axis, thinning like spaghetti. As the vortex occupies an ever smaller region, velocity can diverge while total kinetic energy stays finite—the mechanism for a finite-time singularity from smooth initial conditions. The result was reportedly formally verified in Lean, attributed to a system significantly more capable than GPT-6 Astra.
Related event: OpenAI Reveals Details of Navier-Stokes Singularity Proof(2 posts)→
More from Research
- MIT's CrysVCD puts chemistry rules before generation to boost stable AI-designed materials — jiqizhixin · 2026-09-09
- SIL-Wheel open-source platform for large-scale video data debuts at ECCV — cindy_x_wu · 2026-09-09
- "Vibe-mathing": superhuman AI proof and verification make zero-understanding math real — robleclerc · 2026-09-09
- kalomaze: user interactions get farmed for general failure classes, not specifics — kalomaze · 2026-09-09
- OpenAI releases updated visual explainer for its full Navier-Stokes result — StefanoGogioso · 2026-09-09
- BLASt3R code released: turn raw video into poses, intrinsics and dense depthmaps — kwangmoo_yi · 2026-09-09