Second Batch | First Proof Project
1stproof.org · 417 words · saved by 3 readers
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
related reading
- [2602.05192] First Proofarxiv.org
- The Open Anonymity Projectopenanonymity.ai
- principia labsprincipialabs.org
- Caltech Mathathonmathathonchallenge.com
- Existential Risk from AI: An Exposition for Mathematiciansalkjash.github.io
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
- Formalizing Fermat's Last Theoremanthropic.com
- Announcing FrontierMath Erdősepoch.ai
- Declaration — Math and AImathandai.org
- Mathematics in the age of AI - Public lecture, International Congress of Mathematicians 2026teorth.github.io
- The Compute Verification Postfirstscattering.com