10,000 AI Agents Take On a $1 Million Math Problem
A four-day sprint, billions of tokens, and a proof checked by software make for a jaw-dropping claim. But the real story may be less about a machine winning a prize—and more about what counts as a mathematical breakthrough.
