AI 共同数学家：用智能体 AI 加速数学家研究
人工智能
2026-05-14 v2
摘要
我们引入了 AI 共同数学家，这是一个供数学家交互式利用 AI 智能体以开展开放式研究的工作台。AI 共同数学家经过优化，可为数学工作流的探索性与迭代性现实提供全面支持，包括构思、文献检索、计算探索、定理证明与理论构建。通过提供一个异步、有状态的工作空间，该系统能够管理不确定性、细化用户意图、追踪失败的假设并输出原生数学产物，从而镜像人类的协作工作流。在早期测试中，AI 共同数学家帮助研究人员解决了开放性问题、确定了新的研究方向，并发现了被遗漏的文献参考。除了展示一种用于 AI 辅助数学发现的高度交互范式外，AI 共同数学家还在困难问题求解基准上取得了 SOTA 结果，包括在 FrontierMath Tier 4 上获得 48% 的得分，这是所有受评估 AI 系统中的新高分。
引用
@article{arxiv.2605.06651,
title = {AI co-mathematician: Accelerating mathematicians with agentic AI},
author = {Daniel Zheng and Ingrid von Glehn and Yori Zwols and Iuliya Beloshapka and Lars Buesing and Daniel M. Roy and Martin Wattenberg and Bogdan Georgiev and Tatiana Schmidt and Andrew Cowie and Fernanda Viegas and Dimitri Kanevsky and Vineet Kahlon and Hartmut Maennel and Sophia Alj and George Holland and Alex Davies and Pushmeet Kohli},
journal= {arXiv preprint arXiv:2605.06651},
year = {2026}
}
备注
23 pages; several citations added