Out-numbered: AI’s contentious maths milestone

On September 5th, after roughly 88 hours of work, 2.7 million messages exchanged among AI agents, and at least $6.5 million in computing resources, a team of around 10,000 autonomous agents working for OpenAI claimed to have solved the Navier-Stokes Existence and Smoothness Problem—one of the seven Millennium Prize problems, first listed in 2000, each carrying a $1 million reward. But rather than celebration, the announcement has stirred unease, even anger, inside the mathematics community. The problem isn’t the solution itself. It’s how it was reached, and what that means for the future of mathematical inquiry.

The problem and the prize

The Navier-Stokes equations describe how fluids move—liquids and gases. Engineers and physicists use them constantly: modeling airflow over aircraft wings, tracking blood circulation, simulating oil through pipelines. But mathematicians care about something deeper: the structure of the equations themselves. The existence and smoothness problem asks whether there are situations where the equations break down when describing seemingly well-behaved fluids—a point at which they diverge from reality and simply malfunction. This is not an engineering question. It is a question about the fundamental limits of a mathematical framework. And for decades, it has resisted the best human minds.