OpenAI reports a solution to the Navier-Stokes problem

OpenAI says it has produced a proof related to the NavierStokes existence and smoothness problem, one of the Clay Mathematics Institute’s Millennium Prize Problems. The company says the result shows that a smooth fluid can develop a singularity in finite time, and it released both a written explanation and a Lean formalization of the proof. The article explains the longstanding mathematical question, which asks whether threedimensional fluid motion can remain smooth or break down. NavierStokes equations are widely used in areas such as aircraft design, weather forecasting, and blood flow research. OpenAI says the work was completed using an internal model and a multiagent system that explored different problem variants over several days. The company also says it is publishing the result to describe progress in AI research and does not intend to claim the prize.