OpenAI reports solution to Navier-Stokes existence and smoothness problem

OpenAI announced on September 8, 2026, that an internal artificial intelligence model, operating with 10,000 autonomous agents, successfully produced a proof for the Navier-Stokes existence and smoothness problem. This mathematical challenge, which concerns the behavior of fluid motion, has remained unsolved for approximately 90 years and is recognized as one of the seven Millennium Prize Problems. The collaborative AI effort, which began in late August, reached the conclusion within 88 hours of computational work.

The findings suggest that under specific conditions, 3D incompressible fluids can develop singularities, where velocities increase without limit within finite time. The company has released both the mathematical proof and its formal representation in the Lean language. These equations are fundamental to fields ranging from aeronautical design to meteorology and blood flow analysis.

While the model is described as significantly more capable than previous iterations, OpenAI continues to keep it as an internal tool without public access. The result currently awaits verification from the international mathematics community. If confirmed, this development could impact the status of the $1 million prize offered by the Clay Mathematics Institute for a solution to the problem.