Table of Contents: :: Library Catalog

Saved in:

Bibliographic Details
Main Authors:	Feng, Tony, Jung, Junehyuk, Kim, Sang-hyun, Pagano, Carlo, Gukov, Sergei, Tsai, Chiang-Chiang, Woodruff, David, Javanmard, Adel, Mokhtari, Aryan, Hwang, Dawsen, Chervonyi, Yuri, Lee, Jonathan N., Bingham, Garrett, Trinh, Trieu H., Mirrokni, Vahab, Le, Quoc V., Luong, Thang
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Computation and Language Machine Learning
Online Access:	https://arxiv.org/abs/2602.21201
Tags:	Add Tag No Tags, Be the first to tag this record!

Table of Contents:

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.

Similar Items