Humans currently face the challenge of making sense of an expanding set of AI-generated mathematical proofs. Independent of the labs producing these proofs, we work on three things: understanding what the write-ups contain, placing the results in the existing literature, and, where they hold up, seeing them absorbed into the peer-reviewed literature through new papers by human authors.
Our first effort focuses on OpenAI’s write-ups. They are often difficult to follow, and they can miss relevant citations. We’ve forked OpenAI’s repo, and anyone can submit issues or pull requests with revisions:
First project oai-math-revised Community notes on the OpenAI math manuscripts Open the catalogue →Management team
Simon Becker, Nestor Guillen, Francesco Maggi, Abhi Nellore, Johannes Schmitt, Soledad Villar, Rachel Ward.
The management team is subject to change, but members will always be humans and independent of frontier AI companies.
Curators
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.
Contributing
1
Curator-led efforts to produce digestions of AI-generated results. The end goal is a complete paper with human authors, intended for preprint servers and peer-reviewed journals. The role of Math Community is to help interested researchers form groups, and to record intermediate progress towards the full digestion.
2
Edits to existing write-ups: supplying missing references, clarifying definitions, explaining difficult steps, or repairing errors. All changes are credited and recorded.
All contributors should disclose substantial use of AI or other mathematical software.
To take part, open an issue or pull request on GitHub, or write to us at mathcommunityadmin@gmail.com.
Independence
Active repository administrators and active curators are not employees of frontier AI companies. By “frontier AI company” 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 company employee, they agree to resign from their position in Math Community.