10,000 Agents in 88 Hours Prove a 90-Year-Old Navier-Stokes Problem
An unnamed internal model plus ~10,000 coordinating agents closed the Navier-Stokes Millennium Problem in ~88h (130B tokens), with a verified Lean proof. The capability step OpenAI's flagging.