Chasing the Singularity: Computers, Swirls and Forcing

Deep End Era. Engineering with Sankalp · Oct 12, 2026 · 1h 4m

Farah and Augustin follow the race to a singularity: Luo–Hou's boundary blowup and Chen–Hou's computer-assisted proof, the 2025 'Discovery of Unstable Singularities', Ganeshram–Duruisseaux–Anandkumar, then amplification across scales and the Alpöge–Buckmaster forced blowups for IPM, Boussinesq and Euler (Lean-formalised, not peer-reviewed). Euler is not a Clay problem.

Keywords: Navier-Stokes, Euler, blowup, singularity, Luo-Hou, Chen-Hou, PINNs, computer-assisted proof, Córdoba, Martínez-Zoroa, Alpöge, Buckmaster, Beale-Kato-Majda, Lean

Chapters

00:00:00 Cold open: two papers in one weekend…