April 19, 2026•1 min read•from InfoQ

Google’s Aletheia Advances the State of the Art of Fully Autonomous Agentic Math Research

$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 Couriol

Want to read more?

Check out the full article on the original site

View original article→

Tagged with

#google sheets

#enterprise-level spreadsheet solutions

#automated anomaly detection

#rows.com

#Aletheia

#Gemini 3

#Deep Think

#autonomous

#agentic

#math research

#FirstProof challenge

#automated research

#proof discovery

#human intervention

#IMO-ProofBench

#problem-solving

#novel math problems

#significant shift

#AI

#automated proof