Google DeepMind Introduces Aletheia: The AI Agent Moving from Math Competitions to Fully Autonomous Professional Research Discoveries
Google DeepThoughts staff has launched Aletheia, a specialised AI agent designed to bridge the hole between competition-level math {and professional} analysis. While fashions achieved gold-medal requirements on the 2025 International Mathematical Olympiad (IMO), analysis requires navigating huge literature and developing long-horizon proofs. Aletheia solves this by iteratively producing, verifying, and revising options in pure language….
