[2602.05192] First Proof
Abstract:To assess the ability of current AI systems to correctly answer research-level mathematics questions, we share a set of ten math questions which have arisen naturally in the research process of the authors. The questions had not been shared publicly until now; the answers are known to the authors of the questions but will remain encrypted for a short time.
First Proof Mohammed Abouzaid∗ Andrew J. Blumberg Martin Hairer Stanford University Columbia University EPFL and Imperial Joe Kileel Tamara G. Kolda Paul D. Nelson University of Texas at Austin MathSci.ai Aarhus University arXiv:2602.05192v2 [cs.AI] 16 Mar 2026…
saved by
related reading
- First Proof Project1stproof.org
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- The fall of the theorem economydavidbessis.substack.com
- Existential Risk from AI: An Exposition for Mathematiciansalkjash.github.io
- unit-distance-remarks.pdfcdn.openai.com
- [2608.16753] Mathematics in the age of AIarxiv.org
- Formalizing Fermat's Last Theoremanthropic.com
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- [2603.26524] Mathematical methods and human thought in the age of AIarxiv.org
- 2009.03393arxiv.org
- 2510.01346arxiv.org