Google DeepMind's AI Co-Mathematician Reaches 48% on FrontierMath Tier 4

Google DeepMind presents an interactive agentic workbench supporting the full cycle of mathematical research: brainstorming, literature search, computational exploration, formal proof development, and theory building. The system maintains a stateful asynchronous workspace that tracks uncertainty, records failed hypotheses, and communicates when reasoning stalls. On FrontierMath Tier 4 (hard unsolved problems), it achieves 48% — a new state-of-the-art among all AI systems evaluated. In early real-world trials it helped researchers resolve open problems and surface overlooked references.