Aletheia relève de manière autonome le défi de FirstProof.
Aletheia tackles FirstProof autonomously
February 24, 2026
Auteurs: Tony Feng, Junehyuk Jung, Sang-hyun Kim, Carlo Pagano, Sergei Gukov, Chiang-Chiang Tsai, David Woodruff, Adel Javanmard, Aryan Mokhtari, Dawsen Hwang, Yuri Chervonyi, Jonathan N. Lee, Garrett Bingham, Trieu H. Trinh, Vahab Mirrokni, Quoc V. Le, Thang Luong
cs.AI
Résumé
Nous rapportons les performances d'Aletheia (Feng et al., 2026b), un agent de recherche mathématique reposant sur Gemini 3 Deep Think, lors du premier défi FirstProof. Dans le temps imparti par le défi, Aletheia a résolu de manière autonome 6 problèmes (2, 5, 7, 8, 9, 10) sur 10 selon l'évaluation majoritaire d'experts ; nous notons que les experts n'ont pas été unanimes uniquement pour le problème 8. Pour une transparence totale, nous expliquons notre interprétation du défi FirstProof et divulguons les détails de nos expériences ainsi que de notre évaluation. Les invites brutes et les sorties sont disponibles à l'adresse https://github.com/google-deepmind/superhuman/tree/main/aletheia.
English
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.