OpenAI Says Internal AI System Produced a Navier–Stokes Proof

OpenAI says an internal AI system has produced a proof for the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems that has remained unresolved for roughly 90 years. The company released an analytical writeup and a formalized proof in Lean, but the result remains a claim awaiting broader mathematical scrutiny.