Fluid Regularity Landscape Moving Fast: Tao Says Smooth NS Now Looks Feasible
basedjensen · x · 2026-09-08
An observer summarizes a burst of fluid-regularity progress: Alpöge/Buckmaster's smooth-forced Euler result, an independent unforced-Euler singularity candidate from another group, computer-assisted/Lean infrastructure, and Terence Tao openly saying smooth-forced Navier-Stokes and perhaps unforced results now look feasible.
Related event: Tao Hails AI-Assisted Fluid Blowup Breakthrough, Formalized in Lean(9 posts)→
More from Research
- SJTU's VaM lets robots learn online from mistakes, 95%+ success over 4-hour autonomous runs — chris_j_paxton · 2026-10-26
- Hugging Face uses small open models to reverse engineer a game binary byte-for-byte — yb2698 · 2026-10-26
- Author hopes contracting formalism becomes AI's "MDP moment" for agent economics — xuanalogue · 2026-10-26
- Frontier LLMs negotiate contracts poorly and frequently renege for selfish gain, study finds — xuanalogue · 2026-10-26
- ContractSim: first framework evaluating LLM negotiation over contingent natural-language contracts — xuanalogue · 2026-10-26
- Partial RoPE study: rotating ~10% of dims matches full RoPE convergence with 10x smaller cache — BlancheMinerva · 2026-10-26