OpenAI Solves Navier-Stokes Problem in 88 Hours

OpenAI announced that its internal artificial intelligence system successfully produced a solution to the Navier-Stokes existence and smoothness problem in approximately 88 hours, utilizing around 10,000 concurrent AI agents. This achievement was reported in a research release published on Tuesday, detailing that the resolution was reached on September 5.

The Navier-Stokes problem is one of the Millennium Prize Problems established by the Clay Mathematics Institute in 2000, which includes seven of the most challenging mathematical questions, each with a $1 million prize for a solution. OpenAI's proof indicates that the dynamics of the Navier-Stokes equations for fluid motion can develop a singularity in finite time.

The company provided both a write-up of the proof and a formalization in Lean, emphasizing the importance of this mathematical question that has remained unresolved for nearly 90 years. OpenAI's work aims to empower scientific advancement and demonstrate the rapid progress of AI technologies.