AI协同数学家：以智能体AI加速数学研究进程

摘要

我们推出AI协数学家——一个供数学家互动式利用智能体进行开放性研究的操作平台。该系统经过优化，能为数学研究流程中探索性与迭代性的现实需求提供全方位支持，涵盖构思启发、文献检索、计算探索、定理证明及理论构建等环节。通过建立异步的、具状态感知的工作空间，该系统能够管理不确定性、细化用户意图、追踪失败假设，并输出原生数学成果，从而模拟人类协作研究模式。在早期测试中，AI协数学家已协助研究人员解决开放性问题、识别新研究方向，并发现被忽视的文献线索。除了展示高度交互式的人工智能辅助数学发现新范式，该系统还在高难度问题求解基准测试中取得突破性成果——在FrontierMath第四层级测试中获得48%的得分，创下当前所有人工智能系统的最高纪录。

English

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.

AI协同数学家：以智能体AI加速数学研究进程

AI Co-Mathematician: Accelerating Mathematicians with Agentic AI

摘要

Support