AI Co-Mathematician: DeepMind's Agentic Workbench Scores 48% on FrontierMath Tier 4 — New SOTA
arXiv·high signal
DeepMind introduces an interactive AI workbench for mathematicians handling ideation, literature search, computational exploration, and theorem proving. It scored 48% on FrontierMath Tier 4, the highest among all AI systems evaluated, and has already helped mathematicians solve open problems and identify new research directions.