Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems. - Tony Feng; Trieu H. Trinh; Garrett Bingham; Jiwon Kang; Shengtong Zhang; Sang-hyun Kim; Kevin Barreto; Carl Schildkraut; Junehyuk Jung; Jaehyeon Seo; Carlo Pagano; Yuri Chervonyi; et al. (CoRR, 2026)

Aletheia tackles FirstProof autonomously. - Tony Feng; Junehyuk Jung; Sang-Hyun Kim; Carlo Pagano; Sergei Gukov; Cheng-Chiang Tsai; David P. Woodruff; Adel Javanmard; Aryan Mokhtari; Dawsen Hwang; Yuri Chervonyi; Jonathan N. Lee; et al. (CoRR, 2026)