OpenAI's Internal AI System Solves Navier-Stokes Millennium Prize Problem

OpenAI has announced that an internal AI system has produced a proof for the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems in mathematics. This breakthrough demonstrates a significant advancement in AI's capability for complex scientific research and problem-solving, showing that the dynamics of the Navier-Stokes equations for fluid motion can develop a singularity in finite time. OpenAI is sharing both a writeup of the proof and a formalization in Lean.