OpenAI Shares AI-Generated Solution to Navier-Stokes Millennium Prize Problem
OpenAI has announced the release of an AI-generated solution to the Navier-Stokes Millennium Prize Problem, one of the seven unsolved mathematical challenges designated by the Clay Mathematics Institute, each carrying a prize of one million dollars.
The Navier-Stokes problem concerns whether smooth, globally defined solutions always exist for the equations describing fluid motion. This question has remained open for over a century and sits at the intersection of mathematics and physics.
The OpenAI team published both a detailed writeup and a formal proof developed using Lean, a interactive theorem prover that mechanically verifies the correctness of mathematical arguments. This approach ensures the logical steps are sound and reproducible.
The announcement marks a notable application of AI systems to frontier mathematical research, though the broader mathematical community will need to evaluate whether the proposed solution resolves the longstanding open question.