Mathematicians tear into Altman's Navier-Stokes claim: 10,000 agents ran 88 hours to force a singularity

rkulidzan · x · 2026-09-09

Sam Altman claimed AI agents had "solved" the Navier-Stokes equation after 10,000 agents ran 88 hours on a multi-million-dollar GPU cluster and formalized a blowup case in Lean. Mathematicians are pushing back hard.

The rebuttal: the result merely injects an ad hoc smooth external forcing term f(x,t) to twist vortices until they break, creating a controlled singularity. The Clay Millennium Prize actually asks about global smooth existence of 3D incompressible Euler/Navier-Stokes under natural conservation laws and viscous dissipation alone — the claimed result sidesteps the real question via a mathematical loophole.

The spat is a signature example of AI-driven "scientific breakthrough" PR colliding with disciplinary rigor.

Original post →

More from Fun

Fun channel →