We report the performance of Aletheia (Feng et al., 2026b), a mathematics research agent powered by Gemini 3 Deep Think, on the inaugural FirstProof challenge. Within the allowed timeframe of the challenge, Aletheia autonomously solved 6 problems (2, 5, 7, 8, 9, 10) out of 10 according to majority expert assessments; we note that experts were not unanimous on Problem 8 (only). For full transparency, we explain our interpretation of FirstProof and disclose details about our experiments as well as our evaluation. Raw prompts and outputs are available at https://github.com/google-deepmind/superhuman/tree/main/aletheia.
Cite
@article{arxiv.2602.21201,
title = {Aletheia tackles FirstProof autonomously},
author = {Tony Feng and Junehyuk Jung and Sang-hyun Kim and Carlo Pagano and Sergei Gukov and Chiang-Chiang Tsai and David Woodruff and Adel Javanmard and Aryan Mokhtari and Dawsen Hwang and Yuri Chervonyi and Jonathan N. Lee and Garrett Bingham and Trieu H. Trinh and Vahab Mirrokni and Quoc V. Le and Thang Luong},
journal= {arXiv preprint arXiv:2602.21201},
year = {2026}
}