❯ OpenAI says 10,000 agents found a Navier-Stokes solution in 88 hours using an unreleased model

Coordinated searchOpenAI announced a mathematical breakthrough on September 8: an internal model powered about 10,000 concurrent agents that took 88 hours to find a solution to the Navier-Stokes existence and smoothness problem. The company released a paper and a Lean formalization, saying the model substantially outperforms the recently released GPT-6 Astra.

Precise claimAccording to the company’s current account, the result concerns a three-dimensional fluid subject to a smooth external force. Starting smoothly and retaining finite total energy, the flow can develop a singularity in finite time. OpenAI says this meets the relevant counterexample conditions in the Millennium Prize formulation. The presence of external forcing matters; the result cannot be generalized into a claim that all fluid-dynamics problems have been solved.

Compute and verificationAgents explored different approaches in groups, with Codex consolidating useful findings and sharing progress. OpenAI reports using about 130 billion output tokens on the effort, followed by 17 hours of formalization and verification with GPT-6 Astra. The research system also received a model update during the search, so the outcome cannot simply be attributed to adding more agents.

Review and creditThis remains a company research claim for mathematicians to scrutinize. Formal verification does not replace checking whether the formalized theorem matches the original problem. Credit and data use in related work are disputed; OpenAI denies accessing specific user data to find the solution. For research teams using models, review procedures and data agreements must keep pace with computational capability.

▪ SIGNALThe scientific value of coordination at this scale must withstand proof review, compute costs and questions of credit; agent counts alone do not establish a general breakthrough.