Ten Thousand Agents and a Millennium Prize: Inside OpenAI's Navier-Stokes Claim

Ten thousand AI agents, eighty-eight hours, and a proof for one of mathematics' hardest open problems. That's today's story. OpenAI claims an internal model orchestrated a small army of agents to crack Navier-Stokes existence and smoothness, one of the Millennium Prize Problems, with the proof formally verified in Lean. If it holds up, this isn't AI assisting research anymore. It's AI conducting i