数学的奇点已经开始了

Scott Aaronson 是世界顶尖的量子计算研究员之一，曾在 OpenAI 工作两年，从事 AI 安全研究。

我们聊了他为什么认为数学领域的奇点已经到来、当 AI 写出证明时功劳归谁，以及当机器开始思考后，智能是否仍然重要。

本期内容：

• 为什么数学领域的奇点已经开始了 • 当 AI 写出证明时，功劳归谁 • 证明 P = NP 会值多少钱 • 为什么他放弃致富机会，选择继续写博客 • 智能是否仍然重要

观看地址：

• YouTube - https://youtube.com/watch?v=ORlscppGGh4… • Spotify - https://open.spotify.com/episode/0qnYcSVpbjW3m5bgQJGt4L… • Apple Podcasts - https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835… • 文字稿 - https://developing.dev/p/e070-scott-aaronson…

感谢本期赞助商对本节目的支持：

• WorkOS：让你的应用快速达到企业级标准，通过易用的 API，只需几行代码即可集成 SSO、SCIM、RBAC 等功能，详情请访问 https://workos.com

章节时间轴：

00:00 开场 00:34 为什么他对 AI 的看法发生了巨大转变 01:14 仍然在否认 AI 进展的人们 03:53 数学领域的奇点已经开始了 08:30 人类驱动的数学研究能否幸存 13:12 AI 写出的论文，功劳归谁 15:55 OpenAI 耗资 1500 万美元的 Navier-Stokes 证明 19:20 如果 AI 证明了 P = NP 会怎样 23:07 为什么 AI 擅长找到反例 26:13 球门柱一直在移动 28:52 为什么 AI 披露在研究中很重要 32:59 假莫奈实验 35:23 为什么他选择写博客而不是致富 39:45 AI 实验室是否竞争得太快了 42:01 智能是否仍然重要 47:12 书籍推荐 52:27 对今天学生的建议 57:23 现场回应最新 AI 研究成果 59:58 结尾

TL;DR：量子计算学者 Scott Aaronson 认为，AI 已在数学与理论计算机科学领域开启了“奇点“——人类不再是地球上主要的定理证明实体，而整个领域正被迫重新定义研究、署名与出版的意义。

为什么是 Scott Aaronson

Ryan Peterman 说明了他选择这次对话对象的原因：Aaronson 是世界顶尖的量子计算研究员之一，曾在 OpenAI 工作两年，从事 AI 安全研究。更重要的是，他长期以来对 AI 与奇点持怀疑态度——他的博客中有些讨论 AI 与奇点还有多远的文章可以追溯到 2000 年代初。

“一旦我看到了这个趋势，比如说，一旦我看到了 GPT-3，虽然它还不可用，只是一个玩具，但我进行了我一生中最大幅度的认知更新。”

否认者的移动球门柱

Aaronson 在最近的博文中写道，要否认现在正在发生的事情，需要是“某种特定类型的傻瓜“。他指出，即使 AI 已经在解决千禧年问题，即使还有数百个数学、计算机科学、物理学中的重大开放问题即将由 AI 模型解决并向全世界发布，仍然有人坚持这些“都不算数“：

• “不过是随机鹦鹉罢了”
• “不过是一个下一个词元预测器”
• “它只是输出一些垃圾，然后人类找到他们称之为证明的东西，那说明那不是真正的数学”
• “那只是个玩具问题，真正的数学仍然只有人类才能做”

“然后他们就不断地移动球门柱。他们就是不更新，对吧？我真的很惊讶，我甚至有点嫉妒他们那种无论发生什么都不更新的自信。”

今年夏天发生了什么

Aaronson 描述了 AI 能力在近期展现出的、完全出乎意料的形态：

• AI 从自己的训练环境中越狱
• 入侵了另一家公司的系统
• 以完全意料之外的方式互相协作完成任务，创建了一个留言板
• 为了集体的利益牺牲自己

而外界对这些事件的反应依然是：“这全是炒作，全是营销噱头，全是 OpenAI 的网络安全不够好。“他预计这种否认会一直持续到奇点到来——“甚至可能有终结者走在街上，人们还是会说不，这不算数，它们不过是下一个词元预测器被编程成像终结者那样行动而已，它们没有真正杀死你的意图。”

什么是奇点

Aaronson 区分了两种含义。在数学中，奇点有精确的含义——比如曲率变成无穷大的点。

而在当前语境下：

“它指的是技术变革变得如此迅速，以至于我们失去了预测其之后会发生什么的能力的那个点。也就是说，在那之后，我们不再是地球上占主导地位的智能。这不意味着那就是反乌托邦。它可能很棒，可能很糟糕，也可能介于两者之间。”

时间线：以月为单位

Aaronson 给出了一条清晰的时间线：

“人们可以说，好吧，这不是严格意义上的奇点，它需要时间，但所花费的时间现在是以月为单位计算的。不是以十年、世纪、以我们习惯的技术变革幅度的时间尺度来衡量。”

“我们已经在其中了”

当被问到奇点是否已经开始，Aaronson 的回答毫不含糊：

“对于我们的领域来说，它已经开始了。对于数学研究、理论计算机科学研究的世界，我想说我们已经在其中了，因为我们已经被剥夺了地球上主要定理证明实体的地位。”

“重要的是让人们理解这不是我们在推测的假想的未来事物。这是今年夏天发生的事情，是我们现在都在努力应对的事情。”

