On September 8, OpenAI announced that an unreleased internal model, running roughly 10,000 concurrent agents, produced a proposed resolution of the Navier–Stokes Millennium Prize Problem in about 88 hours. GPT-6 Astra then formalized and verified the proof in Lean...






