Primary evidence
- Responsible Release of AI-Generated MathematicsS2 · Official institutional · Official announcement · 2026-09-29
AGMAI says the recommendations were informed by more than 600 responses from the mathematical community. The document distinguishes ordinary papers that a responsible mathematician fully understands from AI outputs that nobody yet understands.
On 29 September 2026, the Advisory Group on Mathematics and Artificial Intelligence published recommendations for the responsible release of AI-generated mathematics. The group asks frontier labs to stop testing advanced mathematical problems on proprietary models as its preferred long-term norm, while also specifying how significant results should be released when such work occurs. For results not yet understood by humans, the recommendations call for improved citations and exposition, persistent community-oriented repositories, disclosure of the model, prompts, summarized reasoning, time and compute, documentation of AI use and problem selection, comparable failure statistics for batch releases, formalization where possible, and material support for community-led human understanding.
AGMAI says the recommendations were informed by more than 600 responses from the mathematical community. The document distinguishes ordinary papers that a responsible mathematician fully understands from AI outputs that nobody yet understands. In the latter case it proposes technical release norms and a parallel obligation for labs to fund independent, community-led workshops, conferences, expository work and other activities needed to assimilate the mathematics. It also warns that unequal access to frontier systems could create a multi-tier mathematical community.
Earlier 2026 statements identified problems in attribution, incentives, access and research dissemination. This document converts those concerns into an operational checklist that can be compared against actual releases. OpenAI's 6 October release explicitly says it drew on AGMAI's advice, and AGMAI subsequently stated that it had discussed the recommendations with OpenAI while leaving assessment of compliance and mathematical merit to the wider community.
Significance rationale: AGMAI's responsible-release recommendations are a field-building milestone because they translate the 2026 debate over AI-generated mathematics into a concrete, public set of norms for frontier AI labs. The recommendations address human understanding, publication channels, citations, provenance, model and prompt disclosure, compute reporting, formalization standards, failure disclosure, community-led assimilation and equitable access. They were informed by more than six hundred community responses and were subsequently discussed with OpenAI before its large October mathematics release.
AGMAI's public recommendations establish the document, its scope and its stated basis in more than 600 community responses.
AGMAI's statement on OpenAI's large mathematics release says the group discussed its recommendations with OpenAI and reaffirms them, while explicitly declining to endorse the released mathematics or certify that the recommendations were followed successfully.
No corrections recorded.