OpenAI Claims Solution to Navier-Stokes Millennium Problem

OpenAI announced on September 8 that an unreleased internal model resolved the Navier-Stokes existence and smoothness problem, one of the Clay Mathematics Institute's Millennium Prize Problems. The claimed proof shows that a smooth 3D incompressible fluid can develop unbounded speeds in finite time, with Lean formalization and verification. The announcement has sparked a credit dispute with mathematicians.