AI-Generated Proof Revives Navier–Stokes Millennium Problem

On 8th September 2026, OpenAI released an AI-generated proof claiming to resolve the long-standing Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems. The proof has also been formalised in Lean, though broader mathematical scrutiny remains essential before the result gains general acceptance.

What are Navier–Stokes Equations?

  • The Navier–Stokes equations describe the motion of fluids such as air and water by applying principles including conservation of mass and Newton’s laws of motion.
  • They are fundamental to weather forecasting, aerodynamics, ocean modelling, blood flow and engineering design.

What is the Unsolved Problem?

  • For three-dimensional incompressible fluids, mathematicians have long ....
Do You Want to Read More?
Subscribe Now

To get access to detailed content

Already a Member? Login here


Take Annual Subscription and get the following Advantage
The annual members of the Civil Services Chronicle can read the monthly content of the magazine as well as the Chronicle magazine archives.
Readers can study all the material before the last six months of the Civil Services Chronicle monthly issue in the form of Chronicle magazine archives.

Related Content