OpenAI Forms Mathematics Advisory Group Amid Rapid AI Progress, Not to Control Research Pace
OpenAI has established a nine-member independent mathematics advisory group, hosted by the Institute for Advanced Study, to provide guidance on the assessment, communication, and academic standards of AI-generated mathematical results. This move comes in response to the company's rapid internal progress, including claims that an internal model, which began training on August 28, has resolved over 100 long-standing open problems across various areas of mathematics. Among these is the claimed resolution of the Navier–Stokes Millennium Prize Problem, for which OpenAI states its internal system produced a proposed proof involving finite-time singularity formation, formally checked in Lean, a proof-verification system. OpenAI has clarified that it does not intend to claim the $1 million prize associated with the problem. The advisory group's mandate allows it to publish advice, publicly disagree with OpenAI, offer unsolicited input, and change its own membership. However, a key restriction is that the group can...
