{"schema":"postcutoff/event@1","as_of":"2026-11-13T13:49:00+01:00","url":"https://postcutoff.com/e/2026-05-09-deepmind-ai-co-mathematician/","md":"https://postcutoff.com/e/2026-05-09-deepmind-ai-co-mathematician/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-05-09-deepmind-ai-co-mathematician","date":"2026-05-09","date_precision":"day","short_title":"Google DeepMind's 'AI co-mathematician' sets FrontierMath Tier 4 record and helps resolve a Kourovka Notebook problem","deck":null,"takeaway":"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.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":[{"n":1,"title":"AI co-mathematician (arXiv 2605.06651)","url":"https://arxiv.org/abs/2605.06651","type":"paper","group":"primary","domain":"arxiv.org"},{"n":2,"title":"Epoch AI: new record on FrontierMath Tier 4 (Jan 2026)","url":"https://epochai.substack.com/p/new-record-on-frontiermath-tier-4","type":"official","group":"primary","domain":"epochai.substack.com"},{"n":3,"title":"The Rundown: Google DeepMind's powerful AI co-mathematician","url":"https://www.therundown.ai/p/google-deepmind-powerful-ai-co-mathematician","type":"press","group":"press","domain":"therundown.ai"}],"official":2,"filed":"2026-09-29","updated":"2026-10-19","orgs":["Google DeepMind","University of Oxford"],"title":"Google DeepMind's 'AI co-mathematician' sets FrontierMath Tier 4 record and helps resolve a Kourovka Notebook problem","summary":"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'"],"key_numbers":[],"tags":["math","agents","frontiermath","group-theory","gemini"],"science":{"field":"mathematics","subfield":"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.","open_since":"","ai_system":["AI co-mathematician (Gemini 3.1 Pro)"],"human_role":"Human-led with AI tools (Lackenby); benchmark autonomous","verification":{"key":"expert","label":"Expert-checked","text":"Unrefereed preprint (arXiv 2605.06651); results checked by the collaborating mathematicians (e.g. Marc Lackenby), no independent check"},"status":"pending","shock":""},"body_md":"## What happened\n\nDeepMind wrapped Gemini in a team of generator, reviewer and literature agents designed to work alongside a mathematician.\n\n## Why it matters\n\nFrontierMath 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.","disputed":[{"label":"Verification","text":"Unrefereed preprint (arXiv 2605.06651); results checked by the collaborating mathematicians (e.g. Marc Lackenby), no independent check","sources":[]}],"related":[{"id":"2026-02-11-deepmind-aletheia-deep-think-science","url":"https://postcutoff.com/e/2026-02-11-deepmind-aletheia-deep-think-science/","date":"2026-02-11","date_precision":"day","short_title":"DeepMind's Aletheia agent and Gemini Deep Think report autonomous Erdős solutions and new physics and CS results","deck":null,"takeaway":"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.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-10-19","orgs":["Google DeepMind"]},{"id":"2024-12-20-frontiermath-o3-25-percent","url":"https://postcutoff.com/e/2024-12-20-frontiermath-o3-25-percent/","date":"2024-12-20","date_precision":"day","short_title":"OpenAI o3 scores 25% on FrontierMath research-level maths benchmark, amid funding disclosure controversy","deck":null,"takeaway":"It was the first sign that research-level maths was yielding to reasoning models, and an early lesson in benchmark governance and conflicts of interest.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"disputed","labels":["Disputed"]},"sources":3,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI","Epoch AI"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-19","type":"edit","text":"Status confirmed → pending (unrefereed preprint; checks by collaborators only)"},{"date":"2026-09-29","type":"filed","text":"Created"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-09-29","run":null,"sources_read":null,"updated":"2026-10-19","human_review":null,"version":{"date":"2026-10-19"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":9,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":null,"in_training_data":true},{"model_id":"gemini-4-hydrogen","name":"Gemini 4 Hydrogen","cutoff":"2026-03","days_after":39,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":null,"in_training_data":true}],"short_url":null}