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).
Related event: Tao Hails AI-Assisted Fluid Blowup Breakthrough, Formalized in Lean(9 posts)→
More from AGI Musings
- 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
- Delete your priors: why every SOTA model drop should reset how you think the world works — zack_overflow · 2026-10-27
- Replit predicts every Fortune 500 will be a 'Self-Driving Company' by end of 2030 — amasad · 2026-10-27