AI共同数学家：以智能体AI加速数学家

我们提出AI共同数学家：一个让数学家交互式利用AI智能体追求开放式研究的工作台。AI共同数学家为数学工作流的探索与迭代现实提供整体支持：构思、文献检索、计算探索、定理证明与理论构建。通过提供异步、有状态的工作区——管理不确定性、精炼用户意图、追踪失败假设并输出原生数学工件——系统映照人类协作工作流。在早期测试中，AI共同数学家帮助研究者解决开放问题、识别新研究方向、并发现被忽视的文献引用。除展示AI辅助数学发现的高度交互范式外，AI共同数学家还在困难问题求解基准上取得SOTA：在FrontierMath Tier 4上得分48%，为所有已评估AI系统中的新高分。