OpenAI Announces Solution to Navier-Stokes Millennium Prize Problem

OpenAI announced that its internal systems have produced a solution to the Navier-Stokes existence and smoothness problem, demonstrating that smooth 3D incompressible fluids starting from rest can form singularities in finite time under smooth external forces. The findings correspond to propositions C and D of the Clay Mathematics Institute's challenge. OpenAI has released the paper and a Lean formal proof, though independent academic review is pending.