•1 min read•from InfoQ
Google’s Aletheia Advances the State of the Art of Fully Autonomous Agentic Math Research
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 research-level proof discovery without human intervention.
By Bruno CouriolWant to read more?
Check out the full article on the original site