Aletheia tackles FirstProof autonomously
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.
699e7101dfbcf0b800aecb40
Tony Feng
699e7101dfbcf0b800aecb41
Junehyuk Jung
699e7101dfbcf0b800aecb42
Sang-hyun Kim
699e7101dfbcf0b800aecb43
Carlo Pagano
699e7101dfbcf0b800aecb44
Sergei Gukov
699e7101dfbcf0b800aecb45
Chiang-Chiang Tsai
699e7101dfbcf0b800aecb46
David Woodruff
699e7101dfbcf0b800aecb47
Adel Javanmard
699e7101dfbcf0b800aecb48
Aryan Mokhtari
699e7101dfbcf0b800aecb49
Dawsen Hwang
699e7101dfbcf0b800aecb4a
Yuri Chervonyi
699e7101dfbcf0b800aecb4b
Jonathan N. Lee
699e7101dfbcf0b800aecb4c
Garrett Bingham
699e7101dfbcf0b800aecb4d
Trieu H. Trinh
699e7101dfbcf0b800aecb4e
Vahab Mirrokni
699e7101dfbcf0b800aecb4f
Quoc V. Le
699e7101dfbcf0b800aecb50
Thang Luong
Aletheia tackles FirstProof autonomously
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.