Terence Tao Announces Establishment of AGMAI, a Mathematical Advisory Group for AI Companies

The establishment of the Mathematics and Artificial Intelligence Advisory Group (AGMAI) was officially announced via Terence Tao's blog. AGMAI operates based on the Institute for Advanced Study (IAS) in Princeton and agmai.org, serving as a liaison and advisory body between AI companies and the mathematics community.

Purpose and Operating Principles

• Scope of Advisory: Provides advice on AI companies' mathematical research activities, interactions with the community, and responsible publication and disclosure procedures for mathematical results.
• Independence: Completely independent from AI companies, with members receiving no compensation. Recommendations are published on the website, but final decision-making authority and responsibility remain with the AI companies.
• Background: Although OpenAI proposed forming an external advisory committee to some members, the group transitioned to a separate entity to ensure independence and invited other experts.

Key Tasks and Membership

• Core Task: Advisory work is underway regarding the coordination of the publication of numerous significant mathematical results reported to have been produced by current internal OpenAI models.
• Members: Distinguished mathematicians including François Charles, Camillo De Lellis, Timothy Gowers, Martin Hairer, Nikhil Srivastava, Ulrike Tillmann, Ravi Vakil, Edward Witten, and Melanie Matchett Wood are participating.
• Community Engagement: Feedback from the mathematics community is being collected via a form; submitted opinions are used to formulate recommendations but are not disclosed without approval.