AI Research
Sep 8, 2026
AI-Generated Solution Proposed for Navier–Stokes Millennium Prize Problem
Sep 8, 2026
AI Summary
An AI-generated solution has been presented for the Navier–Stokes Millennium Prize Problem, which remains one of the seven unsolved problems in mathematics. The submission includes a detailed writeup and a formal proof created using the Lean proof assistant.
%22%2F%3E%3Crect%20width%3D%22800%22%20height%3D%22450%22%20fill%3D%22url(%23glow)%22%2F%3E%3Ctext%20x%3D%22400%22%20y%3D%22275%22%20text-anchor%3D%22middle%22%20fill%3D%22%2360a5fa%22%20font-family%3D%22system-ui%2C-apple-system%2Csans-serif%22%20font-size%3D%22132%22%20font-weight%3D%22800%22%20letter-spacing%3D%22-6%22%20opacity%3D%220.9%22%3Ecn%3C%2Ftext%3E%3Ctext%20x%3D%22400%22%20y%3D%22318%22%20text-anchor%3D%22middle%22%20fill%3D%22%2360a5fa%22%20font-family%3D%22system-ui%2C-apple-system%2Csans-serif%22%20font-size%3D%2211%22%20font-weight%3D%22600%22%20letter-spacing%3D%223%22%20opacity%3D%220.38%22%3ECONTEXT%20NEWS%3C%2Ftext%3E%3C%2Fsvg%3E)
- The Navier–Stokes Millennium Prize Problem is one of seven unsolved problems in mathematics, with a reward of one million dollars for a correct solution.
- A new solution generated by artificial intelligence has been shared, which includes both a writeup and a formal proof.
- The formal proof has been developed using the Lean proof assistant, a tool for formal verification of mathematical proofs.
navier-stokesmillennium prizeai-generated solutionformal prooflean