OpenAI Publishes AI-Generated Navier-Stokes Proof, Triggering Math Review

OpenAI said an internal AI system produced an analytical proof and Lean formalization for the Navier-Stokes existence and smoothness problem, one of the Clay Mathematics Institute's Millennium Prize Problems. The Sept. 8 release proposes a finite-time singularity for three-dimensional fluid motion, but the result still faces the slow test of community verification before any prize status changes.