---
id: "2026-05-09-deepmind-ai-co-mathematician"
url: "https://postcutoff.com/e/2026-05-09-deepmind-ai-co-mathematician/"
as_of: "2026-11-13T13:49:00+01:00"
date: "2026-05-09"
date_precision: day
category: science
importance: 3
confidence: high
status: [Event confirmed, Awaiting review]
verification: Expert-checked
sources: 3
editor: human editor
human_review: null
version: "2026-10-19"
---

As of: 2026-11-13 13:49 CET.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/
Canonical page: https://postcutoff.com/e/2026-05-09-deepmind-ai-co-mathematician/

# 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'

## 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.

## What is disputed or not yet verified

- Verification: Unrefereed preprint (arXiv 2605.06651); results checked by the collaborating mathematicians (e.g. Marc Lackenby), no independent check

## Your AI and this story

- GPT-6 Astra (training cutoff April 2026): 9 days after its cutoff
- Claude Opus 5.5 (training cutoff June 2026): in its training data
- Gemini 4 Hydrogen (training cutoff March 2026): 39 days after its cutoff
- Grok 4.7 (training cutoff May 2026): in its training data

## Sources

1. [AI co-mathematician (arXiv 2605.06651)](https://arxiv.org/abs/2605.06651) (arxiv.org, paper)
2. [Epoch AI: new record on FrontierMath Tier 4 (Jan 2026)](https://epochai.substack.com/p/new-record-on-frontiermath-tier-4) (epochai.substack.com, official)
3. [The Rundown: Google DeepMind's powerful AI co-mathematician](https://www.therundown.ai/p/google-deepmind-powerful-ai-co-mathematician) (therundown.ai, press)

## Changes

- 2026-10-19: Status confirmed → pending (unrefereed preprint; checks by collaborators only)
- 2026-09-29 (filed): Created

## Related

- 2026-02-11: [DeepMind's Aletheia agent and Gemini Deep Think report autonomous Erdős solutions and new physics and CS results](https://postcutoff.com/e/2026-02-11-deepmind-aletheia-deep-think-science/index.md)
- 2024-12-20: [OpenAI o3 scores 25% on FrontierMath research-level maths benchmark, amid funding disclosure controversy](https://postcutoff.com/e/2024-12-20-frontiermath-o3-25-percent/index.md)