[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
- Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI | Scientific Americanscientificamerican.com
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- The fall of the theorem economydavidbessis.substack.com
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- [2608.16753] Mathematics in the age of AIarxiv.org
- Mathematics in the age of AI - Public lecture, International Congress of Mathematicians 2026teorth.github.io
- Declaration — Math and AImathandai.org
- Announcing FrontierMath Erdősepoch.ai
- A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
- Reaping without sowing – Tobias J. Osborne's research notestjoresearchnotes.wordpress.com