DeepMind’s Aletheia agent and Gemini Deep Think report autonomous Erdős solutions and new physics and CS results
Event confirmedAwaiting review
Importance: major (4 of 5)The takeaway
Google DeepMind described Aletheia, a Gemini Deep Think–based maths research agent.
Status
- Claim
Event confirmedAwaiting review
- Our reporting
- High confidence
- Verification
- Expert-checked
- Importance
- Major (4 of 5)
- Last verified
- 19 October 2026
Your AI and this story
- GPT-6 AstraIn its training data
- Claude Opus 5.5In its training data
- Gemini 4 HydrogenIn its training data
- Grok 4.7In its training data
It happened before the cutoffs of all four assistants, so it can be in their training data.
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
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.
What is disputed or not yet verified
| Verification | Batch of results in unrefereed preprints (arXiv 2602.10177 and companion papers), checked by the collaborating mathematicians, who are co-authors; one generalisation reported as peer-reviewed (not verified here). Status varies by result |
|---|
Sources
3 sources from 3 sites. Numbers match the chips in the text.
3 sources: 2 primary, 1 press
Primary
- Google DeepMind: Accelerating mathematical and scientific discovery with Gemini Deep Thinkdeepmind.google, official
- Aletheia paper (arXiv 2602.10177)arxiv.org, paper
Press
- InfoQ: DeepMind Aletheia agentic mathinfoq.com, press
Changes
- Status confirmed → pending (batch of unrefereed preprints checked by co-authors, not independently)
- Filed