The one we nearly cut
Ten thousand agents found a Navier-Stokes singularity in 88 hours, and the verifier is the transferable part
A mathematics result in a paper for builders, kept because of what closed the loop rather than what it proved.
OpenAI mathematicians say roughly 10,000 autonomous agents found a finite-time singularity in the Navier-Stokes equations in about 88 hours. That is against 26 years of the problem sitting open since the Clay Mathematics Institute posted it in 2000. The run took some 5 million inter-agent messages at a cost the company puts in the several millions of dollars.
This nearly did not run, because a Millennium Prize problem is not a thing anyone ships on Monday. It runs because of the mechanism, not the mathematics: the proof was formally checked in Lean, and a mechanical checker is what turns ten thousand unreliable agents into a result instead of ten thousand plausible paragraphs. Where your domain has a checker, whether a type system, a test suite or a solver, swarm scale becomes something you can buy. Where it does not, this result says nothing about your problem at all.
Two things the headlines dropped. Tristan Buckmaster of NYU and Levent Alpöge of Anthropic announced related Euler-equation results about twelve hours before OpenAI’s announcement, so the race is invisible in every account of it. And the output was not readable: Buckmaster on the machine’s first attempt, “I can say the first LLM generated proof Levent sent me was the most horrendous I have ever read.” Verification was mechanical; review was not, and that cost fell on people.
The Clay Mathematics Institute had not commented when Quanta published, so a proof has been announced and Lean-checked and no prize has been awarded. The model is unnamed, unreleased and not available to anyone outside OpenAI.
What it changes Nothing to do here this week. The reusable idea is that a mechanical verifier is what makes fan-out pay, so before scaling an agent swarm, ask what checks its output and whether that check can be run without a human.
OpenAI’s own post returns HTTP 403 to this paper’s fetches, so the account is filed from Quanta. The Clay Mathematics Institute had not commented as of publication, no prize is established, and nothing here is reproducible outside OpenAI.
AI Has Solved One of Math’s $1 Million Millennium Prize Problems