OpenAI says a swarm of roughly ten thousand agents, running on an unreleased model it describes only as significantly more capable than GPT-6 Astra, produced a proof that the three-dimensional Navier-Stokes equations can develop a singularity in finite time. The run lasted about 88 hours between 1 and 5 September, consumed on the order of 130 billion output tokens across nearly five million inter-agent messages, and carried an estimated compute cost above forty million dollars. A separate 17-hour pass formalized the argument in Lean, which is the part of the announcement that distinguishes it from the long history of claimed Millennium Prize resolutions: the formalization means the logical skeleton has been machine-checked, even though the informal write-up and the surrounding mathematical judgment have not yet been through peer review.
The mathematical content is a blow-up result rather than a regularity result. The Clay problem asks whether smooth initial data always produces smooth solutions for all time, and this answers no by exhibiting a solution in which some infinitesimally small parcel of fluid reaches unbounded velocity in finite time. Charles Fefferman of Princeton, who wrote the official problem statement, said he was thrilled the problem was solved, and pointed to Diego Cordoba at the Institute for Mathematical Sciences in Madrid and Luis Martinez-Zoroa at CUNEF University as the authors of the underlying strategy, an infinite-cascade construction that combines non-singular solutions into a blow-up. On that reading the agents supplied execution against a human-designed attack rather than the attack itself.
The credit picture is contested. Tristan Buckmaster at NYU and Levent Alpoge at Anthropic announced results roughly twelve hours before OpenAI, claiming a solution for the Euler equations plus an unverified Navier-Stokes proof, and Buckmaster has alleged that OpenAI gained access to their unpublished work after news of it leaked. OpenAI claims priority on Navier-Stokes while conceding Euler to Buckmaster and Alpoge. Quanta notes that different parties are telling materially different versions of the timeline. The most informative detail for calibration may be that OpenAI has said it will not claim the million-dollar prize, which is a strange choice for a lab that believed it had cleanly met the Clay criteria, and which suggests the company itself sees distance between what the agents produced and what the prize formally requires. Independent verification by the fluid-dynamics community is still pending.
- Quanta emphasizes that the human strategy predates the agents and credits Cordoba and Martinez-Zoroa as the intellectual source
- Latent Space frames the run as evidence for unstructured parallel test-time compute and emergent self-organization among agents
- Hacker News threads split between treating this as a landmark and noting that no preprint or external verification exists yet