Overview
- The Advisory Group on Mathematics and Artificial Intelligence launched Monday at the Institute for Advanced Study and will solicit community input as it advises OpenAI on coordinating the release of many claimed AI-produced results.
- OpenAI says an internal multi-agent model produced a machine-checkable Lean formalization of a Navier–Stokes solution and more than 100 other solved problems, but those claims remain subject to independent verification and community review.
- Hundreds of mathematicians pushed back after the company’s rapid announcements, with 771 signing a public letter, 25 Fields Medalists issuing a separate declaration, and OpenAI withdrawing a $1 million Caltech sponsorship.
- The nine unpaid advisory members include prominent figures such as Timothy Gowers, Edward Witten, and Melanie Matchett Wood, and the group will publish public recommendations while having no authority to compel company action.
- Key unresolved issues are independent mathematical validation, clear attribution and potential exposure of unpublished drafts to training data, and the formation of parallel bodies like MAISI that aim to build standards and hire mathematicians for AI-safety work.