OpenAI Claims $1 Million Navier-Stokes Breakthrough as 90-Year-Old Proof Ignites Credit Fight
Updated
Updated · WIRED · Sep 12
OpenAI Claims $1 Million Navier-Stokes Breakthrough as 90-Year-Old Proof Ignites Credit Fight
3 articles · Updated · WIRED · Sep 12
Summary
OpenAI said Tuesday it used tens of thousands of agents to solve the 90-year-old Navier-Stokes existence and smoothness problem, though the proof still awaits independent verification.
The claimed breakthrough builds on a strategy by Spanish mathematicians Diego Córdoba and Luis Martínez-Zoroa, while NYU's Tristan Buckmaster says OpenAI rushed ahead after learning of related work he did with Anthropic researcher Levent Alpöge.
Steven Strogatz said the dispute reflects a broader race among corporate AI labs to seize math headlines, with Anthropic last week touting 29,500 theorem proofs and OpenAI reporting progress on 10 other long-standing problems in August.
Mathematicians interviewed by WIRED said AI is accelerating research but also threatening human roles, with Strogatz warning 2026 could be remembered as either a miracle year or a disaster for mathematics.