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

Google unveiled Aletheia, an AI system powered by Gemini 3 Deep Think that autonomously solves complex mathematical problems. It solved 6 of 10 problems in the FirstProof challenge and achieved 91.9% on IMO-ProofBench, marking significant progress in automated mathematical proof discovery without human intervention.