OpenAI Deploys 10,000 AI Agents to ‘Solve’ Navier-Stokes in 88 Hours, Triggering Mathematicians’ Revolt

Mathematics last faced an existential jolt in 1976 when Appel & Haken’s computer-assisted Four-Color Theorem blurred proof and computation; Deep Blue’s 1997 defeat of Kasparov showed how quickly specialised AI could eclipse elite human reasoning. The Navier-Stokes episode extends that arc: ever-cheaper parallel compute now weaponises automated theorem search, concentrating capability inside a handful of firms. Over a century horizon, the event signals a shift from solitary insight to industrial-scale discovery—analogous to how 20th-century Big Science replaced lone inventors. Whether this ushers in a Renaissance of democratised problem-solving or a dependency on opaque corporate black boxes will hinge less on this single proof’s validity than on the social contracts that emerge around data ownership, attribution, and verification.