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.
More from Fun
- Anthropic files for IPO; Sentry cofounder jokes about selling his house to soon-to-be-rich employees — zeeg · 2026-10-26
- Slopcore: AI-generated meme films turn low-fi slop aesthetics into a subculture — Yamapama · 2026-10-26
- Dev builds city-sized zombie apocalypse sim in 100 days, ships on Steam — gdechichi · 2026-10-26
- 'Lamp Swarm': a desk of lamp-shaped robots shows what physical AI work looks like — dee_hw · 2026-10-26
- Dev-community banter: recommending a resource to every newcomer — itsOmSarraf_ · 2026-10-26
- Elon Musk's reply to a kid asking what's on Mars: "You get to decide" — yunta_tsai · 2026-10-26