After Claude attempted to solve the Riemann Hypothesis, OpenAI announced that it would use 10,000 AI agents to solve the Millennium Prize Problem in 88 hours. Tao Zhexuan praised the effort but also expressed concern.

OpenAI announced that its internal, undisclosed AI model successfully solved the Navier-Stokes existence and smoothness problem. The team collaborated with approximately 10,000 AI agents to generate a proof within 88 hours, demonstrating that a initially smooth stationary fluid can develop a singularity within a finite time. The verification was completed by GPT-6 Astra in 17 hours, providing an analytical proof and formal verification in the Lean programming language. The computational cost was estimated at 15 to 22 million dollars; OpenAI stated that it did not intend to claim a prize from the Clay Mathematics Institute. Tristan Buckmaster, a mathematics professor at New York University, questioned the timing of OpenAI’s resource allocation and issues related to data privacy. OpenAI denied access to specific user data but acknowledged that anonymized data might be useful. The renowned mathematician Terence Tao expressed both approval and concern that AI solving such problems might weaken human understanding of mathematics.