🤖 OpenAI AI system solves Navier–Stokes Millennium Problem
OpenAI announced on September 8, 2026 that an internal AI system produced a proof — formalized in the Lean proof assistant — showing that the Navier–Stokes equations can develop a singularity in finite time. The result claims to resolve one of the Clay Mathematics Institute's seven Millennium Prize Problems.
Source
1
1September 9, 2026 45
