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.
[here](community-experiment.html#format-week2).
[here](community-experiment.html#format-week2).
[here](community-experiment.html#format).
[here](community-experiment.html#format).
[here](second-batch.html#results)and presented at a
[CMSA webinar](https://cmsa.fas.harvard.edu/first-proof-second-batch/)at 1pm ET.
[Details](second-batch.html)
[Solutions and commentary](documents/FirstProofSolutionsComments.pdf)
[arXiv paper](https://arxiv.org/abs/2602.05192)
at Austin
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. 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.