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
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
- 1 Sagar Manthan Boosts India’s Deep-Ocean Research Capability
- 2 New Nanoparticles Make Trace Chemicals Easier to Detect
- 3 Google’s Vizag Data Centre Brings Air-Cooling Technology into Focus
- 4 DRDO Backs Indigenous 20 mK Dilution Refrigerator for Quantum Technologies
- 5 C-DOT Unveils 14 Indigenous Quantum-Safe Products
- 6 Scientists Develop Method to Delay Quantum Entanglement Loss
- 7 MIT Builds ‘Living Transistors’ from Engineered Bacteria
- 8 Peptide Biomaterials Could Power Future Medical Implants
- 9 CRISPR-Edited Stem Cells Could Make Blood-Cancer Therapy Safer
- 10 Brain Circuit Linked to Chemotherapy-Induced Cold Allodynia

