Google DeepMind's 'AI co-mathematician' sets FrontierMath Tier 4 record and helps resolve a Kourovka Notebook problem
DeepMind's agentic 'AI co-mathematician' on Gemini 3.1 Pro scored 48% (23/48) on FrontierMath Tier 4, versus 19% for Gemini 3.1 Pro alone and 39.6% for GPT-5.5 Pro. It helped Oxford's Marc Lackenby resolve Kourovka Notebook Problem 21.10 in group theory; a reviewer agent caught a flaw that Lackenby then fixed.
Key facts
- arXiv 2605.06651
- FrontierMath Tier 4: 48% vs Gemini 3.1 Pro 19%, GPT-5.5 Pro 39.6%, Claude Opus 4.7 22.9%
- Earlier record: GPT-5.2 Pro 31% (15/48) in Jan 2026, per Epoch AI
- Semon Rezchikov: 'I would rank, aesthetically, its general style of proofs as the best one of any models'
Science result
- Field
- mathematics / group theory / research agents
- Problem
- Kourovka Notebook Problem 21.10; FrontierMath Tier 4
- Result
- Resolution of a Kourovka Notebook group-theory problem with a human mathematician; state-of-the-art 48% on FrontierMath Tier 4.
- AI system
- AI co-mathematician (Gemini 3.1 Pro)
- Human role
- Human-led with AI tools (Lackenby); benchmark autonomous
- Verification
- Expert-checked; preprint
- Status
- confirmed
What happened
DeepMind wrapped Gemini in a team of generator, reviewer and literature agents designed to work alongside a mathematician.
Why it matters
FrontierMath Tier 4, built to resist AI for years, was nearly half solved 18 months after launch. The Lackenby collaboration showed the agent catching its own errors.
Changelog
- 2026-09-29: created
Related events
- OpenAI o3 scores 25% on FrontierMath research-level maths benchmark, amid funding disclosure controversy ★★★
- DeepMind's Aletheia agent and Gemini Deep Think report autonomous Erdős solutions and new physics and CS results ★★★★
Sources (3)
- paperAI co-mathematician (arXiv 2605.06651)
- officialEpoch AI: new record on FrontierMath Tier 4 (Jan 2026)
- pressThe Rundown: Google DeepMind's powerful AI co-mathematician
id: 2026-05-09-deepmind-ai-co-mathematician · updated 2026-09-29 · open in the interactive timeline