我们推出了 AI 联合数学家,，这是数学家可以交互地利用 AI 代理进行开放式研究的工作台。 AI 联合数学家经过优化，可为数学工作流程, 的探索性和迭代现实提供整体支持，包括构思, 文献检索, 计算探索, 定理证明和理论构建。通过提供管理不确定性, 的异步, 有状态工作空间, 细化用户意图, 跟踪失败的假设, 并输出本机数学工件, 系统反映了人类协作工作流程。在早期测试, 中，人工智能联合数学家帮助研究人员解决开放问题, 确定新的研究方向, 并发现被忽视的文献参考。除了展示 AI 辅助数学发现, 的高度交互范例之外，AI 联合数学家还在难题解决基准, 上取得了最先进的结果，包括在 FrontierMath Tier 4, 上得分 48%，这是所有评估的 AI 系统中的新高分。
We introduce the AI co-mathematician, a workbench for mathematicians to interactively leverage AI agents to pursue open-ended research. The AI co-mathematician is optimized to provide holistic support for the exploratory and iterative reality of mathematical workflows, including ideation, literature search, computational exploration, theorem proving and theory building. By providing an asynchronous, stateful workspace that manages uncertainty, refines user intent, tracks failed hypotheses, and outputs native mathematical artifacts, the system mirrors human collaborative workflows. In early tests, the AI co-mathematician helped researchers solve open problems, identify new research directions, and uncover overlooked literature references. Besides demonstrating a highly interactive paradigm for AI-assisted mathematical discovery, the AI co-mathematician also achieves state of the art results on hard problem-solving benchmarks, including scoring 48% on FrontierMath Tier 4, a new high score among all AI systems evaluated.
科目:人工智能(cs.AI)
Subjects: Artificial Intelligence (cs.AI)