DeepMind's Aletheia agent and Gemini Deep Think report autonomous Erdős solutions and new physics and CS results
Google DeepMind described Aletheia, a Gemini Deep Think–based maths research agent. It autonomously solved Erdős problems #652, #654 and #1040 and resolved #1051, which led to a peer-reviewed generalisation. A semi-autonomous sweep of 700 open Erdős problems resolved 4 and found existing literature solutions for several more. With 18 external researchers, Deep Think also produced a cosmic-string gravitational-radiation result and refuted a decade-old online-optimisation conjecture.
Key facts
- Aletheia paper: arXiv 2602.10177; up to 90% on IMO-ProofBench Advanced
- Autonomous: Erdős #652, #654, #1040; #1051 resolved and generalised
- 700-problem sweep: 4 open questions resolved; several 'open' problems found already solved in the literature
- Physics: a new Gegenbauer-polynomial solution removing singularities in cosmic-string gravitational radiation calculations
- One paper (eigenweights) classed by DeepMind as essentially autonomous and publishable
Science result
- Field
- mathematics / combinatorics / number theory (plus physics, CS)
- Problem
- Open Erdős problems; conjecture in online optimisation; cosmic-string radiation calculations
- Result
- Several Erdős problems solved autonomously, a decade-old online-optimisation conjecture refuted, and a new analytic technique for cosmic-string radiation.
- AI system
- Aletheia, Gemini Deep Think
- Human role
- Mixed: some autonomous; others in collaboration with 18 external researchers
- Verification
- Preprints; expert-checked; one generalisation peer-reviewed
- Status
- confirmed
What happened
DeepMind packaged Gemini Deep Think into an agent that generates, checks and revises proofs, and released a batch of results across maths, CS and physics.
Why it matters
Google's answer to OpenAI's maths push showed that several labs could now produce publishable research-level results, although many were on problems nobody had seriously attacked.
Changelog
- 2026-09-29: created
Related events
- Erdős problem #728 solved near-autonomously by GPT-5.2 Pro and Harmonic's Aristotle, with a Lean proof ★★★★
- 'First Proof' challenge: AI solves about half of 10 unpublished research problems set by mathematicians ★★★
- Google DeepMind's 'AI co-mathematician' sets FrontierMath Tier 4 record and helps resolve a Kourovka Notebook problem ★★★
Sources (3)
- officialGoogle DeepMind: Accelerating mathematical and scientific discovery with Gemini Deep Think
- paperAletheia paper (arXiv 2602.10177)
- pressInfoQ: DeepMind Aletheia agentic math
id: 2026-02-11-deepmind-aletheia-deep-think-science · updated 2026-09-29 · open in the interactive timeline