数学家联名信：OpenAI 威胁数学研究

当 AI 开始解决数学难题，人类数学家却感到了危机。一场关于智力主权的争论，正从学术圈蔓延至科技巨头。

事件爆发

2026 年 9 月 11 日，25 位菲尔兹奖得主联名签署公开信，指控 OpenAI 在数学问题解决竞赛中威胁人类智力工作。这封信直接导致 OpenAI 撤回对加州理工学院数学黑客马拉松活动的赞助。

信中指出，AI 解决方案缺乏同行评审，引发归因和抄袭问题。数学家们担心，当 AI 能够快速生成证明和解决方案时，人类的验证工作将变得边缘化。

争议升级

争议不仅仅来自公开信。数学家 Andreas Thom 在 9 月 10 日提出更尖锐的质疑：OpenAI 是否将其与 ChatGPT 的私密对话用于模型训练？

Thom 称，2019 年他与 Kun 合作的非索菲群论文被 OpenAI 模型直接构建。尽管 OpenAI 否认对话被直接访问，但未回应训练数据使用问题。Thom 指出，隐私设置无法保护未发表的数学研究成果，这在学术界引发了连锁反应。

历史背景

早在 2026 年 8 月，顶级数学家就在旧金山 OpenAI 总部召开关于 AI 数学研究的峰会。讨论的核心是人类数学家在 AI 超越人类时的角色定位。这次峰会为后续联名信事件提供了背景铺垫，反映出数学界对 AI 加速研究的深层焦虑。

技术进展与现实矛盾

OpenAI 的 Astra 模型在十个数学问题上取得进展，包括 Navier-Stokes 方程等千年难题的突破。官方声明称：AI 生成证明，人类负责准备论文并在 Lean 中形式化验证。

然而，这一声明无法完全排除用户交互数据对模型改进的贡献。正如 Wired 报道的 Navier-Stokes 争议，数学家 Tristan Buckmaster 指控 OpenAI 获知其未发表工作后加速研究。尽管 OpenAI 研究主管 Bubeck 否认看到任何未公开工作，但OpenAI 承认无法完全排除去标识化用户数据的贡献。

行业影响

事件的连锁反应已经显现。OpenAI 从 Caltech 数学黑客马拉松撤资，但 Anthropic 仍保持赞助。数学家称，事件将被视为AI 公司抢功的广告平台。原计划由本科生使用 AI 工具解决开放问题，现在只剩下 Anthropic 一家公司参与。

数学家们的核心诉求

根据公开信和媒体报道，数学家们的主要担忧集中在以下几点：

• AI 解决方案的验证流程缺失：缺乏同行评审机制
• 训练数据来源不透明：可能包含未发表的数学思想
• 学术成果被抢先解决：AI 抢在前面，人类失去研究价值
• 知识产权归属模糊：AI 生成内容的作者身份难以界定

行业应对

面对争议，OpenAI 研究主管 Dan Roberts 承认 AI 数学进展具有破坏性，但拒绝改变现有模式。Anthropic 则继续保持对学术活动的支持，试图在竞争中保持中立。

未来的可能性

这场争论的核心问题在于：AI 是否能真正理解数学的本质，还是仅仅在进行模式匹配？如果 AI 只是通过训练数据”偷学”未发表成果，那么学术界的知识产权体系将面临崩溃。

数学家们的担忧并非空穴来风。当 AI 能够快速解决千年难题时，人类数学家的工作价值将被重新定义。这场关于智力主权的争夺战，才刚刚开始。

**关键结论**：AI 数学研究的快速发展正在挑战传统学术体系的边界，人类数学家必须找到与 AI 共存的新模式，而不是被边缘化。

— END —
LC 智趣厅 · 科技与生活的交点
ihygg.cn