![Screenshot of cims.nyu.edu: Navier-Stokes – Tristan Buckmaster [pdf]](https://hn.urlbox.com/shots/renders/2026/9/8/63fa481c-8c2c-40ae-af4e-16be796c117e.jpg)
Navier-Stokes – Tristan Buckmaster [pdf](cims.nyu.edu)
1947 points by procedurecall | 798 comments
A PDF statement by mathematician Tristan Buckmaster announcing LLM-assisted, Lean-verified blowup results for Boussinesq, 3D Euler, and porous media equations with smooth forcing.