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

摘要

我们推出AI协同数学家平台——一个供数学家与AI智能体互动开展开放性研究的工作台。该系统针对数学研究探索性与迭代性的工作流特点进行优化，提供从概念生成、文献检索、计算探索到定理证明与理论构建的全流程支持。通过搭建异步有状态的工作空间，该系统能够管理不确定性、细化用户意图、追踪失败假设，并输出标准化的数学成果，从而模拟人类协作研究模式。在早期测试中，该平台已助力研究人员解决开放性问题、发现新研究方向并找到被忽视的文献线索。除了展示高度交互的AI辅助数学发现新范式外，该平台在复杂问题求解基准测试中亦取得突破性进展——在FrontierMath第四级测试中以48%的得分率创下所有AI系统的最高纪录。

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