
Google DeepMind has unveiled an AI co-mathematician that has set a new benchmark in solving complex mathematical problems. Built on the Gemini 3.1 system, this AI uses a team of agents to tackle unsolved problems, achieving a 48% score on the FrontierMath Tier 4 leaderboard. Oxford professor Marc Lackenby utilized a strategy from the AI's output to solve an open problem, demonstrating the system's potential to aid mathematicians. This advancement underscores AI's role in enhancing, not replacing, human expertise in mathematics.
Read originalEarlier coverage that leads up to this article, and what followed. Lines connect each piece to the closest one after it, converging here.
Google DeepMind · March 29, 2026 · Related
Google Research Blog · April 8, 2026 · Background
Together AI Blog · April 13, 2026 · Related
The Rundown AI · April 21, 2026 · Related
MIT Technology Review AI · April 21, 2026 · Background
Matt Wolfe · April 24, 2026 · Related
Lev Selector · May 8, 2026 · Related
Google DeepMind · May 12, 2026 · Same story
WIRED AI · July 30, 2026 · Related
AI Explained · August 6, 2026 · Related
The Verge AI · August 11, 2026 · Related
The Verge AI · August 20, 2026 · Same story
Google DeepMind's AI Co-Mathematician Breakthrough
2 developments