Google DeepMind 发布 AI Co-Mathematician：把 agentic coding workspace 迁移到开放数学研究，并辅助解决 Kourovka Notebook 问题

Google DeepMind 提出 AI Co-Mathematician，一个面向数学家的 stateful multi-agent research workspace，支持 ideation、literature search、computational exploration、theorem proving 与 theory building，并显式跟踪不确定性和失败假设。论文报告系统在早期合作中帮助研究者解决开放问题、发现新方向和遗漏文献；其中 Oxford 的 Marc Lackenby 用该系统推进 Kourovka Notebook Problem 21.10，agent 给出证明草稿，reviewer agent 发现缺口，Lackenby 补上关键步骤后完成证明。系统还在 FrontierMath Tier 4 报告 48% 成绩。