OpenAI announced that an internal AI system, described 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, resolving the Millennium Prize problem. The company released a writeup and a Lean formalization. The proof was generated by coordinating agents—roughly 10,000 concurrent agents in the successful group—and establishes statements "C" and "D" in the official Millennium Prize formulation.
No score is assigned. Sources and their independence are shown in the citation chain below.