AI 攻陷数学证明，数学家为何感到被取代
来源Quanta查看原文
速览
- OpenAI 于 2026 年 9 月 8 日宣布解决一个著名数学难题，引发署名权和标准争议。
- AI 证明可被验证为真，但数学家无法理解其思路，缺乏「旅程」和上下文。
- 数学界的激励结构围绕证明定理建立，AI 使解题变易而理解仍难，系统面临崩溃。
- OpenAI 和 Anthropic 等公司直接与数学家竞争并挖角，OpenAI 保密 100 多项结果。
- arXiv 被 AI 生成证明淹没，已限制每月提交两篇；MathOverflow 活跃度骤降。
- 部分数学家停止在论文末尾发布开放猜想，担心被爬取训练 AI。
- Daniel Litt 提出悲观未来：50 年后不再有数学，无人从事，机器也不做。
- 乐观未来：数学家转向解释、理解和构建理论框架，AI 负责解题。
- 年轻数学家担忧下一代将失去经典数学训练，导致知识断层。
- Association for Human Mathematics 成立，推动政策建议和工具应对危机。
2026 年 9 月 8 日，OpenAI 宣布其模型解决了一个数学界最著名的难题，随即引发关于署名权和学术标准的争议。此前整个夏天，AI 模型每周都在给出数十年悬而未决的数学猜想的证明。Quanta 杂志记者走访了 UC Berkeley 的一场讲座，150 名学生、博士后和教授对数学家 Ken Ono 加入 AI 初创公司 Axiom Math 后的发言报以愤怒和沮丧。文章系统梳理了数学家群体的反应：Scott Aaronson 称人类数学家「永远被废黜」；多伦多大学 Daniel Litt 警告若不适应，50 年后可能不再有数学。核心矛盾在于，AI 能给出可验证为真的证明，却无法提供数学家真正看重的「理解」——证明过程难以阅读、缺乏上下文、不展示与其他结果的联系。与此同时，OpenAI 和 Anthropic 等公司正与数学家直接竞争并挖角，OpenAI 已宣布将 100 多项重要结果保密。arXiv 被 AI 辅助或生成的证明淹没，已限制作者每月最多提交两篇；MathOverflow 活跃度大幅下降。文章探讨了从悲观到乐观的多种未来，以及数学家正在组建的 Association for Human Mathematics 等应对行动。
关键事实
- 2026 年 9 月 8 日，OpenAI 宣布其模型解决了一个数学界最著名的难题，并立即引发关于署名权和标准的争议。
- 整个 2026 年夏天，AI 模型每周都在给出数十年悬而未决的数学猜想的证明。
- Scott Aaronson 在博客中写道：「人类数学家永远被废黜为地球上主要的定理证明实体。」
- Ken Ono 离开学术界加入 AI 初创公司 Axiom Math，在 UC Berkeley 的讲座原定 50 分钟，因大量提问延长至两个多小时。
- OpenAI 已宣布将 100 多项重要结果保密。
- arXiv 已开始限制作者每月最多提交两篇论文。
本站视角
这件事对中文数学研究者和更广泛的科研群体有直接冲击。国内高校数学系的研究生和青年教师同样面临「解题能力被 AI 替代」的焦虑，而国内学术评价体系对论文数量和定理证明的依赖可能比欧美更严重。如果 AI 证明继续涌入 arXiv 和期刊，国内以论文产出为导向的考核机制将首当其冲——评审人无法消化海量 AI 证明，真正有价值的原创工作可能被淹没。我们认为，这篇文章揭示的核心矛盾不是「AI 会不会做数学」，而是「数学界愿不愿意重新定义什么是有价值的工作」。OpenAI 保密 100 多项结果的做法值得警惕：这既是商业竞争策略，也可能造成数学知识的私有化，与数学界开放协作的传统直接冲突。需要观察的是，Association for Human Mathematics 这类组织能否提出可操作的替代评价方案，以及国内学术机构是否会跟进调整评价标准。原文的局限在于，它主要呈现了数学家的情绪和担忧，对 AI 证明的实际质量、可解释性改进速度缺乏具体数据支撑，部分判断（如「50 年后没有数学」）属于个人推测而非实证结论。
背景与影响
数学界长期以来将证明定理与理解证明视为一体。解决一个被公认为核心、重要且困难的问题，被视为深刻洞察力和创造力的体现。整个数学文化——从研究生训练、论文发表、求职到获得认可——都围绕解题建立。AI 模型的出现打破了这一平衡：它们能快速给出可验证的证明，但证明过程难以阅读，省略关键细节，堆砌无关概念，不展示与其他数学文献的联系。数学家知道证明为真，却不知道为何为真。这导致数学界出现悲伤、愤怒和恐惧的情绪。与此同时，AI 公司正与数学家直接竞争并挖角，OpenAI 和 Anthropic 等公司快速证明定理，却很少努力撰写清晰论文解释结果或提供上下文。OpenAI 已宣布将 100 多项重要结果保密，这进一步阻碍了开放科学。arXiv 被 AI 辅助或生成的证明淹没，迫使研究人员花费大量精力重写证明以便社区受益。MathOverflow 的活跃度大幅下降，因为学生私下向 AI 模型提问。部分数学家停止在论文末尾发布开放猜想，担心被爬取。这些变化正在重塑数学界的激励结构、出版流程和人才培养方式。
本文由 AI 辅助整理自公开信源，事实部分以原文为准；「本站视角」一节为编辑部判断，欢迎指正。版权归原作者所有，如有异议请联系我们。