AI合作数学家：用智能体加速数学研究
研究人员推出了一款名为“AI合作数学家”的工作台，允许数学家在开放研究中交互地利用AI智能体。该系统支持构思、文献搜索、计算探索、定理证明和理论构建，通过异步、有状态的工作空间管理不确定性、细化用户意图、跟踪失败假设并输出原生数学工件。早期测试中，它帮助解决了开放问题、识别了新的研究方向并发现了被忽略的文献。此外，该系统在FrontierMath Tier 4上取得了48%的得分，创下新高。
一篇新的研究论文介绍了一款名为“AI合作数学家”的系统，该工作台旨在让数学家在开放研究中交互式地利用AI智能体。该系统由Daniel Zheng等18位作者共同开发，于2026年5月7日提交至arXiv，并于5月13日更新。
AI合作数学家针对数学研究工作流的探索性和迭代性进行了优化，提供全面的支持。它涵盖构思、文献搜索、计算探索、定理证明和理论构建等多个环节。系统采用异步、有状态的工作空间，能够管理不确定性、细化用户意图、跟踪失败假设并输出原生的数学工件，从而模拟人类协作工作流。
早期测试表明，该工具帮助研究人员解决了开放问题，识别了新的研究方向，并发现了被忽略的文献引用。除了展示一种高度交互的AI辅助数学发现范式外，AI合作数学家还在困难问题求解基准上取得了最优结果。例如，它在FrontierMath Tier 4上获得了48%的准确率，这是所有被评估AI系统中的最高分。
这项研究代表了人工智能在数学研究领域应用的重要进展，通过智能体驱动的交互，有望加速数学发现过程。系统设计特别注重与数学家现有工作流程的融合，提供自然语言交互界面，让研究人员能够以对话方式与AI合作。未来，团队计划扩展系统能力，包括更强大的推理引擎和更广泛的数学工具集成。