OpenAI announced a solution to the Navier–Stokes existence and smoothness Millennium Prize Problem, produced by an internal model it says is significantly more capable than GPT-6 Astra. The proof, shared as a writeup and a Lean formalization, shows that smooth three-dimensional fluid motion can develop a singularity in finite time. The system used coordinating agents—roughly 10,000 concurrent for this problem—with internet access and code execution. OpenAI said the model's training is ongoing.
No score is assigned. Sources and their independence are shown in the citation chain below.