Google DeepMind Introduces Aletheia: The AI Agent Moving from Math Competitions to Fully Autonomous Professional Research Discoveries

Google DeepMind team has introduced Aletheia, a specialized AI agent designed to bridge the gap between competition-level math and professional research. While models achieved gold-medal standards at the 2025 International Mathematical Olympiad (IMO), research requires navigating vast literature and constructing long-horizon proofs. Aletheia solves this by iteratively generating, verifying, and revising solutions in natural language.

The Architecture: Agentic Loop

Aletheia is powered by an advanced version of Gemini Deep Think. It utilizes a three-part ‘agentic harness’ to improve reliability:

Generator: Proposes a candidate solution for a research problem.

Verifier: An informal natural language mechanism that checks for flaws or hallucinations.

Reviser: Corrects errors identified by the Verifier until a final output is approved.

This separation of duties is critical; researchers observed that explicitly separating verification helps the model recognize flaws it initially overlooks during generation.

Key Technical Findings

The development of Aletheia revealed several insights into how AI handles complex reasoning:

Inference-Time Scaling: Allowing the model more compute at the time of a query—’thinking longer’—significantly boosts accuracy. The January 2026 version of Deep Think reduced the compute needed for IMO-level problems by 100x compared to the 2025 version.

Performance: Aletheia achieved a 95.1% accuracy on the IMO-Proof Bench Advanced, a major leap over the previous record of 65.7%. It also demonstrated state-of-the-art performance on FutureMath Basic, an internal benchmark of PhD-level exercises.

Tool Use: To prevent citation hallucinations, Aletheia uses Google Search and web browsing. This helps it synthesize real-world mathematical literature.

Research Milestones

Aletheia has already contributed to several peer-reviewed milestones:

Fully Autonomous (Feng26): Aletheia generated a research paper calculating structure constants called eigenweights without any human intervention.

Collaborative (LeeSeo26): The agent provided a high-level roadmap and “big picture” strategy for proving bounds on independent sets, which human authors then turned into a rigorous proof.

The Erdős Conjectures: Deployed against 700 open problems, Aletheia found 63 technically correct solutions and resolved 4 open questions autonomously.

A Taxonomy for AI Autonomy

DeepMind proposed a standard for classifying AI math contributions, similar to the levels used for autonomous vehicles.

The paper Feng26 is classified as Level A2, meaning it is essentially autonomous and of publishable quality.

Michal Sutter is a data science professional with a Master of Science in Data Science from the University of Padova. With a solid foundation in statistical analysis, machine learning, and data engineering, Michal excels at transforming complex datasets into actionable insights.