论文页面 - AI 共数学工作者：利用代理式 AI 加速数学家

来源：https://huggingface.co/papers/2605.06651 作者：

，

，

，

，

，

，

，

，

，

，

，

，

，

，

，

摘要

我们介绍了 AI 共数学工作者，这是一个供数学家交互式利用 AI 代理进行开放式研究的工作台。AI 共数学工作者针对数学工作流中探索性和迭代性的现实情况进行了优化，提供全面支持，包括构思、文献检索、计算探索、定理证明和理论构建。通过提供一个异步的、有状态的工作空间来管理不确定性、细化用户意图、跟踪失败的假设，并输出原生数学工件，该系统模拟了人类的协作工作流。在早期测试中，AI 共数学工作者帮助研究人员解决了未解决的问题，确定了新的研究方向，并发现了被忽视的文献引用。除了展示一种高度交互式的 AI 辅助数学发现范式外，AI 共数学工作者还在困难的问题解决基准上取得了最先进结果，包括在 FrontierMath Tier4 中获得 48% 的分数，这是所有评估 AI 系统中的新高分。

查看 arXiv 页面 (https://arxiv.org/abs/2605.06651) 查看 PDF (https://arxiv.org/pdf/2605.06651) 添加到收藏 (https://huggingface.co/login?next=%2Fpapers%2F2605.06651)

引用此论文的模型 0

没有链接到此论文的模型

在模型 README.md 中引用 arxiv.org/abs/2605.06651 以从此页面链接。

引用此论文的数据集 0

没有链接到此论文的数据集

在数据集 README.md 中引用 arxiv.org/abs/2605.06651 以从此页面链接。

引用此论文的 Space 0

没有链接到此论文的 Space

在 Space README.md 中引用 arxiv.org/abs/2605.06651 以从此页面链接。

包含此论文的收藏集 0

没有包含此论文的收藏集

将此论文添加到收藏集 (https://huggingface.co/new-collection) 以从此页面链接。