On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
At a glance
- openai.com: On the Navier–Stokes Millennium Prize Problem
- nytimes.com: OpenAI Says It Has Cracked One of Math’s ‘Millennium Problems’
- reddit.com: OpenAl Says It Has Cracked One of Math's “Millennium Problems” (Navier-Stokes) [N]
The story
openai.com: We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
nytimes.com: OpenAI Says It Has Cracked One of Math’s ‘Millennium Problems’ nytimes.com
reddit.com: As reported by the New York Times: https://www.nytimes.com/2026/09/08/science/openai-proof-millennium-problem.html?smid=nytcore-ios-share OpenAI’s announcement: https://openai.com/index/navier-stokes-solution/ submitted by /u/Shizuka_Kuze [link] [comments]