AI速通多项难题：人类还需要数学家吗？

美国卡内基梅隆大学数学系教授、数学教育家罗博深 图/南方人物周刊记者 梁辰

“妈妈，听说你这下惨了！听说机器人把你研究了一辈子的数学难题给解决了！啧啧啧！”2026年10月7日，计算机科学家斯科特·阿伦森在博文开篇，记录了自己的9岁儿子对妻子达娜·莫什科维茨的调侃。

阿伦森是美国德克萨斯大学奥斯汀分校的计算机科学教授，研究方向包括量子计算与计算复杂性理论。他的妻子莫什科维茨同样是一位知名的理论计算机科学家，长期研究概率可检验证明等领域。

就在前一天，OpenAI一次性公布了722篇数学研究手稿，并将相关成果归为372组。这些成果主要由一款尚未向公众发布的内部前沿模型生成。OpenAI表示，团队曾让该模型尝试解决约4000个开放研究问题，涵盖多个数学领域及理论计算机科学。其中一项成果声称解决了理论计算机科学中的重要开放问题——“唯一博弈猜想”，这也是莫什科维茨长期致力解决的问题之一。

10月7日，OpenAI宣布撤下其中三篇手稿。官方解释称，一篇手稿中的符号错误使其中一个论证失效，并影响了另外两篇依赖该论证的论文；另有14篇手稿得到修订。即便如此，对数学界来说，这次集中发布依然是动荡难安的一个月里承受的又一枚“核弹”。

OpenAI 公布的数学研究成果目录 图/资料图片

9月1日，一则将Anthropic对“受迫欧拉方程”的研究成果误传为“解决了纳维-斯托克斯方程”的消息，促使OpenAI团队启动相关研究。9月5日，OpenAI的AI智能体经过约88小时的协同工作，声称找到了“纳维-斯托克斯方程”的解法。9月6日，相关Lean形式化和验证工作完成。9月8日，OpenAI正式公布了这一成果。“纳维-斯托克斯方程”的存在性与光滑性问题，是克雷数学研究所于2000年公布的七个“千禧年大奖难题”之一，长期以来一直未获公认的解答。

如果说这样的终极难题距离许多数学家的日常研究还相当遥远，那么一个月后，数百篇数学研究手稿的集中公布，更像是一场波及数学领域的“无差别扫射”。

这种冲击不仅体现在成果的数量和覆盖范围上，也在于这些能力正以怎样的成本进入数学研究。在这次集中公布的数学成果中，OpenAI称，平均每项成果的计算消耗相当于ChatGPT Pro思考模式运行约3小时。

“数学末日”——阿伦森为自己的博文取了这一标题。

过去几年，AI已在化学、生物学等领域展现出改变基础研究方式的潜力。以AlphaFold为代表的工具，主要帮助该领域的科学家突破特定研究瓶颈，后续的实验验证、机制解释和新假设的提出，仍离不开研究者的参与。数学面临的变化更为直接：AI开始进入猜想提出、证明构造和验证等研究的核心环节，甚至成批生成数学研究成果，这颠覆的是数学家赖以开展研究的核心工作方式。

在这场釜底抽薪式的冲击下，一时“无题可证”的数学家们面临着一道更大、也更紧迫的证明题：当AI越来越多地介入数学研究，人类数学家的价值何在，数学将走向何方？

主张维护数学研究中人类主体地位的组织人类数学协会（Association for Human Mathematics，AHM）对OpenAI的做法提出了强烈批评，认为一次性释放七百多份文件，“不是学术研究能力的展示，而是权力的展示”，并呼吁数学家停止与OpenAI合作。

由九位知名数学家组成的独立咨询组织数学与人工智能咨询组（Advisory Group on Mathematics and Artificial Intelligence，AGMAI）则表示，公开发布只是第一步，人类对这些成果的理解和吸收才刚刚开始。该组织强调，数学研究的未来不能只是理解AI实验室产出的结果，数学家还必须能够自主提出问题、发展自己的研究方法，探索AI尚未选定的方向。公平获取强大的研究工具和充足的算力，是保障这种研究自由的必要条件。

2026年9月7日，在波兰