OpenAI says 10,000 AI agents solved the Navier-Stokes problem
OpenAI says an internal system significantly more capable than GPT-6 Astra produced an analytical proof that smooth three-dimensional fluid motion can develop a singularity in finite time under a smooth external force. That would resolve the Navier-Stokes existence and smoothness Millennium Prize problem by establishing the counterexample formulations labeled C and D in the official statement. The company released a 166-page writeup and a Lean formalization, says the decisive effort involved roughly 10,000 concurrent agents, and reports that the Navier-Stokes work used about 2.7 million agent messages and 130 billion output tokens. It does not intend to claim the million-dollar prize. The result is potentially historic, but the correct verb today is claims, not solved. A formal proof artifact makes checking more rigorous and transparent, yet experts must still verify that the definitions, assumptions, and formal statements match the intended problem and that no gap sits outside the encoded proof. Provenance also matters. OpenAI says it began after hearing rumors about related work, did not access the outside researchers' specific user data, and cannot entirely rule out indirect influence from de-identified data used to improve models. The episode therefore demonstrates both the promise and the governance burden of AI-accelerated science. Massive parallel search can attack problems at a scale unavailable to most mathematicians. Scientific legitimacy will depend on independent verification, reproducible artifacts, careful credit, and clear policies protecting unpublished work submitted to commercial AI systems.