Particle.news

Independent Advisory Group at IAS Will Advise OpenAI on Machine‑Produced Math Results

The unpaid panel will gather community input to shape how OpenAI presents and coordinates claimed AI‑generated proofs.

Overview

  • The Advisory Group on Mathematics and Artificial Intelligence was announced on Monday, September 21, 2026, and is hosted at the Institute for Advanced Study with a public site at agmai.org.
  • The group’s stated role is to solicit mathematicians’ views and offer independent recommendations on the responsible presentation and release of significant mathematical results from AI systems.
  • The panel is unpaid and independent but has no power to force OpenAI to delay or change its research timelines, a limit the IAS emphasized in its announcement.
  • Technical verification of OpenAI’s claims — including machine‑checkable formal work in Lean, independent community checks, and possible Clay Mathematics Institute review — remains under way and unresolved.
  • The formation follows broad community pushback about attribution and data use, a public letter from hundreds of mathematicians and a Fields Medalists’ statement, and related moves such as OpenAI’s withdrawal of a $1 million Caltech sponsorship and Jacob Tsimerman’s launch of MAISI.