Aletheia tackles FirstProof autonomously
Authors: name: Tony Feng, name: Junehyuk Jung, name: Sang-hyun Kim, name: Carlo Pagano, name: Sergei Gukov, name: Chiang-Chiang Tsai, name: David Woodruff, name: Adel Javanmard, name: Aryan Mokhtari, name: Dawsen Hwang, name: Yuri Chervonyi, name: Jonathan N. Lee, name: Garrett Bingham, name: Trieu H. Trinh, name: Vahab Mirrokni, name: Quoc V. Le, name: Thang Luong
Organization: Google

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.