数学家心声：《数学蜕变》（The Mathemorphosis）by 史蒂文·海尔曼（Steven Heilman）2026-10-19
《数学蜕变》（The Mathemorphosis）
作者：史蒂文·M·海尔曼（Steven M. Heilman）
南加州大学数学RTPC助理教授，研究兴趣：概率、分析、几何、理论计算机科学。
日期：2026-10-19
九月最后几周，数学界流言四起：传闻 OpenAI 即将发布一百项数学领域突破性成果。其中一则传闻称唯一博弈猜想（Unique Games Conjecture）得到证明。（正是这些流言，促使一批顶尖研究者抢先发布了 ECCC 报告 TR26‑179 https://eccc.weizmann.ac.il/report/2026/179/ ，而这件事也被《量子杂志》做了专题报道。 https://www.quantamagazine.org/as-ai-closed-in-on-unique-games-proof-researchers-raced-to-beat-the-machines-20261007/ ）另一则传闻声称矩阵乘法的复杂度指数可以降到 2。
2026年10月6日，OpenAI 发布了这份成果总览文档 https://github.com/openai/math/blob/main/overview.pdf ，其中绝大多数都是长期困扰顶尖数学家的极难公开难题。确实，唯一博弈猜想得到了证明，但矩阵乘法指数仅被证明上界为 9/4，“指数等于 2” 的传闻并不属实。
目前尚不清楚 OpenAI 为何选择在这个时间点发布这批成果。10月5日，Anthropic 发布了一篇复杂度理论方向的重磅论文 https://arxiv.org/abs/2610.06783 ；或许 OpenAI 便选定次日发布自家成果。也有一种猜测：OpenAI 特意挑选这个时间，意在完全盖过 Anthropic 对外发布消息的风头。
九月，一批顶尖数学家成立了 AGMAI 组织（agmai.org如何理性看待Agmai.org成立标志着调停时代的到来——数学家们能守好门吗？（3个问题请教ChatGPT大人）），成立的唯一目的，就是针对坊间传闻 OpenAI 手握的一长串数学突破成果，向 OpenAI 给出行动建议。至于这些建议实际起到多大作用，目前不得而知。
对这些难题本身的几点观察
OpenAI 挑选的研究主题覆盖了数学与理论计算机科学的大量领域（但统计学、人工智能安全以及 “应用数学” 不在其列）。据一些同行所说，上述这些领域缺少重量级公开待解难题。OpenAI 挑选问题的标准，似乎仅仅是问题本身知名度高，或是该问题和知名学者有关。七大千禧年大奖难题中，除一道之外，其余全部取得重大进展。你可以访问citedbyagi.com网站看到：几乎所有菲尔兹奖得主的原有工作，都出现了可被 AI 成果取代的情况。
这向数学家传递出一个明确信号：向这股强大的力量低头。如果这还不属于数学界的 “李世石对战 AlphaGo” 时刻，我不知道什么才算。
我的核心要点
1. “某些领域天生更难” 的迷思正式被推翻
如果你在数学系待得足够久，就会形成一种印象：部分数学子领域声望更高，普遍被认为难度更大（比如代数几何）；另一些领域声望偏低，被认为难度更低（比如组合数学）。OpenAI 这批最新成果彻底击碎了这种看法，数学的各个分支同时取得巨大进展。更接近事实的说法或许是：高声望领域的入行门槛更高。换句话说，想要处理普通组合数学问题的难点，需要的前期知识储备，要少于处理普通代数几何问题。
即便如此，顶尖期刊对部分子领域的偏向性早已有文献佐证，可参考 arXiv:1001.0798 （https://arxiv.org/pdf/1001.0798 ）、DOI:10.1371/journal.pone.0165367 （https://doi.org/10.1371/journal.pone.0165367 ），以及 arXiv:2008.13244 （https://arxiv.org/abs/2008.13244 ）。
2. 所有作曲家，如今都沦为演奏者
我一直在寻找一个类比，用来形容 OpenAI 这次发布对数学从业者意味着什么。我认为下面这个比喻比较贴切：所有作曲家，现在都变成了演奏家。
解释如下：作曲家负责创作乐曲；演奏家演奏乐曲，但并不创作乐曲（现实中当然存在大量例外，这里为了类比，假设演奏家不进行创作。这里指西方古典音乐，这类体系并不鼓励即兴演奏）。演奏、解读音乐本身依旧是创造性工作，普通人也能分辨初学者、进阶学习者和专业演奏者的差距。但演奏音乐，和创作音乐，是两种完全不同的创造性活动。
OpenAI 的这批成果意味着：我们数学家，如今更多是演奏家（阅读、解读证明），而不再是作曲家（创造全新证明）。
对数学未来的一点提议
AI人工智能企业应当提出全新的数学猜想。既然我们已经无法阻止这片 “森林” 被推倒，那至少应该努力种下新的幼苗。
举个例子：OpenAI 可以公布一批有意思的猜想，并且声明自己不会去证明这些猜想。（不然 Anthropic 就会发布新闻稿，宣称自己解决了 OpenAI 做不出来的问题。）这样做会极大帮助数学共同体。
我们应当更加乐于分享、重视协作。如今证明定理这件事本身已经变得容易，那为何不去分享我们仅存的这点 “财富”？我们无力改变 AI 公司，但我们可以尽最大努力守护良好的数学科研文化。
参考资料
https://stevenheilman.substack.com/p/the-mathemorphosis
AGMAI关于OpenAI发布数学成果的声明2026-10-6
数学家心声：《无嗣之地的统治者：对AGMAI的一篇回应》Vladimir Lazić 2026-9-24
马丁·海尔澄清：我为何选择加入AGMAI 2026-9-22
如何理性看待Agmai.org成立标志着调停时代的到来——果然数学家们玩不过资本的把戏，中了AI大厂的缓兵之计！（3个问题请教豆包大人）
如何理性看待Agmai.org成立标志着调停时代的到来——数学家们能守好门吗？（3个问题请教ChatGPT大人）
如何理性看待Agmai.org成立标志着调停时代的到来——果然AI公司开始收编旧神，确立新序！（3个问题请教Gemini大人）
原标题：《数学家心声：《数学蜕变》（The Mathemorphosis）by 史蒂文·海尔曼（Steven Heilman）2026-10-19》