OpenAI Says Its AI Produced a Proof for the Navier–Stokes Millennium Problem
Ten thousand agents, 2.7 million messages, 88 hours: OpenAI announces a Lean-verified Navier-Stokes proof for a 90-year-old Millennium Problem — amid a public priority dispute.