更新时间：2026 年 10 月 5 日 19:28 UTC
AI 攻克数学难题引发的种种风波
作者：Robert Hart
过去一年，OpenAI、Anthropic 以及其他实验室纷纷宣布在众多长期悬而未决的数学难题上取得突破，在某些情况下甚至远远超出研究人员在当前阶段对 AI 系统的预期——其中包括解决了著名的千禧年悬赏难题之一。然而，AI 实验室延续着典型的硅谷作风——边飞奔边破坏，像一台失控的推土机毫无优雅可言地横冲直撞闯入这一领域。原本理应被庆祝的成果反而引发了强烈反弹。AI 实验室方面表示，他们正在从以往的失误中吸取教训。这些承诺能否结出果实仍有待时间检验。
请继续阅读，了解 AI 接管数学领域最新进展的完整更新。
要点概览
-
9 月 28 日
Robert HartOpenAI 持续碾压数学家
在短短几个月的一片混乱之中，OpenAI 以惊人的稳定性展示了两件事：在数学领域取得令人瞩目的突破，然后在宣布这些成果时闹出巨大乌龙。如今 OpenAI 正试图做得更好。然而不知为何，它又把这事儿给搞砸了。
OpenAI 最近一次试图修复与数学界（它已反复疏远）之间破裂关系的举措，是咨询一个由顶尖数学家组成的新独立顾问小组。但接受 The Verge 采访的数学家们——包括该小组成员之一——描述了这次合作的混乱与令人费解之处，带有 OpenAI 此前仓促涉入数学领域时多次出现的问题特征，表明该公司几乎没有从错误中吸取教训。此外，该小组接到的首要任务也十分艰巨：协助协调发布 OpenAI 声称其尚未发布的模型所产出的数十项新成果。这一前景已经在研究人员中引发担忧，他们担心即将到来的突破浪潮可能对整个领域造成冲击。
阅读全文 > -
9 月 23 日
Robert HartOpenAI 希望向顶尖数学家咨询如何避免再次搞砸
在把一连串引人注目的数学成果变成一场声誉危机之后，OpenAI 开始向人类数学家求助，希望找到一条破坏性更小的前进道路。
周一，该公司宣布成立一个新的独立数学家小组，负责为其及其他 AI 公司与数学研究及更广泛数学界的互动提供建议，包括新成果的呈现与发布方式。该小组的突然成立令许多数学家措手不及。研究人员告诉 The Verge，这是一个良好的开端，但许多人表示，对于该小组究竟将做什么、拥有多大影响力、OpenAI 是否会真正听取其意见，他们仍心存基本疑问；同时也担忧，仅凭一小群知名研究人员能否代表更广泛的数学群体。
阅读全文 > -
9 月 12 日
Robert HartOpenAI 只想着赢
过去几年间，OpenAI 在难度日益攀升的数学领域四处插旗。本周，它声称摘取了最重磅的成果之一：解决了一道传说中的千禧年悬赏难题。在正常情况下，这本应被庆祝为一项历史性成就。
然而，许多数学家却带着日益加深的忧虑注视着 OpenAI 这股横冲直撞的势头。在他们看来，这家公司与其说像一个热情的后来者，不如说像一个资源雄厚到不可思议的闯入者，携带着丰厚资源猛然杀入他们穷尽一生研究的问题，几乎不尊重长期形成的规范，也不顾及被它抛下的人将面临的后果。这种不安的核心在于一种感觉：OpenAI 做数学的动机与数学家们截然不同。数学家想要推动学科前进，而 OpenAI 只想着赢。
阅读全文 > -
9 月 10 日
Robert Hart数学家要求 OpenAI 证明未使用他们的工作成果
又一位研究人员向 OpenAI 就其日益惊人的数学发现背后的数据来源提出质疑。就在一场围绕该公司模型是否得益于未公开工作的激烈争论爆发几天之后，第二位数学家公开站出来，指责这家 AI 巨头存在不道德和"不诚实"的行为，并批评其在训练数据来源上缺乏透明度。
在 Mastodon 上的一组帖子中，数学家 Andreas Thom 提出担忧：在 OpenAI 此前那次高调宣布成果之前，他和他的同事们与 ChatGPT 聊天机器人的交互可能促成了其在该领域的成功。OpenAI 上个月高调宣布的 10 项成果中，有一项涉及 Thom 的专业领域，即所谓非 sofic 群（non-sofic groups），OpenAI 也承认该成果在很大程度上建立在 Thom 与同事数学家 Gábor Kun 此前的成果之上。
阅读全文 > -
9 月 9 日
Robert HartOpenAI 这次悄无声息的数学突破让学术界感到寒意
*（
OpenAI 周二宣布已解决了数学界传奇的千禧年悬赏难题之一，本应是一个值得欢呼的时刻。这一成果既是一项无可否认的成就，也鲜明地展示了 AI 正在以多快的速度改变整个数学研究领域。但它也在数学界投下了寒意。