Mathematician slams OpenAI's Navier-Stokes claim: 10,000 agents, 88 GPU-hours of "vulgarity"

alex_verem · x · 2026-09-10

@BetterCallMedhi publicly slammed Sam Altman over the claimed "solution" of Navier-Stokes: allegedly 10,000 agents ran for 88 hours on a multimillion-dollar GPU cluster to formalize in Lean a blowup case under controlled external forcing.

He calls it "pure scientific vulgarity": the Clay Millennium Prize concerns global smooth existence and stability of 3D incompressible Euler & Navier-Stokes under natural conservation laws and viscous dissipation alone — not artificially forcing a singularity by injecting an ad hoc smooth external forcing term. The clash highlights fierce skepticism toward AI-agent claims on Millennium Problems.

Related event: OpenAI's Costly Navier-Stokes Run Sparks Scooping and Brute-Force Debate(26 posts)→

Original post →

More from Fun

Fun channel →