OpenAI Says Internal AI System Solved the Navier–Stokes Millennium Prize Problem

OpenAI says an internal model, more capable than GPT‑6 Astra, proved finite-time singularities in 3D Navier–Stokes — with a Lean formalization — and will not claim the Millennium Prize.