Story
infoq_ai_ml · Apr 19, 2026 · news
Source brief
Google’s Aletheia Advances the State of the Art of Fully Autonomous Agentic Math Research
infoq.comApr 19, 2026
original source linked
In brief
Google announced Aletheia, an AI using Gemini 3 Deep Think that solved 6/10 novel math problems in the FirstProof challenge. Aletheia also scored ~91.9% on IMO-ProofBench, signaling a significant shift in automated re...
Continue reading