OpenAI Forms Math Advisory Group as Mysterious Model Solves 100+ Open Problems
OpenAI has announced the formation of an independent nine-member Advisory Group on Mathematics and AI at the Institute for Advanced Study, while disclosing that a new internal model solved over 100 open mathematical problems in 24 days. The claimed solutions include progress on major problems such as the Navier-Stokes Millennium Prize problem. This development highlights the rapidly accelerating capability of AI in fundamental scientific discovery and automated reasoning. By involving top mathematicians, OpenAI aims to establish rigorous academic standards and responsible mechanisms for evaluating and disclosing AI-generated scientific breakthroughs. The independent panel includes Fields Medalists Timothy Gowers, Martin Hairer, and Edward Witten, who will advise on peer review, dissemination, and standards without receiving compensation from OpenAI. However, the group will not advise on the internal pacing of OpenAI's research, addressing recent concerns raised by mathematicians like Terence Tao regarding AI math benchmarks.
## BACKGROUND
Automated theorem proving uses computer algorithms to discover or verify mathematical proofs, a core frontier in AI reasoning. The Navier-Stokes existence and smoothness problem is one of the seven Millennium Prize Problems set by the Clay Mathematics Institute, carrying a $1 million reward. Recently, leading mathematicians expressed concerns that rushing AI systems to solve famous open problems could disrupt academic rigor and peer-review processes.