First Proof Project

Skip to main content

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

July 8, 2026<br>Solutions to Second Batch Week #2 problems are posted here.

July 1, 2026<br>Community Experiment Week #2 begins. Problems will be posted here.

June 24, 2026<br>Solutions to Second Batch Week #1 problems are posted here.

June 17, 2026<br>Community Experiment Week #1 begins. Problems are posted here.

June 10, 2026<br>Second Batch results published here and presented at a CMSA webinar at 1pm ET.

March 14, 2026<br>Second Batch announced: formal benchmark and community round planned for March–June 2026. Details

February 13, 2026<br>First Batch solutions released. Solutions and commentary

February 5, 2026<br>First Batch problems released. arXiv paper

Team and Editors

Editorial Board

Mohammed AbouzaidStanford University

Nikhil SrivastavaUniversity of California, Berkeley

Rachel WardUniversity of Texas<br>at Austin

Lauren WilliamsHarvard University

Board of Directors

Andrew BlumbergColumbia University

Martin HairerEPFL · Imperial College

Tamara KoldaMathSci.ai

Daniel SpielmanYale University

Shmuel WeinbergerUniversity of Chicago

Executive Director

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.

Academia

Foundations

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

Industry