About

Humans currently face the challenge of making sense of an expanding set of AI-generated mathematical proofs. We’re building a community, independent of the labs producing these proofs, to help structure this process: understanding what the write-ups contain, placing it in the existing literature, and, where it holds up, seeing it absorbed into the peer-reviewed literature through new papers by human authors.

Our first effort focuses on OpenAI’s write-ups at https://github.com/openai/math. The write-ups there are often difficult to follow, and they can miss relevant citations. We’ve forked OpenAI’s repo at https://github.com/mathcommunity/oai-math-revised, and anyone can submit issues or pull requests with revisions.

We are inviting curators to manage revisions of some write-ups. In general, a curator has expertise in relevant mathematical subfields. They consider proposed edits and maintain notes and links to relevant work. Curators are encouraged to lead channels in our Slack enabling discussion with interested community members. Accepting an edit is not peer review, and curating a write-up does not make the curator its author.

We anticipate two broad classes of contributions:

(1) small, local corrections and additions to OpenAI’s write-ups. Corrections within scope include supplying missing references, clarifying definitions, explaining a difficult step, or identifying and repairing an error. Changes are credited and recorded, and community-edited versions are clearly marked. See the Contribute page for details.

(2) independently written expositions. These should be written as separate works with their own authors, who are encouraged to post them to preprint servers and submit to journals for peer review. The oai-math-revised repository will link to these contributions and explain their relationship to the source paper.

All contributors are responsible for their own claims and should disclose substantial use of AI or other mathematical software.

Ethics statement

Active repository administrators and active curators are not employees of frontier AI labs. By “frontier AI lab” we mean an organization spending at scale to push the frontier of AI-driven mathematics; which organizations qualify may change over time. If an active admin or curator chooses to become a frontier AI lab employee, they agree to resign from their position in this org.