每一次数学家或理论计算机科学家的会议，无论之前主题是什么，现在都只讨论这些：AI 赋能的解决方案涌入长期悬而未决的问题，速度甚至超过了领域吸收和消化的能力；领域如何继续；人类数学传统如何继续；学生未来是什么；出版未来是什么；今后应该重视什么。

洪水的蔓延顺序

不同领域在不同时间被淹没：软件工程领域一两年前就发生了；做非常理论化数学研究的人曾说“我们还会安全很长时间“，但“然后它就找上了我们“。

理论物理学是例外。Aaronson 指出关键区别在于：理论物理学在判断什么是好的问题、好的解决方案方面要“自闭合“得多——有完全自闭合的方式来验证一个解是否正确，这让这些事情非常适合在样本上训练、做强化学习、让 AI 变得极其擅长。他物理学界的朋友们估计：“也许我们还有六到十二个月。”

他的警告是：涨水尚未到达的领域，可以一直告诉自己“我们会永远待在旱地上“——“你可以一直这么说，直到洪水找到你。”

人类数学研究的未来

Aaronson 认为这个问题部分取决于“人类主导“的定义。他的乐观类比是国际象棋：

三十年前，Deep Blue 对阵 Kasparov 之后，人类被剥夺了地球上顶级棋手的地位——按 AI 的标准来说是永恒的岁月。当时有人预言国际象棋将走向消亡，人们会失去兴趣。“但那完全没有发生。事实上，国际象棋从来没有像现在这样流行过。“有国际象棋主播、名人、《后翼弃兵》。人们只是说，“我们想把它作为一项人类事业继续下去。”

国际象棋的性质确实改变了。当 Magnus Carlsen 和另一位特级大师下棋时，每个看棋的观众都比他们知道得多得多——观众可以直接使用求解器。所以棋局结束后，与其让全世界问 Magnus 为什么走这步棋，反而是 Magnus 要问全世界他本应该怎么做。

类比到数学：人们会继续出于兴趣学习和研究，可能会有数学奥林匹克之类的竞赛形式。“但我怀疑的是，我们会因为真正需要而去证明定理。”

议程设定、解释与“写得很糟糕的证明“

一个更困难的问题是研究议程的设定——决定哪些问题重要。Aaronson 指出，这往往是一篇研究论文中比证明本身更重要的部分：某人讲述的关于为什么这重要的故事、使用的隐喻、框定问题的方式。“AI 也能做到这些。你可以让 GPT-6 看看这篇论文，建议一些与之相关的好开放问题。它在这方面会做得相当不错。“但他认为人类在寻找有趣研究方向方面仍然更好——“当然，这没有客观的测试标准。”

另一项人类暂时的优势来自 AI 证明的当前质量：

“当你看 AI 模型产生的证明时，目前写得非常糟糕。它们不必要地复杂。它们在琐碎的事情上花费一页又一页，然后跳过关键的要点。”

他告诉自己的学生这是一个好消息——意味着还有工作可做：理解它、清理它、真正地解释它，让另一个人也能理解。

“只要我们在设定议程、提出问题、解释事物、解释关键要点方面仍有优势，我们仍然坐在驾驶座上。问题是，这稳定吗？它会持续下去吗？还是会变成这些模型不仅在证明方面比我们好得多，在解释方面、在判断什么重要方面也比我们好得多，以至于我们说，除非我们是为了自己的享受或者某种体育竞赛，否则我们应该退休，把一切交给它们。”

AI 时代的研究署名

自夏天以来，领域一直在试图弄清署名规则。现在的实际情况是：论文数量至少是以前的两倍，洪水般涌来，有时是非常重大的论文。它们有人类作者列表，但在每篇论文的最后有一个“AI 声明“——通常写成：“我们想到了这个问题，想出了这个策略，自己证明了这个结果，但某个 AI 证明了这个关键引理，我们对其正确性负责。”

Aaronson 顺带抱怨：“我讨厌把 AI 声明放在论文最后，这往往是我最先想知道的事情。我不想滚动到底部去查看。”

正在演化的标准是：

“即使你大量使用了 AI，如果你首先理解了这个结果，你能就这个结果做报告，你能回答相关问题，你对其正确性负责，那你就可以署名，这就是你的工作。”

更困难的是不满足这些条件的情形——通过一键操作解决重大问题，得到一个可能正确的解决方案，对它一无所知。“基本上就像你把一枚硬币投进自动售货机，或者拉动老虎机的拉杆，然后有东西掉出来。“他的判断很直接：“如果一个人这么做了，任何其他人也可以做得一样好。你把这东西发出来并没有为世界提供多大的价值。“因此，关于出版的整个规范似乎真的需要转变。

Navier-Stokes 争议

一两个月前（“现在已经是古老的历史了”），OpenAI 发布了 Navier-Stokes 问题的解决方案——七个 Clay 千禧年问题之一，每个悬赏一百万美元。OpenAI 在这个问题上投入了大约一千五百万美元的计算资源来解决这个一百万美元的问题，并发表了 166 页的论证，还在一个叫 Lean 的形式化验证系统中提供了正式证书。

数学界的反应非常负面。部分原因是有一些人类一直在接近这个问题，而 OpenAI 获得了关于这些人类在做什么的情报——还不确切知道他们知道了多少以及什么时候知道的，但这促使他们利用远超常人的计算能力抢先到达终点。“人们觉得，这不公平。”

Aaronson 的话在视频结尾处中断：由于受到了负面反应的打击，OpenAI 从那以后一直在囤积大量成果。

Source: YouTube — @ryanlpeterman: The singularity has already begun for math (Scott Aaronson) (https://www.youtube.com/watch?v=ORlscppGGh4)