Second Batch | First Proof Project

Independent, transparent evaluation of AI in research mathematics.

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 August 25, 2026 Third Batch announced. See the call for submissions here. July 8, 2026 Solutions to Second Batch Week #2 problems are posted here. July 1, 2026 Community Experiment Week #2 begins. Problems will be posted here. June 24, 2026 Solutions to Second Batch Week #1 problems are posted here. June 17,…

saved by

• Janabel Xia
• Ishaan Panigrahi
• Jess D

related reading

• [2602.05192] First Proofarxiv.org
• [2608.16753] Mathematics in the age of AIarxiv.org
• Mathematics in the Library of Babel - Daniel Littdaniellitt.com
• The fall of the theorem economydavidbessis.substack.com
• Mathematics in the age of AI - Public lecture, International Congress of Mathematicians 2026teorth.github.io
• Declaration — Math and AImathandai.org
• A New Consciousness of Mathematicsapoorvapanidapu.substack.com
• A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
• Mathematicians in the Age of AI1footnote 11footnote 1I am grateful to Johan Commelin, Sidharth Hariharan, Bryna Kra, Emily Riehl, and Akshay Venkatesh for comments, corrections, and suggestions.arxiv.org
• Look, Mom, I pressed a button!galoisrepresentations.org
• Leiden Declaration on Artificial Intelligence and Mathematicsleidendeclaration.ai
• principia labsprincipialabs.org