
Ten Thousand AI Agents Ran for 88 Hours and Found a Vortex That Spins Faster Than the Navier-Stokes Equations Can Handle
The 166-page proof, formalized in Lean, shows the three-dimensional fluid equations can 'blow up' under smooth forcing, reaching infinite velocity at a point. NYU's Tristan Buckmaster and Anthropic's Levent Alpöge announced a related Euler result 12 hours earlier, and the fight over credit has already begun.




























