Sharing AI progress in mathematics

PUBLISHER ARTICLE PREVIEW

From the original article

We’re releasing a broad range of new mathematical results produced by an internal frontier model.

As we look to improve how we share results with the math community, we’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study⁠ to develop best practices, and we have drawn on their advice and public recommendations⁠ to inform how we release these results.

For this release, we’re publishing the results in a GitHub repository, with protocols for paper revisions and citations. We’re continuing to explore other community-hosted alternatives for this release which meet the committee’s guidelines.