On September 8, OpenAI announced that an internal model coordinated around 10,000 AI agents to provide a proof for the Navier-Stokes existence and smoothness problem in 88 hours, formalized in Lean, though it has yet to be independently verified. These agents exchanged 2.7 million messages. OpenAI stated that it will not claim the $1 million Millennium Prize set by the Clay Mathematics Institute for this problem.