OpenAI has released a solution to the Navier-Stokes equation, a Millennium Prize Problem that has remained unresolved for about 90 years. This mathematical challenge explores whether smooth three-dimensional fluid motion can experience failure (i.e., whether solutions can develop singularities in finite time).

It has been disclosed that this proof was collaboratively completed by a group of AI agents, utilizing a model that significantly surpasses the previously known GPT-6 Astra, belonging to a next-generation model that has not yet been officially released. This indicates that OpenAI possesses stronger reasoning capabilities internally than those available in public products.

The Navier-Stokes equations are a set of partial differential equations that describe the motion of viscous fluids and are widely used in fields such as aerospace, meteorology, and ocean engineering. The "existence and smoothness" problem of solutions has been listed as one of the seven Millennium Prize Problems by the Clay Mathematics Institute, with a reward of $1 million. Among the previous seven problems, only the Poincaré conjecture was proven by Russian mathematician Grigori Perelman in 2003.

OpenAI's method of announcement was to directly release the solution rather than submitting it to academic journals or preprint platforms for peer review, as is customary in the mathematics community. This release path has drawn attention, suggesting that the correctness of the proof currently relies mainly on independent verification by the mathematics community rather than confirmation through traditional peer review processes.

According to the Clay Mathematics Institute's criteria for Millennium Prize Problems, a proof typically needs to be published in an academic journal and undergo at least a two-year verification period before it can be formally recognized as a solution and awarded the prize. This means that even if OpenAI's solution is ultimately confirmed as correct, formal recognition will require a lengthy time frame.

From an industry impact perspective, if this proof is ultimately validated by the mathematics community, it will mark the first time an AI system has independently solved a top unresolved mathematical problem, potentially significantly enhancing market expectations for the reasoning capabilities of OpenAI's next-generation models. This could have a ripple effect on subsequent financing valuations, corporate client collaborations, and even the research investment directions of competitors such as Google DeepMind and Anthropic. However, until the proof is verified, the market is likely to adopt a wait-and-see attitude, with related speculation and skepticism expected to coexist.

Source: Public Information