
Did OpenAI Solve Navier–Stokes? Inside the 10,000-Agent, 88-Hour Proof Claim
OpenAI says a swarm of 10,000 AI agents produced a proof about the Navier–Stokes equations in 88 hours, followed by a Lean formalization. The result could mark a turning point for AI-assisted mathematics—but a company announcement and a machine-checked artifact are not the same as broad mathematical acceptance. Here is what was claimed, what the problem asks, and what must happen next.












































