OpenAI has announced a proposed solution to the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems.
As a mechanical engineer, that is a strange sentence to read. These equations are fundamental to how we understand fluid motion. Now an AI lab says its system has resolved a question about them that has remained open for roughly 90 years.
The announcement was published on September 8. OpenAI released a mathematical writeup and a formalization in Lean, although the claim still needs independent scrutiny. Read the announcement
What does “solving Navier-Stokes” mean?
The equations describe how fluids move. Engineers already use them to study airflow, water flow, and other physical systems.
