Elite mathematicians form independent group to police AI's math claims

A group of prominent mathematicians — including Fields Medalists Timothy Gowers and Martin Hairer, physicist Edward Witten, and Ravi Vakil — has launched the Advisory Group on Mathematics and Artificial Intelligence, hosted at the Institute for Advanced Study and online at agmai.org. The group’s stated mission is to counsel AI companies on how they engage with mathematical research and, crucially, how they responsibly present and release results claimed to be produced by their models. It positions itself as a communication channel between working mathematicians and an AI industry moving fast into their discipline.

The group stresses its independence: it operates apart from any AI company, members take no payment, and its recommendations will be published openly. It also concedes it holds no decision-making power — any company remains accountable for its own choices. Notably, the effort grew out of OpenAI approaching several members about forming an external advisory board; rather than serve one vendor, they opted to build an independent body and recruit peers.

The immediate flashpoint is concrete. The group says it is advising OpenAI on how to coordinate the release of a large batch of significant mathematical results that OpenAI reports were generated by an internal model. That framing is the real news here — a credibility and disclosure problem around machine-generated proofs, and an attempt by senior figures in the field to set norms for verification and presentation before such claims hit the public. The group is soliciting input from the broader mathematical community to shape its recommendations.