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 since 2018 of the Civil Services Chronicle monthly issue in the form of Chronicle magazine archives.
Science & Technology
- 1 Peptide Biomaterials Could Power Future Medical Implants
- 2 CRISPR-Edited Stem Cells Could Make Blood-Cancer Therapy Safer
- 3 GSLV-F17 Successfully Launches EOS-05
- 4 Magnetar Offers Strongest Evidence Yet for ‘Non-Empty’ Space
- 5 Aditya-L1 Detects Early Warning Signs of Solar Flares
- 6 GalaxEye to Develop Indigenous OptoSAR Earth-Observation Satellite
- 7 IAF Successfully Tests Indigenous Long-Range Glide Bomb Khagantak-243
- 8 Brain Circuit Linked to Chemotherapy-Induced Cold Allodynia
- 9 RAKSHA Framework to Guide India’s Defence Diplomacy
- 10 India to Acquire US Javelin Anti-Tank Missiles
