OpenAI's 10,000 AI Agents Solved a 90-Year-Old Math Problem in 88 Hours. Here's What Actually Happened.
10,000 AI agents. 2.7 million messages. 130 billion tokens. 88 hours. On September 8, OpenAI announced a Lean-verified proof of the Navier-Stokes Millennium Prize problem. Here's what the agents actually proved, the controversy about credit and training data, and why the Clay Institute still hasn't accepted it.