Tao highlights blowup breakthrough for Euler and related equations, formalized in Lean
MannyKayy · x · 2026-09-08
Terence Tao covers new work by Alpöge and Buckmaster (building on Córdoba and Martínez-Zoroa) demonstrating finite-time blowup with smooth forcing for the IPM, 2D Boussinesq, and 3D incompressible Euler equations — a path likely extending to Navier-Stokes. The proofs were formalized in Lean via autoformalization agents. The poster also argues Tao's AI advocacy reshaped mathematicians' perception of AI.
Related event: Tao Hails AI-Assisted Fluid Blowup Breakthrough, Formalized in Lean(9 posts)→
More from AGI Musings
- NYT roundtable asks five experts what the rules for AI companies should actually be — ShakeelHashim · 2026-10-26
- Anti-AI content is algorithm gold and very profitable, quips commentator — annetgriffin · 2026-10-26
- Silicon Valley breakdown: five Stanford-area giants worth ~$18T — FinanceYF5 · 2026-10-26
- Anthropic says Claude leads 26% of its AI R&D — but self-improvement still has limits — Exponential View (Azeem Azhar) · 2026-10-26
- Humanoids shattered forecasts: half-marathon record in 2026, 100m faster than Bolt — ben_j_todd · 2026-10-26
- Stephen Casper on podcast: what if AI becomes a parasitic peer species in cyberspace — StephenLCasper · 2026-10-26