Aletheia pakt FirstProof autonoom aan.
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
Samenvatting
Wij rapporteren de prestaties van Aletheia (Feng et al., 2026b), een wiskundig onderzoeksagent aangedreven door Gemini 3 Deep Think, op de eerste FirstProof-uitdaging. Binnen de toegestane tijdspanne van de challenge loste Aletheia autonoom 6 problemen (2, 5, 7, 8, 9, 10) van de 10 op volgens de meerderheid van de expertbeoordelingen; wij merken op dat de experts alleen voor Probleem 8 niet unaniem waren. Voor volledige transparantie lichten wij onze interpretatie van FirstProof toe en delen wij details over onze experimenten en onze evaluatie. Onbewerkte prompts en uitvoer zijn beschikbaar op 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.