@dair_ai
NEW paper from Google DeepMind. (bookmark it) AI Co-Mathematician is an agentic research workbench for mathematicians, and it just hit 48% on FrontierMath Tier 4, a new high score among AI systems evaluated. The system is an asynchronous, stateful environment that supports ideation, literature discovery, computational analysis, theorem verification, and knowledge development. It manages uncertainty, clarifies intentions, records unsuccessful attempts, and emits formal mathematical outputs. Early applications yielded solved open problems, fresh research angles, and recovered overlooked citations during active research sessions. This is one of the cleanest demonstrations that agentic AI moves the frontier on genuinely hard mathematical research, not just problem-solving but discovery support. The asynchronous stateful workbench design is interesting to adopt if you are building agents for any expert workflow. Paper: https://t.co/C1ro3mGPQi Learn to build effective AI agents in our academy: https://t.co/LRnpZN7L4c