Terry Tao breaks down new finite-time blowup advances toward Navier-Stokes regularity
Singularitarian · x · 2026-09-08
- Terry Tao reviews new work by Alpöge & Buckmaster (building on Córdoba & Martínez-Zoroa) on the 3D incompressible Navier-Stokes global regularity problem.
- They achieve smooth-forcing finite-time blowup for three model equations: IPM, 2D Boussinesq, and 3D incompressible Euler; extension to Navier-Stokes (possibly without forcing) looks feasible.
- The work has already been formalized in Lean, showcasing modern autoformalization agents.
- The reposter claims OpenAI already has a full solution via the same approach (unverified).
More from AGI Musings
- UK design industry leaders say AI is 'the intern in the office', not a designer replacement — nordicinst · 2026-09-08
- One worksheet photo plus AI yields 7 interactive 3D physics labs in 45 minutes, ~€10 in tokens — rschu · 2026-09-08
- China's self-driving electric trucks now log 1M+ km daily, reshaping freight — aitrendz_xyz · 2026-09-08
- Researcher laments AI labs could have teamed up to formally solve Navier-Stokes — birchlse · 2026-09-08
- Agents write me tens of thousands of words daily — humans manage only hundreds — edgarpavlovsky · 2026-09-08
- Jon Stokes accuses Nat Torkington of conflating anti-rationalist politics with anti-AI-safety — nptacek · 2026-09-08