In a new post announcing an independent mathematics advisory group, OpenAI says the pace of the model’s progress “has surprised the mathematicians within OpenAI” and has triggered internal debate over how to prepare the broader mathematical community for capabilities that are arriving faster than expected.
That is the backdrop for the new advisory group. OpenAI says the body will act as a bridge to the mathematical community and the wider public, giving mathematicians a formal channel to weigh in on emerging results before they are released into a hype cycle.
The group’s mandate is notable for its breadth. It will advise OpenAI on the review and communication of new results, help assess their significance, coordinate dissemination, and comment on academic and professional standards for mathematical research. It will also advise on how OpenAI’s tools can support mathematical research and learning—an implicit nod to the fact that the company wants these systems used by working mathematicians, not only flaunted as frontier benchmarks.
There are also unresolved questions around the Navier–Stokes result itself, including how it relates to independent work by mathematicians using AI tools and how much priority should be assigned when models, agents and humans all contribute to a proof. OpenAI says the advisory group will not settle every dispute. But it may set a template: if AI labs want to claim breakthroughs in fields built on verification, they may need to accept a new layer of external scrutiny over how those breakthroughs are announced.
The Advisory Group on Mathematics and Artificial Intelligence is hosted at the Institute for Advanced Study in Princeton, NJ. Initial members include Fields Medalists Timothy Gowers, Martin Hairer, Edward Witten, and Ravi Vakil. Members are unpaid and independently managed, but the group cannot slow OpenAI’s internal research pace.