Mission

First Proof provides independent, transparent, and rigorous engagement with the evolving capabilities of AI in research mathematics. We offer clarity to the mathematical community and to the public so as to ground conversations about the role of AI tools.

Announcements

June 17, 2026 Community Experiment Week #1 begins. Problems will be posted here.
June 10, 2026 Second Batch results published here and presented at a CMSA webinar at 1pm ET.
March 14, 2026 Second Batch announced: formal benchmark and community round planned for March–June 2026. Details
February 13, 2026 First Batch solutions released. Solutions and commentary
February 5, 2026 First Batch problems released. arXiv paper

Team and Editors

Mohammed AbouzaidStanford University
Nikhil SrivastavaUniversity of California, Berkeley
Rachel WardUniversity of Texas
at Austin
Lauren WilliamsHarvard University
Andrew BlumbergColumbia University
Martin HairerEPFL · Imperial College
Tamara KoldaMathSci.ai
Daniel SpielmanYale University
Shmuel WeinbergerUniversity of Chicago
Mohammed AbouzaidStanford University

Ethics Statement

First Proof is committed to independence and neutrality. Its Editorial Board oversees its scientific and outreach activities, such as problem selection, benchmarking, and community experimentation. Its Board of Directors manages the foundation itself.

Funding received from AI companies is used exclusively for scientific and outreach activities aligned with our mission, and is never used to pay members of either board. All other expenses are supported by donations from other sources, including volunteer labor.

Members of the Editorial Board and the Board of Directors will not accept paid engagements of any kind with AI companies while serving. The Board of Directors oversees compliance with this policy, reviews it annually, and may remove members of its own body or the Editorial Board for violations. The foundation produces an annual report detailing the foundation’s finances, including all funding received from AI companies.

Get Involved

If you are a mathematician interested in contributing to First Proof, please reach out to us at contact@1stproof.org.

Acknowledgments

The First Proof Project is made possible by the generous support of the following institutions and funders.

Google.org has offered support, which we are currently in discussions to finalize.