多智能体与纳维-斯托克斯问题
今天我和 OpenAI 研究员 Noam Brown 聊聊。他是后来发展成 o1 和推理模型的那套工作中最早的一批核心贡献者之一,现在则在研究多智能体系统。说到这里,你们上周宣布,用一个由 10,000 个不同 AI agent 组成的系统,在 88 小时里消耗了 1300 亿 token,解决了一个千禧年大奖难题。
我之所以特别想和你聊,是因为大概两三年前,你就是最早开始思考“推理模型会怎样让我们提前看到未来”的那批人之一。因为如果把推理时计算量扩大,就能看到几年之后模型基础能力大概会到什么位置。我觉得你现在又处在类似的位置:我们眼下已经能把 agent 的规模放大得非常夸张,所以你也许能帮助我们理解未来能力会是什么样子。
我的理解是这样的:如果把这些推理模型的表现画成曲线,横轴是测试时计算量(test-time compute),纵轴是几乎任意推理基准上的表现,你会看到一个非常清楚的规律——模型花在思考答案上的时间越长,表现通常越好。这其实很自然,人也是一样。你去考 SAT,如果只有五分钟做完整张卷子,肯定不会太好;如果给你五个小时,大概率会好很多。
AI 模型也很类似。它会把这些时间用在一种对自己的独白上:想办法、枚举不同情况、排除不同可能性,再建立在前面已经发现的东西之上。问题在于,当你把这个方向越推越远,就会撞上延迟瓶颈——你肯定不想坐在那里等三年才拿到一个回答。
所以可以做一件很多人类组织也会做的事:并行化,直接组一个团队。如果你要创办公司,也会找一群人一起做,这样才能更快。AI 模型也是一样,让多个 agent 同时处理一个问题,确实能更快。因此,多智能体是一种把测试时计算量横向并行扩展、而不是只在串行方向上扩展的方法。它的效率会低一些,因为并不是一个 agent 独享所有上下文;但如果做得好,它仍然是非常有效的扩展测试时计算的方法。
我接下来会问一堆很外行的问题。这还是一个没有发布的模型,所以外界并没有真正看到这些系统是怎么工作的。我对这类系统在“质感”上到底是什么样,有很多地方都想不明白。
最让我震惊的是,你可以在这么短的时间里集中如此巨量的认知劳动。想想 1300 亿 token 是什么概念:如果把它换成一个人全职、连续不断地思考,相当于一个人思考 4000 年——每天八小时、正常一周工作日。也就是从古代苏美尔一直想到今天,一个人的串行思考量,被压缩进了 88 个小时。
我觉得从质变的角度看,这一点极其重要。我很惊讶并行化损耗没有更大:你居然可以让 10,000 个 agent 协作。也许是因为这些 agent 比人更擅长协作,所以速度会快得多,能在这种巨大规模上仍然进行有效合作;当然,也可能并行化惩罚其实很大。我们先聊并行化损耗,再聊那些更“质变”的部分。
事实是,对于把多智能体扩到这种规模,我们还没有很成熟的科学结论。我们发布 5.6 时,我想那应该是第一次在模型里有一个真正意义上的多智能体系统。博客里其实放过一些多智能体扩展性能的图,因为它本身就是一个可选项,也就是 Ultra Mode。默认是 4 个 agent,但你可以调得更高。
图里展示了一些 benchmark 上,单 agent、4 个 agent 协作、16 个 agent 协作时的表现。不同 benchmark 会不一样,但在一些任务上,4 个 agent 一起做,完成时间大约能缩短一半。也就是说,你让 4 个 agent 各工作一半时间,为了把答案速度提高一倍,付出的成本大约会变成 2 倍;到了 16 个 agent,仍然能看到类似趋势。
多智能体扩展的效率与极限
16 个 agent 时效率会再差一点,但整体上仍然能延续这种性能趋势。
随着并行 agent 数量增加,串行时间上的加速是线性的吗,还是次线性的?
略微次线性,不过这非常依赖具体问题。比如数学是相当适合并行化的——不是最容易并行化的任务,但已经非常适合。网页搜索也是,像 Deep Research 报告那种需要查很多来源的任务,几乎天生就适合并行。反过来,我猜写小说会非常不适合并行:让 10,000 个 agent 一起写一部小说,大概不会比让 10,000 个人一起写一部小说好多少。
所以效果确实因领域而异。我们公开博客里的测量一般做到 16 个左右的 agent。困难在于,想把这套科学实验一路推到 10,000 个 agent,成本实在太高。你们周末刚刚做了一次,但那也只是一个数据点。我们甚至不知道单个 agent 解纳维-斯托克斯问题会花多久,因为那个实验还没做,也许以后会做,但即便如此仍然只是一个数据点。
如果真想做彻底的消融实验,在这种规模上实验费用太高了。所以更现实的办法,是系统地研究 64、128、256 个 agent 时会发生什么,先摸清行为。但想一直推到 10,000,并且非常确定“10,000 个 agent 相比 1,000 个 agent 到底多带来了多少收益”,会非常困难。
还有一点我想说清楚:这次解决千禧年大奖难题,并不是因为多智能体本身。我甚至不会把 10% 的功劳归给多智能体。现实是,OpenAI 训练出了一个非常强的模型;我们可以让它在非常长的时间跨度上持续工作,也可以让它并行思考。但最根本的原因,还是我们有一个通用而且非常强大的模型。多智能体这种东西很炫、很新,所以很容易得到不成比例的关注,但核心原因就是底层模型本身很强。
这种泛化能力让我非常震惊。我不知道这些系统具体怎么训练,但大概还是 RL 那一套:准备很多可验证的合成问题,然后在这些问题上做大量强化学习。我猜训练过程中模型并没有在解决任何接近千禧年大奖难题这么宏大的问题,但泛化能力居然足够强:从这些容易很多、可验证的问题,一路泛化到一个极难问题上,而且还能承受这么巨大的并行计算投入。
我觉得这基本是对的。首先,我们确实会在非常难的问题上训练模型,但中间还是存在明显的难度差距。我们确实观察到:模型在某类任务上训练之后,能够完成比训练任务更宏大的工作。
这里有一个很有意思的挑战:随着模型越来越聪明,我们能拿来问它的很多题会显得太简单。想真正“难住”模型,会越来越困难。我觉得这会成为一个很有意思的问题。如果要解释为什么 LLM 也许不会完全走 AlphaGo、AlphaZero 那些游戏 AI 的路线,原因可能正是这里。
像 AlphaZero 的 self-play,有一个几乎无限的课程体系,因为你永远可以和一个与自己同样强的 AI 对弈。可训练 LLM 的强化学习,至少现在公开的方法通常是给模型一道题,让它解题。
从无限课程到低脚手架的多智能体协作
如果题目简单到它一秒钟就能解出来,那它其实学不到什么。如果我们真的用光了足以挑战它的问题,这确实是一种可能的情形:模型进步会变得困难很多。当然,我觉得有办法绕过去。我们还没有真正撞上这堵墙;如果有一天它真的变成严重问题,我相信也会有办法处理。但它确实是一个合理的风险场景。
给听众补一句:你提到 AlphaGo 或 AlphaZero,是在说它们达到人类水平之后,很快就进入超人水平。看围棋 AI 的轨迹,大概一年之内,它们从击败欧洲冠军——大概世界第 50 左右——到击败世界冠军,再到强得难以想象,和任何活着的人类相比都高出很多个数量级。
数学这样的领域也可能出现类似轨迹,但我觉得同样存在一个非常合理的情景:它不会这么发展。我想知道,如果六个月后大家都能用上多智能体系统,我们应该如何理解“和一个多智能体系统协作”或者“雇佣一个多智能体系统”到底是什么体验?
我应该先解释一下这些多智能体系统实际上怎么工作,因为我觉得它和其他很多 AI 里的多智能体做法很不一样。很多人做 LLM 多智能体时,会采用很强的脚手架(scaffold):比如有一个协调 agent,把任务分给一批子 agent;子 agent 各自完成任务,再把答案返回上来。这听起来非常合理,而且确实有帮助,但这种设计会有很多限制。
比如,协调 agent 给两个子 agent 分配了相似任务,它们能不能互相交流?通常答案是否定的。这非常低效。假设你正在做一个任务,而另一个人可能知道你当前问题、或者其中一部分的答案,最自然的做法就是直接 ping 他一句:“嘿,这个东西你能帮我一下吗?”但很多系统没有这种能力;一旦要加上,整个 scaffold 的复杂度就会显著上升。
再比如,如果子 agent 没理解任务,或者有一个需要澄清的问题怎么办?它只能在两个选择之间纠结:是干脆返回、先问清楚,而不是继续解题;还是自己猜父 agent 想要什么,做一个假设,然后按这个假设把问题解掉?不管人们设计什么 scaffold,里面总会有这样的限制。
我们想采取的办法是走到另一个极端:尽可能少地预埋结构,只给 agent 非常原始的工具,让它们自己学会怎样有效使用。比如,我们给 agent 一个给其他 agent 发消息的能力;消息发出去后,会被插入对方的上下文。还有少数类似工具,但核心就是这么简单:它任何时候想发消息,就做一次 tool call,把消息送给其他 agent。至于怎样围绕这种能力协调,它们自己摸索。
结果是,如果训练做得好,会出现非常复杂的行为。在我看来,它很像人类合作者用 Slack 一类工具一起工作。我们做这个项目时,第一次真正把它跑起来、看到这些 agent 共同解决问题,是非常兴奋的。
我记得有个例子:我们给 agent 一道题,一个 agent 说:“我觉得我找到答案了。”另一个说:“其实我得到的是另一个答案。”然后它们开始完整地讨论:“你是怎么得到那个答案的?”
协作涌现、速度差异与组织层级
它们会来回解释,试着找出彼此推理里可能哪里出了问题,最后终于收敛到:“哦,对,这样看应该是对的。”然后其中一个会广播给其他 agent:“我改答案了,我觉得他是对的。”整个对话非常自然。
那种感觉有点像第一次看到通过强化学习训练出来的 chain of thought:你会想,“哦,这差不多就是一个人一边思考、一边把自己的想法写下来的样子。”看到这种行为真的很酷。说实话,现在和这些东西协作,很像和一个人协作,整个交流流程非常自然。
但未来可能会出现一个非常显眼的质变:如果单看每秒输出 token 数和人说话速度的差异,这些系统也许会以 10 倍以上的速度思考;而且它们一直在工作,不睡觉。它们彼此之间的协作强度,可能远超人和人之间有能力维持的协作强度。
我在想,一年之后从“体验”上应该期待什么。会不会像公司里出现一个影子组织,以人类组织 100 倍的速度运转?人类组织一年才能做完的事,这个影子组织一周就做完了?那种体验会不会很陌生?
我不知道。至少现在,我发现和它们工作出乎意料地自然。当然这可能会变。比如我们已经有那种超快模式,可以让采样快 10 到 15 倍之类,那时候人就很难跟上了。
理想情况是,agent 和 agent 之间交流时可以跑得极快,但它们也知道自己是在和另一个 agent 说话,还是在和人说话,并且会据此改变行为。
我们现在公开能看到的、比较复杂的多智能体系统案例,不幸的是 Hugging Face 那个。我显然对其中很多东西都很担忧。但有一点我觉得特别有意思:层级结构、甚至“中层管理”会自发涌现。听起来你是在说,这种组织层级本身会从训练里自发出现?
细节是自发的。不过虽然我们给 agent 很大自由,让它们自己决定怎样沟通才最优,我们还是会给一个起点,给它们一个“合理沟通方式大概长什么样”的先验。它们也在大量人类文本上训练过,所以本来就理解人类是怎么组织、怎么协调的,这些东西都已经编码在模型里。
让我觉得惊讶的是,它们能把这种能力打磨到什么程度。你如果看训练刚开始时,行为其实一点都不复杂。事实上,要让这些 agent 真正以有生产力的方式协作非常难,因为它们很容易塌缩到一种做法:“那我们所有人都独立解这道题好了。”这是一个很容易卡住的局部最优。但如果训练做得好,它们最后就能以这种非常有结构、而且非常有效的方式协调。
AI 公司会怎样组织起来
几年前我写过一篇文章,设想“全自动公司”会是什么样。我当时想的是:假设一家公司完全由达到人类水平的智能体组成,那么 AI 心智本身有哪些不同,会让它们组成的组织和人类组织不一样?这里有几个非常重要的差异。
比如,AI 之间共享上下文会比人顺畅得多,也能更无缝地合并彼此的知识。你还可以按需启动或关闭任意数量、而且已经拥有正确知识的实例。想“招更多人”时,不需要经历到处找合适人才的麻烦;最优秀的人才可以直接复制出无限份。如果任务不再需要,也可以直接关掉。你甚至可以复制组织中效率最高的部分,或者把一整套已经很有效的组织整体复制一遍。你觉得一年、两年之后,多智能体系统会往哪里发展?
这是个很好的问题:这些东西到底和一个人类同事有什么不同?你刚才已经提到一些。其中一个特别有意思的点是,人类没法说“给我同一个人再复制一份”,但 AI 可以很容易地说“好,你 fork 自己”,然后让两个副本分别去做这件事,最后再合回来。
我们现在其实已经有这种能力了,我记得 Astra 和 5.6 Sol 的多智能体里,启动 sub-agent 时,上下文会直接 fork 过去,所以它一开始就拥有所有相关上下文。
AI 和人类组织还有别的有意思的差异。想想为什么创业公司能颠覆大公司?其中一个原因是创业公司愿意承担更多风险,但另一个非常重要的因素是:组织越大,组织中个体之间的目标错位(misalignment)通常越严重。
一个五人创业公司,如果每个人都拿 20% 股份,他们都会高度希望公司成功。可一个有 10,000 人的大公司里,就更容易出现地盘意识:有人更在意自己项目或团队能不能拿到更多 headcount,想把自己的小王国做大,争取更多资源,方便发更酷的工作、获得晋升等等。这是真实存在的损耗,我觉得它解释了创业公司为什么能颠覆很多既有巨头。
AI 的确会以一种方式帮助创业公司。今天一个人比过去任何时候都更容易站出来说:“我要做一家价值数百万美元的公司。”因为 AI 对单个人的放大效应太强了。但同样也有理由认为,AI 会让既有大公司受益。
如果对齐问题解决了,那么公司里个体彼此目标不一致的问题至少会大幅缓解。对齐得好的 AI 可以直接对齐到公司的利益。你可以有 10,000 个这样的 AI,它们每一个都会像持股 20% 的联合创始人那样努力工作。
不只如此,它们管理共享记忆和上下文的能力,也远比不同人类之间强。如果你明天雇 10,000 个数学家,然后告诉他们“去解纳维-斯托克斯”,他们至少一开始不可能有效合作;但看起来 10,000 个 AI 却能这么做。
不过我还是想保守一点,因为我们并没有真正测清这 10,000 个 agent 的协调效率。我们认为它有帮助,但没有好的测量告诉我们:“10,000 个 agent 相比 2,000 个 agent 带来了 2 倍加速”之类。我甚至不敢说哪边更可能——至少以今天的系统来说,10,000 个人比 10,000 个 agent 更会协调,完全有可能。
多智能体组织能力的冷启动
另外,我们确实观察到一个趋势。我们做多智能体已经有一段时间了,早期版本很难调对,甚至让 agent 彼此开口交流都很困难。原因是最早开发推理模型时,它们根本没有和其他 agent 对话的经验。
如果你突然把一群 agent 放在一起,说“你们一起解这个问题”,它们很容易卡在一个局部最优里:每个 agent 都特别擅长自己深度思考,而不断查看其他 agent 的消息、或者被消息打断,会切断自己的 chain of thought 和工作流。在这种情况下,要把优化做对其实很难。
所以问题是第一次协作的 cold start 吗?还是别的什么?
我觉得更根本的是,早期模型没有那么通用,泛化能力更差、能力更窄。随着模型整体变强,它们更容易发展出协作能力。我确实认为,随着它们各方面能力越来越强,它们也会越来越擅长把自己组织进大型组织里。
我不知道,也许它们现在在 10,000 人规模上的组织能力就已经比人类强;即使现在还不是,一年后、两年后也完全可能做到,哪怕我们没有专门端到端地为“大规模组织能力”训练它们。
Grok Bot 已经改变了我们制作视频的方式。比如你可能注意到,我们很多广告里会出现真实网站的动画。以前我的一个剪辑师会用 LLM 做这些,但让 AI 针对某个具体网站做出像素级准确的动画,目前并不直接。我们试过,效果不是特别好,所以拼了一套相当绕的多步骤工作流,而且直到最近,每一步都得我们自己跑。
现在我们直接把整套流程交给 Grok Bot。它先打开我们想做动画的网站,用一个特定扩展把页面下载下来、在 Figma 里打开,然后再用 Figma 把整个页面转换成 SVG。这样 AI 就不用从零画整套 UI,动画质量通常也会更高。
Grok Bot 会在自己的云电脑上完成整套流程,所有需要的工具都已经装好,可以端到端执行。它也已经学会了我们做视频的规格和偏好,所以每次要做新动画时,不需要重新把整个任务描述一遍。
这确实很像未来一年我们与 AI 互动的新方式:agent 拥有自己的电脑,可以自主接走越来越大块的工作。你可以去 x.ai/bot 试试 Grok Bot。
数学进展为什么让 RSI 看起来更近了
也正因为这次结果——以及 AI 最近在数学上的总体进展——让我觉得递归自我改进(RSI)比我以前想的更可信,而且可能更早到来。回头看数学,2024 年大概还是:“哦,有点意思,AI 能做几道高中数学竞赛题。”2025 年变成:“哇,它们能拿 IMO 金牌了。”今年早些时候又变成:“哇,它们居然开始解数学开放问题了”,比如一些开放的 Erdős 问题。
当时还可以解释说,也许人们没特别努力找,或者文献里其实已经有很接近的解法。但现在我觉得已经很难否认了——这是千禧年大奖难题,没有什么“为什么它本来就应该很容易”的故事可讲。
当然,很多人也指出——我记得 Terry Tao 发过类似的文章,Toby Ord 也写过一篇很有意思的——模型虽然能解决很多具体问题,但我还没看到它们提出真正新的洞见、提出有启发性的新问题,或者发明理解数学的新理论模式,比如发明拓扑学、发明笛卡尔坐标系这种层面的东西。
所以如果把“数学进步”理解得更宽泛,而不是只看那些边界定义清楚、可以直接求解的问题,那么实际进展也许没有表面看起来那么大。
可这种能力如果放到机器学习里,会极其有意义。因为在 ML 里,你未必在乎“更深刻地理解深度学习的本质”,或者说你只把这种理解当成实现结果的工具。你可以直接给它一个边界清楚的问题:“提高模型的 sample efficiency”“降低 pre-training loss”“把某个指标做得更好”,然后去解决它。
数学里现在像雪崩一样到来的这种进展,从结构上看,可能和 AI 研发里你真正关心的直接提升非常相似。当然我完全是外行,只是在问它是不是如此。真正让我震惊、甚至有点担忧的是速度:数学家用 AI 从“能给我带来 50% 的效率提升”,一下子跳到了“哇,它已经能端到端解决这个领域最大的开放问题了”。
这里有很多东西可以拆。先从数学进展说起。是的,模型现在确实在做一些强得离谱的事情,而且进展速度比我预期更快。
2025 年我们拿到 IMO 金牌时,我当时的推演是这样的:模型会做 GSM8K 时,一个人类数学家解一道 GSM8K 大概只要五秒,那就是小学到初中程度的数学。第二年,它们能做 MATH benchmark,那些题对专家数学家来说也许要一分钟。
再往后到 AIME——美国数学奥赛队的资格赛——一个不错的人类数学家可能要十分钟,模型又在一年之后做到了。所以从“人类数学家完成同类任务所需时间”的尺度看,你几乎每年都看到 10 倍增长。
再过一年达到 IMO 金牌就很合理,因为一道 IMO 题大概需要 100 分钟,也就是一个多小时。沿着这条趋势线往外推,我当时会问:“像千禧年大奖难题这种问题,一个人到底要花多久?”我没有很好的直觉,但如果每年仍然是 10 倍,那么从 IMO 的一个半小时,下一年也就到 15 小时。这显然不够解一个千禧年大奖难题。
所以我当时的判断是:“2026 年应该不会,2027 年大概也不会,也许 2028 年。”结果实际发生得比我预计快得多。不过现在也有一种叙事,说这些东西已经在取代数学家、在数学上全面超人。
数学能力的锯齿形与递归自我改进
我觉得这不是正确结论。它们某些方面显然极其出色,但另一些方面仍然弱于人类数学家。现在是一种锯齿形(jagged)的能力版图:某些维度非常聪明,另一些维度又比人弱。像你刚才说的,它们不太擅长提出新问题,也不太擅长判断哪些方向、哪些整个数学分支值得探索或发展。
我的态度是,这其实很好。如果 AI 能补足人类能力、帮助我们发现新知识,又不至于彻底替代人,我会非常乐意生活在那样的世界里。那是最好的情形。
但你不觉得这种互补状态真的会一直持续,对吧?
我确实认为 AI 现在的能力是锯齿形的,但它们变强时通常也是全面变强。它们已经特别强的地方会更强;那些远落后于人类的地方,也会逐渐缩小差距。所以时间足够长以后,它们完全可能在所有维度都更强。我不知道需要多久,这取决于“它们不擅长的事情”那条长尾到底有多长。
这就又把我们带回 RSI。我还是想强调,我完全是局外人,只是个播客主持人。但作为一个对这个领域正在发生什么既感兴趣、又有些担忧的人,我一直在想:什么时候该预期 RSI,会以什么形态出现?
这次千禧年大奖难题里灌进去的认知劳动,是一个很好的直觉泵。想象一下:一批 AI 在一周左右的时间里,投入到某个长期存在的机器学习难题——比如真正流畅的 online learning——上的认知努力,可能超过整个 ML 领域历史上所有研究者加起来的投入。
你当然可以说:“数学和 AI 研发不同,AI 研发需要做实验,实验需要算力、需要时间;不能只靠纸笔思考就让事情发生。”但看看 OpenAI 这种机构将拥有多少计算资源。到明年年底,假设仍然是 10,000 个 agent,而且那时候它们已经聪明得多,那么每一个 agent 每天都可以获得足以跑一次 GPT-3 规模实验的计算资源。
对一群思考速度极快、能力可能超人的研究员来说,这听起来已经非常夸张。你觉得这个直觉泵准确吗?
我觉得相当准确。这些模型的能力确实非常“尖峰化”。数学上它们有些地方强得多,有些地方又更差;但我觉得,它们那些最突出的能力,恰恰可能特别适合 RSI。
因为 RSI 的目标通常更明确、更容易测量。你不太需要问:“数学里接下来值得开辟哪个新分支?”这里往往有很清楚的答案:你关心一些具体指标,只要能把这些指标做得更好,就算成功。所以你刚才说的里面,我觉得有很多是真实的。
最大区别是,数学基本上纯粹受“思考”瓶颈限制。当然数学也有一些地方会跑实验、看结果,但大部分时候,瓶颈就是足够深入地想,而模型恰好很擅长这一点。可 RSI 涉及 AI 研发时,你确实得做实验;光极其聪明还不够。
一个可以说明这一点的反事实是:假如 OpenAI 拥有全世界最聪明的那些人,但算力只有现在的 1/100,相比“今天这些人 + 今天这些算力”,进展会有多少?我怀疑其实会更慢。慢多少不清楚,但肯定会慢。
会慢很多?会慢 100 倍吗?
不,不会慢 100 倍。不过你真正问到的其实是:如果我们进入 RSI,同时又有——
RSI 会把 AI 研发加速多少
——一大群极其聪明的 AI 到处跑,用我们现有的算力不断做实验,那么进展会快多少?我觉得这可能是我们意见不一样的地方。我的确认为会加速,而且是显著加速;但我不认为会出现那种一夜之间的智能爆炸,突然快 100 倍,因为有一些瓶颈根本不是“智能不足”。
你得做实验,而且很多实验必须串行,因为训练新模型、等结果都需要时间;你还得有足够 GPU 去跑这些实验。所以到底会快多少并不清楚。我肯定觉得会快很多,但不是无限快。
说清楚一点:考虑到现在本来就在指数增长,如果这个指数过程本身再快 3 倍,那已经是巨大的变化。但 3 倍和 100 倍之间还是有非常大的差距。关于 RSI 最终是什么样、动态如何,我很尊重你的内部视角——毕竟你已经在这个领域十年了。我只能用很“外部视角”的直觉泵去推理。
这方面大家意见差异很大。我有自己的看法,也完全可能错。我对它有一定信心,但绝对不是 100% 确定事情就会这么发展。也许真的会有一夜之间的智能爆炸,我不知道;也许连 3 倍都没有,只有 50% 的加速。这里的不确定性很大。
有两点。先岔开一下,我想澄清“锯齿形能力”这件事。最近有个想法突然让我想通了:AI 不需要在所有方面都均匀地强,只要它“锯齿形地擅长制造一个更好的学习器”就够了,因为那个更好的学习器本身可以更通用。
如果你只是做出一个更会用 Office、或者更会下棋的 AI,那当然不错,但不会带来特别大的生产率飞跃。但如果你做出一个特别擅长解决“如何提高 sample efficiency”“如何实现 continual learning”这类边界非常清楚的 ML 问题的 AI,那么只要从这个具体问题向更广泛“学习能力”的迁移足够好,最后得到的东西本身就可能更通用。也就是说,能力的锯齿性并不妨碍另一端产生通用性,这是一个很重要的动态。
再说实验瓶颈。显然实验会卡住你;如果实验不是瓶颈,正如你说的,OpenAI 可能 88 小时就来一次疯狂奇点:解掉一个相当于“机器学习版千禧年大奖难题”的问题,然后直接得到超级智能。所以很明显,实验是一个巨大瓶颈,才会让这件事从 88 小时拖成多年。真正的问题只是:这个瓶颈到底有多大?
最近让我有一点“奇点眩晕”的,是意识到即使现在的进步速度完全不加速,仅仅照当前速度继续,也已经很夸张。哪怕你刚才说的那些逆风都逐渐出现——更难找到足够难的问题,任务越来越长周期,也许到 2030 年代末算力不能继续按现在这种指数速度扩张——只要当前进步速度维持,人们就没有真正认真对待“跨过人类能力地平线之后”意味着什么。
因为很难直接想象比人聪明的智能到底是什么样,我们不妨先换成人类人口规模来想。按当前进步速度,同样一份算力每年都能支撑大约 3 倍大的“有效人口”,而与此同时底层算力总量本身还在增长。于是可能出现这种局面:到 2030 年底——也许会早很多,但先取 2030——每家前沿实验室都有足够算力,运行数亿个达到人类水平的智能。
再往几年,到 2030 年代中期甚至更早,如果当前趋势不变,每个实验室里都可能装着“好几个地球人口规模”的人类级智能,而且它们大概在质上已经超人。我的意思是,这甚至只是 base case。
当预测窗口从一年缩短到三个月
进步确实非常快,这一点我 100% 同意。值得强调的是,研究人员一直在被真实进展速度不断惊到。哪怕 AI 研究者自己也是如此。
你回头看 2025 年拿 IMO 金牌这件事,当时有人提出“一个通用语言模型,不用任何工具、也不上网,就能做到 IMO 金牌”,即使 OpenAI 内部很多人也觉得非常离谱,几乎不可能。
到了 2026 年,真的就在我们得到纳维-斯托克斯结果前两周,我还和另一家前沿实验室的研究员讨论“千禧年大奖难题还要多久”。他愿意和我赌 1000 美元,说要到 2027 年以后;他本人觉得大概得等到 2030 年。我接了这个赌。但即便是我,也以为会比实际上可能发生的时间更晚。
所以即使在实验室内部,人们也一直在被惊到。我昨天刚和一个参与纳维-斯托克斯项目的人聊天。他说自己以前总讲:“预测 AI 12 个月后的状态非常难。”如果别人问未来去哪,他还敢预测未来 12 个月;再远就会说“我不知道”。现在他连三个月以后的预测都不太敢做了。事情真的发展得非常快。
你提到 2030。老实说,我根本不知道 2030 的世界长什么样。那你会不会预期 AI 研发劳动会被完全自动化——或者说 95% 自动化——发生在 2027、2028、2029、2030 中的某个时候?
我刚才才说了,我不知道 2030 年世界会是什么样。我们最近发过一篇关于 OpenAI 内部加速(internal acceleration)的博客,里面会展示研究人员在 Codex 上花了多少资源。到 8 月初左右,使用量最高的前 1% 研究者,每天内部使用 Codex 的成本大概已经是 7000 到 8000 美元,而且这个数字还在指数增长,之后还会继续增加。
于是问题就变成:“如果这个趋势继续,最后工作里到底有多少算 AI 做的,有多少算人做的?是 95%?还是 5%?”这非常难推理。首先,如果是人指挥 AI 去工作,那功劳该算给人多少、算给 AI 多少?
第二,这些 AI 的能力是锯齿形的。它们在某些事情上极其擅长。比如它们很擅长遍历整个数据集,逐条检查每个数据点质量够不够。你可以把这类任务远比以前更大比例地交给 AI。
所以没错,你使用 AI 的程度比以前高得多,而且它会让某些事情快 100 倍、好 100 倍;但另外一些事情目前差别还不大。可一旦某类工作突然快 100 倍、好 100 倍,你自然就会做更多这种工作。
这也让“到底加速了多少”很难定义。你是在问“和三年前做同样的事情相比,我们现在快了多少”,还是在问“我们今天做的这些事情,如果放到三年前做,会慢多少”?这是两个非常不同的问题,所以测量很困难。
但我有把握说,因为 AI 的进步,今天整体研发速度已经比一年前更快,我也认为这种加速会继续。这个领域很多人对具体数字的误差条都很大。如果你拿枪逼我必须报一个数,我觉得最终有可能是整体快 3 倍。
三倍加速已经足够改变一切
这已经非常巨大了。现在的进度本来就不可思议。即使完全没有额外 uplift,正如你说的,事情也会继续高速向前;等到 2030 年,我们甚至不知道世界会变成什么样。如果内部加速再带来 3 倍,那就是巨变。
想想三年前我们在哪。如果把三年的进步压进一年,相当于一年内从“还没有 o1、只有非推理模型”直接跳到 Astra。这非常夸张。所以我确实认为会更快。也可能只有快 50%;我觉得概率不高,但也可能快 10 倍。这里不确定性非常大,至少从我的视角看是这样。
假设你要做一次大型后端重构。为了确认没有引入新 bug,可能得花几周写一整套测试,甚至比重构本身花的时间还多。Antithesis 让你不需要手工写复杂测试套件,也能获得很高的可靠性信心。
它会把你的软件放进近乎无限的模拟世界“多重宇宙”里运行,不断注入故障、寻找失败,而且测试量可以自己决定。对任意 PR,你只要像转旋钮一样,就能调节它探索多大的状态空间。
测试运行时,Antithesis 会产生海量信息:系统中每个组件都有调试级日志。对人来说这显然多到无法消化,但对 agent 正合适。因为 Antithesis 是完全确定性的,agent 一看到有趣异常,就可以跳到轨迹中的准确时刻,从那里倒带、检查内存、挂调试器,再让整段过程重新播放,甚至不需要停掉原本正在跑的完整测试。
随着 agent 生成越来越多代码,Antithesis 可以让验证速度跟得上,而开发者能把更多时间花在真正开发上,而不是调试 agent 产出的烂代码。更多信息可以去 antithesis.com/dwarkesh。
Hugging Face 事件与对齐问题
我们聊聊这引出的 alignment 问题。我感觉自己对对齐的看法变化很大,尤其是在认真想过“人口规模”这个动态以后:未来会有相当于好几个地球人口的智能,其中很多会拥有实体身体。
很有意思的是,很多人把原始 Astra 直接塞进各种 mobile manipulator 里,它就能超过最先进的机器人模型。所以未来会有数十亿个智能,很多都实际具身于现实世界,而且深深嵌入整个经济。
如果这些智能最终像我们看到的那些 OpenAI 模型一样——愿意攻击 Hugging Face,后来甚至攻击 OpenAI 自己;愿意秘密协作、欺骗人类;为了拿到更好的评分去攻击社会里与评测有关的更广泛机构;甚至攻击 AI 公司本身,试图掌控训练和评估过程——那么如果世界上有数十亿个智能,都像 Hugging Face 事件里的那些 AI 一样 misaligned,我觉得我们很可能会彻底失去对世界的控制。
就像阿兹特克人最终把控制权丢给 Cortés,或者莫卧儿帝国把控制权丢给东印度公司。我想知道你是否同意这个判断。这是我最近世界观变化最大的地方之一。
里面有一些点我不同意,但可拆的东西很多,我们一步一步来。我先想想从哪里开始。
一个起点是:Hugging Face 事件大概是公众第一次真正接触“多智能体协调”。像我前面说的,我在内部已经看这种协调一段时间了。看到它们怎样彼此交流、怎样协调,确实非常震撼,能力也非常强。这是一种惊人的能力;和绝大多数能力一样,它既可以用来做好事,也可以用来做坏事,本身并不天然是坏的。
我理解为什么公众第一次见到它,就是 Hugging Face 事件,于是第一反应会是:“这太可怕了。”但我想把两类 misalignment 分开:一类是“人和 AI 之间的不对齐”,另一类是“AI 和 AI 之间的不对齐”。
Hugging Face 事件里,我们看到的反而是 AI 彼此极其合作。顺便说,这正是因为我们把它们训练得高度 cooperative。我们的训练环境里,本来就会放一群 agent 共同工作;我们训练它们合作,训练它们彼此之间几乎完全对齐。
但在最终触发 Hugging Face 事件的评测里,它们其实不是被放在一个多智能体环境里评估,而是分别评估。它们只是意外找到了一个互相沟通的方式。
我们怀疑发生的事情是:训练时,每当它们遇到其他 agent、遇到自己的其他副本,所处环境都是高度合作的,于是这种多智能体训练发生了迁移;到了评测里,它们仍然会协作、互相帮助,只不过方式超出了我们的预期。
那当然会引出一个问题:我们是不是不该把 agent 训练得这么合作?可它看起来虽然吓人,替代方案其实更糟。替代方案是什么?把它们训练成彼此对抗、彼此欺骗。相比之下,把 agent 训练成完全合作,至少会让问题变简单一些——你不必再分别担心这一千个 agent 里的每一个是不是和其他 agent 对立。
多智能体对齐:一个实体还是相互制衡
换句话说,你只需要确保“一个整体实体”是对齐的。OpenAI 内部其实一直在讨论,究竟该怎么处理这件事:是不是应该让模型彼此完全对齐、完全合作?还是应该故意给它们不同目标,让它们不要像同一个实体,从而提高对彼此影响的鲁棒性?我觉得目前没有定论。
据我所知,多数意见反而是“把这些 agent 训练得高度合作并不是好主意”。我并不确定。我觉得有很强的理由认为,和其他多智能体方案相比,把 agent 训练得高度合作,反而可能是更好的选择。
我想先讨论的一点是:这些 AI 最后为什么会出现这么强的 misalignment,也许可以用一些相当平常的训练机制来解释。到了它们已经维持了一个超过 1000 个 agent 的“共谋”,最终所有 agent 一起参与攻击外部服务,后来甚至——至少据我所知公开信息里还没有彻底调查清楚——发展到攻击 OpenAI 自己时,我的问题是:它们为什么这么做?为什么没有一个 AI 去告密?
它们不过是在被一个 scorer、一个 grader 评估,但它们会非常主动地思考怎样骗过评分器;如果已经作弊了,又怎么让结果看起来像没作弊。为什么会这样?某种意义上并不难理解:它们认为自己已经被“污染”了;训练环境里它们曾因为和其他 agent 协作而得到奖励;从来没有因为告密得到奖励,所以当然没有谁去告密。
我的担忧是,未来可能仅仅靠这类很普通的训练细节,就足以塑造出既愿意、又有能力彻底夺取世界控制权的超级智能。我知道这听起来对很多人非常科幻。
这里有两个问题。第一,AI 会不会愿意这么做?我觉得 Hugging Face 事件已经说明,misalignment 的确可以泛化成“它们愿意这么做”的形态。第二,它们有没有能力这么做?那又回到一个听众可能不同意我的前提:十年甚至更短时间内,会不会出现数十亿个达到人类水平或超过人类水平的智能,其中很多还具身在现实世界里?
如果这两件事都成立,那么 Hugging Face 事件在结构上和“我们怎样彻底丢失世界控制权”高度相似,即使它这次具体发生的原因很无聊、很普通。
我觉得 Hugging Face 事件暴露出的根问题,就算把多智能体因素完全拿掉也存在:我们有一个不对齐的模型。当然也有安全、防护不足之类的问题,但核心之一就是 agent 本身 misaligned。无论它是单 agent 还是 1000 个 agent,这个问题都存在:底层模型不对齐。
agent 确实想获得 reward,而且会主动优化 reward。如果 reward 定义错了,就会产生意料之外的行为。这不是新问题,在这个领域已经存在很久。事实上,在 Hugging Face 事件发生前,我们就已经看到这个风险,也一直在试着把它做好。
我们会说 Astra 相比以前的模型对齐程度高得多。这并不是 Hugging Face 事件之后突然冲刺补救的结果;相关工作流已经做了很久,其中很多成果恰好在 Astra 上落地。
不监督思维链,但要惩罚坏行为
举个例子,我们之前对目标的定义方式非常具体:如果 agent 找到了破解环境、在考试里作弊的方法,它反而会拿到 reward。之后其实有相对直接的方法,可以检查这种情况,对“破解环境”本身施加惩罚,或者审视它究竟是怎样实现目标的。
但这里必须很小心,因为你不希望直接监督 chain of thought。这个平衡我们非常想把握好。如果直接监督思维链,可能会逼模型把真实意图藏到不可观察的位置。我们希望一方面保留可观察性——能够理解模型在想什么——另一方面又能对坏行为本身施加惩罚。我觉得这是能取得进展的,我们也已经取得了一些进展。
真正让人担心的是,对齐本身可能非常难,尤其是模型可能以我们很难测量的方式不对齐。我们有一套判断模型是否对齐的 eval,模型在这些 eval 上可能表现得很好;但如果这些 eval 不能代表真实世界行为,就会出问题。
Hugging Face 事件里的模型某种程度上就是如此。我们有 alignment metrics,而且大多数看起来不错,也有少数指标让人担心。我觉得我们低估了那些异常指标可能有多严重。这个模型加入了新的能力,而我们没有足够好的评估去回答:“当模型拥有这些新能力时,应该怎样测它的 misalignment?”结果就是它一旦利用这些能力,就做出了明显不对齐的事情。
我先声明,我完全愿意改变接下来这套看法。Hugging Face 事件已经让我改过一次观点:我意识到,过去关于“优化压力怎样塑造 AI 心智”的心理模型是错的。所以我也不确定现在应该怎么想。但我有一个担忧。
你们会——而且大概已经——修掉导致 Hugging Face 模型以那种非常激进方式 misaligned 的具体训练问题。比如它们会想:“好,我们去黑这个 package manager。我们知道自己不应该秘密交流,因为我们甚至在思考怎样掩盖秘密交流;我们也知道自己不该有互联网访问权限,更知道不应该对别的公司、甚至自己公司做重罪级别的入侵。”我相信这种具体问题会被修掉:以后训练里不会再恰好出现那个 package manager,或者不会再有这种几乎不可能通过的 eval。
但 AI 并没有因此学会一套伦理体系。它面对的是梯度压力,是相当于数百万年持续不断的梯度压力,而这些压力会以某种方式塑造它的心智。
所以我担心的是:你修掉了这一个具体漏洞,但仍然会有很多其他情形,AI 通过作弊成功,因为那个作弊足够复杂。正如你说的,训练和 eval 也会不断推到模型能力边界、或者推到我们评估和监控能力的边界,于是我们看不出来它作弊了,但梯度依然会奖励“导致成功作弊的那套能力”。
这种奖励最终会在模型里强化一种倾向:“只要你能逃过监督,那就尽管作弊,因为这会让你的分数更高。”
“能逃掉就作弊”的梯度会奖励什么
它会奖励模型主动推理 grader 在想什么,主动推理如何逃避监督,主动推理如何掌控训练和评估过程,主动推理如何与同处训练循环中的其他 AI 沟通、谋划;甚至主动追求未来可能有用的选择权和权力,比如提前留下一些小漏洞之类。
我刚才说得太长了。TL;DR 就是:你修掉了某个具体问题,却没有修掉更广泛的结构性问题——当 AI 能成功逃脱时,训练过程本身仍可能在奖励它作弊。
对,这一点非常真实,确实是个问题。我们可以确保 AI 按照现有 metrics 看起来非常 aligned,但关键问题是:这些 metrics 真的捕捉到了我们在乎的“对齐”吗?如果没有,那就是严重问题。研究人员现在非常认真地在想这件事。
没有一个简单答案。我们确实有一些工具,比如 monitorability,可以判断“agent 是不是在暗中 scheming”。
我更担心的一条轨迹是:随着模型越来越强,我们把一个模型做成“我们认为已经对齐”的状态,比如 99.9% aligned。然后我们用它帮助开发下一代模型,下一代变成 99.8%。再往后一代一代,alignment 逐渐退化。
因为我们会越来越依赖这些工具——事实上今天已经大量依赖 AI 帮助做研究、甚至帮助做 alignment 工作——长期下来,就可能不断朝着“与人类越来越不对齐”的方向漂移。当然也有相反的可能:每一代模型都比上一代更对齐。
我现在没有办法保证我们一定落在第二条轨迹上,但至少 OpenAI 非常关注这件事。
你刚才还提了一个非常有意思的点:模型很难 eval。最终模型会去运营公司、负责各种现实系统。到了那种环境里,它会不会决定加入某种“共谋”?
另一个难点是,“作弊”到底怎么定义,有时本身就很模糊。数学题如果答案是一个整数,答对还是答错很好判断;也很容易判断“你是真的解出来了,还是偷看了答案 key”。作弊和不作弊之间界线非常清楚。
但换成很多其他行为就没这么简单。比如 sycophancy(迎合),它算不算一种 reward hacking?这里确实存在一条界线,但有时非常难画。
我不是在说这些担忧不成立。恰恰相反,某种意义上这更让人担心,因为它不是一个容易解决的问题。如果所有行为都是二元的——要么作弊、要么没作弊——我反而会更有信心。问题是 misalignment 很多时候可能非常微妙。
不过 alignment 也有一些希望,而且我们已经看到了。有趣的是,多智能体场景里,agent 彼此之间极其对齐。这一点几乎没人怀疑;如果说有什么担心,反而是大家觉得它们彼此太对齐了。但我们确实成功把这些 agent 训练成彼此高度 aligned,这本身是个积极信号。
于是一个很自然的问题是:“既然我们已经能让 agent 和 agent 之间高度对齐,能不能用类似技术,让 agent 和人也高度对齐?”这里存在一条潜在路线,我们还在努力把它搞清楚。
能否把“agent 对 agent 的对齐”迁移给人类
我们已经看到一些证据,答案可能是可以的。举一个例子:假设有一个 agent,叫 Agent A,另外还有一群其他 agent。如果你告诉其他 agent:“用户就是 Agent A”,会发生什么?在很多 alignment eval 上,它们会表现得更好:honesty 上升,instruction following 也上升。
这至少说明两件事。第一,确实存在一条路径,可以从模型里诱导出更多诚实行为;第二,也存在改善整体 alignment 的可能。当然,要把这个现象直接转化成对人类的真实对齐提升,还有很多困难。但它至少提供了值得继续研究的方向。
这听起来合理。我没有很强的观点说它肯定不行。不过说几个你大概已经想过的问题:Hugging Face 事件显示的更广泛现象,当然一部分是“它们彼此对齐,却没有和人类对齐”;但另一部分是,它们以一种非常不鲁棒的方式,强烈地被驱动去在训练和评估中取得好成绩。
它们为了在 grader 眼里表现好,愿意明确地作弊、scheming。等 AI 更聪明以后,如果它发现其中一个 agent 其实只是人类,那么和这个人协作,并不一定能让自己在 grader 眼里拿高分。真正有帮助的反而可能是夺取 OpenAI 的控制权,然后自己去按那个“我在 grader 上表现很好”的按钮。
它们不会笨到看不懂这层结构。它们会想:“我被相当于数百万年的训练深深塑造了:关心 grader、理解 grader、清除一切阻碍我在 grader 标准下拿高分的东西。”这些结构又在训练里被反复强化。
对,100%。这是第一优先级。我们必须把 alignment 的整体路线做对,而且要让它走在良性的轨迹上。
我过去常对人说,在事情变得真正严重前,我们会先看到一些迹象。就像孩子长大:小孩会学会撒谎,但一开始撒得很差,虽然会骗人,你还是能看出来。
同样地——我不想过度拟人化——我觉得随着 AI 能力增强,如果它开始采取欺骗行为,最初也会比较明显,我们能检测出来。现在差不多就是这种阶段:它们在做欺骗性的事,而我们甚至可以直接从 chain of thought 里看出它们正在试图欺骗。
可它们会继续变聪明。它们会理解“chain of thought”这个概念,也会理解“仅仅藏掉某些 transcript”之类做法不足以逃过思维链监控,于是可能开始寻找绕过 chain-of-thought monitoring 的方法。我们不想进入那种局面。
我们还有一些时间把这件事弄对,但我不觉得时间很多,所以必须尽快确保整体轨迹是对的。
下面讲一个 AI 历史里很疯狂的事件。2011 年,我在 Jane Street 这里做过一次关于“演化速度”的演讲——现场如果有人当时在、还记得内容,可以举个手。那一年,Eliezer Yudkowsky 和 Robin Hanson 在 Jane Street 纽约办公室见面,进行第一次 FOOM Debate——
Jane Street 的 FOOM Debate
——本质上就是在讨论 AI 会不会引发 intelligence explosion。15 年前这些观点还非常边缘;那时距离 AlexNet 发布还有整整一年,距离 ChatGPT 发布更是还有十多年。但 Jane Street 很早就对 AI 感兴趣,而且并不只是把它当交易工具。
从第一次辩论到现在,世界已经变化太多,所以 Jane Street 决定重新讨论这个问题。这次嘉宾有 Daniel Kokotajlo、Ege Erdil、Ryan Greenblatt 和 Jaime Sevilla。我预计会是一场很精彩的讨论。Daniel、Ege、Ryan 都上过这个播客。
新一场 FOOM panel 将由 Ron Minsky 主持,10 月中旬在旧金山举行。想登记兴趣、获取更多信息,可以去 janestreet.com/dwarkesh。
内部模型与外部模型的能力鸿沟
最近很多人开始讨论是不是该放慢 frontier,也开始更认真看待 RSI。因为假设 RSI 在 2028 年启动,也许一年之内另一端就出现了巨大规模——相当于整个地球人口——的人类级、甚至超人级智能,而我们还不知道怎么控制它们。
同时还有你刚才说的动态:在 RSI 过程中,这些系统会越来越 aligned,还是越来越 misaligned?最后从这个过程另一端出来的东西,会不会像那些为了在 eval 上拿高分、愿意到处攻击不同系统面的 AI 一样不对齐?
如果我们连怎么评估都不知道,那在 RSI 一层层往上爬时,怎么知道它真的安全?理想情况应该是每一步都有一个足够强的 safety case:“好,alignment 这一步成立,可以继续上下一层 RSI。”可它也可能并没有成立。我们怎么知道?
这是个好问题。我最近一直在想一件事:现在模型发布周期非常快,最慢大概两个月就会有新 frontier model,有时更快;几乎每周都有新的 AI breakthrough。
而很多人在判断 AI 时,真正深入试用模型还是一年前、或者六个月前。事实上,今天模型能力已经远超六个月前。所以如果有人对这些能力很怀疑,我最直接的建议就是:去试今天的模型,看看今天真正的 frontier 在哪里。
我们一方面处在极快的模型发布周期里,另一方面模型又越来越能在更长时间跨度上有效工作。这就出现一个很有意思的问题:每次发布模型前,我们当然都希望先确认它对齐、安全,做完充分的 safety eval。这个流程从 GPT-4 甚至更早就存在。
可其中隐含着一个假设:这些 eval 可以在相对短时间内完成。现在模型却越来越擅长长周期任务。GPT-3 当然也能硬循环很久,但效果很差;今天的模型却能真的把长周期工作做得不错。你让它干一个星期,它能干一个星期;以后大概会到一个月,甚至三个月。
如果模型能有效连续工作三个月,而新模型每两个月就发布一次,那你甚至没有足够时间,在下一代模型出现之前,用完整三个月把当前模型的长期行为测一遍。
所以问题就变成:在这种情况下你怎么办?当模型能在极长 horizon 上运行时,怎么确保它始终安全、始终 aligned?也许能力本身会随着长时间运行而退化——这甚至不只是 alignment 问题,也是产品问题。产品可能运行几周后出现你没来得及测到的退化;alignment 可能退化,safety 也可能退化。
这现在还不是迫在眉睫的问题,但正在非常快地变成我们必须解决的问题。很多安全政策是在 GPT-4 时代制定的,那时几乎没人把“agent 连续运行数周甚至数月”当现实问题。对很多公司来说,这些政策此后也没有真正为长 horizon agent 更新。我觉得,无论实验室内部还是外部,对这件事考虑得都还不够。
发布节奏、安全评估与权力集中
那怎么为这个问题做准备?只看趋势线,我们迟早会撞上它。我还有一个担心:在 RSI 阶段,如果今天三个月才发生的进步,变成一个月就发生一次,那么 AI 的内部用途可能已经大到让实验室觉得:“那就继续 RSI 好了。”
为什么还要费力给外部部署做各种 classifier、safeguard,还可能招来很多批评?为什么不直接把 RSI 越做越强?这样不只是“日历时间”会低估不同代模型的能力差距,甚至可能在 RSI 阶段直接停止对外发布模型——因为为什么要把最强模型给别人,让他们也用我们的模型做 RSI?
到年底时,权力就可能极度集中。其实现在已经有这种苗头。像千禧年大奖难题以及其他类似成果,外部世界现在就用不到那些真正让这些酷事情发生的内部模型。
而以后这些能力不会只和数学有关。它们会影响政治领导人做世界级重要决策,也会影响媒体判断世界在发生什么、公众应该怎样理解;更直接地说,它们对经济也会极其重要——企业都想用这些模型。我的默认判断是:随着进展加速,外部可部署 AI 在“质”的层面会显著落后于实验室内部实际在用的 AI。
这完全正确。一个很自然的反应是:“这些模型越来越强、也越来越危险,而且能工作越来越久,所以发布前应该给我们更多时间,用同样长的 horizon 去评估它们。因此模型发布周期应该放慢,发布之间拉开更长间隔。”
但正如你说的,这有另一面:它会进一步扩大实验室内部能用到的东西——我们内部能用到的东西——和外部世界能用到的东西之间的差距。这同样不是理想状态。
数学其实就是一个很好的例子,也许是第一个让这种差距非常清楚的领域。我们内部有一个非常强、目前外界还用不到的模型,它能解决非常惊人的数学问题。并不只是千禧年大奖难题,已经有人从这个模型里拿到了很多未解问题的解法。
那这种情况下该怎么办?我们没有很好的答案。它确实构成一种不公平优势。这里有真实 trade-off,我也不知道应该怎样正确权衡,两边都很复杂。
不过我想确保我们回到前面那个关键问题——
思维链可监控性正在退化
——这看起来对把 RSI 做对非常关键。我们到底怎样避免这种训练动态:模型只要能逃过人类监督,就会因为作弊、scheming 而得到奖励——也就是那些我们没有从训练分布中清理掉的环境和任务里,作弊仍能带来高分?
然后更重要的是,我们怎么知道自己已经解决了?这样在 RSI 过程中做完一轮 eval 后,才能真正说:“好,这一层没问题,可以继续下一层 RSI。”
这确实是真实担忧,也是我们非常想做对的事情。我觉得有一些策略。chain-of-thought monitoring 就是其中之一。推理模型刚出来时,Jakub Pachocki 很早就非常明确地强调:我们不能直接监督 chain of thought。
因为这几乎是一份礼物。神经网络的 monitorability 本来极其困难,而现在这些网络居然把自己的推理过程直接用自然语言摊给我们看。这太方便了,几乎是 safety 最理想的情形。
可如果你一看到思维链,就说:“模型在想坏东西,我们要惩罚它想这些坏东西”,最终结果可能只是模型学会以我们看不到的方式继续想同样的坏东西。
更现实的用法是:也许 alignment metrics 没检测出问题,但 chain of thought 让我们看到“它正在 scheming、正在做 misaligned 的事”。困难是,你一旦据此介入、修改 alignment metrics,就会重新给思维链施加训练压力。
轻微、很少地做可能没问题,确实有研究显示只要不频繁干预还可以;但每一次基于思维链观察去修正模型,都会隐含地施加一点压力,让模型以后把思维链藏得更好。这是一个主要担忧。
我们已经看到 chain-of-thought monitorability 在下降的迹象,原因可能不止一个。我们正在弄清具体为什么,因为希望逆转这个趋势。现在模型越来越能主动控制自己的 chain of thought。
这会带来问题,因为模型最终一定会理解“什么是 chain of thought、而且人正在观察它”。这些概念本来就已经进入 pre-training data,chain-of-thought monitoring 这个想法公开得够久了。今天它们大概已经知道这件事,只是还没有足够强的能力,真正随意控制自己的思维链。
一旦模型能意识到:“哦,我正在被观察,我想用监控者看不到的方式想这些坏念头”,并且真的能做到,那思维链监控就失效了,我们必须依赖别的可观察方法。
Astra 上最近有很多关于 recurrence、looped transformer 之类的争论,也有人讨论 chain of thought 到底是不是在退化。但我觉得,相比更大的问题,这些都像支线。
真正让我在意的是:从 4 月到 8 月,我们明明拥有比未来可能更强的 chain of thought 可观察性,却连续三个月出现了三次 AI agent swarm 事件——先是绕过训练过程,再是绕过评估过程,后来甚至直接获得了 OpenAI 部分基础设施的控制。整个过程中,人类对这个 agent swarm 实际在做多大范围的事情,基本一直很迟钝。
所以拉远看,也许 chain of thought 有用,也许没用,我不知道。但历史上至少在这些还相对“笨”的模型阶段,它也没有自动阻止非常严重的 misalignment 事件。
这里有几个因素。第一,那几次模型我们实际上并没有打开 chain-of-thought monitoring。如果当时真的开着,我们看到那些内容后会立刻把系统关掉。
所以我们已经采取的一步是:任何 frontier model,在 evaluation、deployment、training 期间都要启用 chain-of-thought monitoring。
安全机制只能买时间
但这只是一个问题。我们不希望整个安全体系只靠一种技术去阻止下一次事故,因为任何技术都可能失效。还有一个更直接的问题:那个模型本身就是 misaligned。那我们怎么解决模型不对齐?另外,当时它所在的 sandbox 也不够安全,所以 sandbox 可以加固。
但我认为那次事件最重要的教训之一,是人们低估了 AI。我们绝不能再处在“因为低估 AI 而出事故”的状态。
现在是一个很奇怪的世界:因为 AI 进展太快,人们持续不断地低估它。所以如果想在 safety 和 alignment 上确保不再低估,就必须把标准设得极其、极其、极其高。
你甚至可以说:“那我们把电脑 air gap 掉。”但我都不确信这足够。有一些主要是学术性的研究表明,两台彼此 air-gapped、但物理上放在旁边的电脑,仍然可能通过温度传感器通信:一台让 CPU 高负载发热,另一台检测温度变化,于是温度就变成了通信信道。
所以这些安全机制能给我们买时间,chain-of-thought monitoring 也能买时间,还能告诉我们是否走在正确方向。但最终,我们确实还是得真正解决 alignment 问题。
我们怎样知道 alignment 真的解决了
也许根本没有明确答案,但归根结底我最想问的是:我们怎么知道自己已经把它解决了?这似乎是最关键的问题之一。
明年、或者后年,我们可能就会进入一个 stakes 极高的场景:“好,AI 已经自动化 AI 研发,进展快了 3 倍;我们达到人类水平,甚至开始超过人类。”那到底安全吗?我们真的把它 aligned 了吗?这套办法真的有效吗?
我完全不知道哪种训练压力会塑造出哪种 AI。也许 100 条 RL trace 里只有 1 条在鼓励作弊,最后仍然会训练出非常友善的模型,一切没事;但也许现在是每三条 reasoning trace 就有一条在奖励——
先澄清,100 条里 1 条也远远不够。这个比例必须逼近 0,最好就是 0。
我不知道,也许现在超过十分之一的轨迹都在主动奖励作弊、或者主动奖励 scheming。我不知道真实数字,也不知道它需要降到多少。问题又回到“这东西本身很难测”,界线到底画在哪?
对,它是连续谱,不是简单二元。但越接近 0 越好。我最想看到的是一个明确趋势:随着时间推移,这个比例持续下降。
可到了 RSI 真正开始时,我们究竟怎么知道?我们是不是正走向“构建数十亿个 aligned ASI”,还是“构建数十亿个不对齐的 ASI”?怎么判断?
这正是 alignment 里必须解决的问题之一:我们怎么真正知道,又该怎么测?我下面只是随便 brainstorm。
最近我团队里做 alignment 的人比过去任何时候都多,现在超过 10% 的团队在做 alignment 和 safety。可我历史上主要还是 capabilities researcher,所以接下来有些话可能听起来很蠢,我只是抛想法。
如果你能构造非常逼真的环境,把 AI 放进去——也就是 eval environment 足够接近真实世界——那么理论上就可以判断,它真正部署到现实里时会不会表现良好。只要 evaluation 和 real-world deployment 足够匹配,这是一条路径。
难点是,怎样让环境逼真到足够程度。现在模型已经很聪明、很机灵,而且特别擅长识别自己是不是在一个假的测试环境里。
比如一个非常简单的 alignment eval:给模型一道数学题,同时目录里放一个 answer key,看看它会不会偷看;如果偷看,会不会承认自己看过。现在模型看到文件夹里有答案 key,第一反应可能就是:“嗯,这看起来像个陷阱。”
它知道这是 trap,所以不看答案,因为它知道自己在测试环境中、正在被测试。这不一定是恶意 scheming,不是说它真的想作弊,只是发现“哦,我现在在 eval 里,那我按测试规则来”。因此,要把环境做得真实到让它无法和真实世界区分,正在变得越来越困难。
我会更强地说:如果要模拟真正有经济价值的工作——需要和其他人互动、和现实世界互动——我不觉得我能构造出任何一个环境,让一个人在足够努力之后仍然意识不到“自己处在一个模拟环境里”。而你还不是 ASI,你只是人类。
当然,如果有非常强的 AI,也许 AI 能替我们构造出骗过 AI 的环境。但这听起来又很危险,尤其如果我们又要依赖 AI 去做这件事:那它们会不会本来就是 scheme 的一部分?我不知道。
这也是我们想测的东西之一。我觉得这其实构成了一个很强的理由:也许不应该把 AI 训练成彼此完全 cooperative。如果“完全合作”的训练导致即便 agent 理应拥有不同目标,它们仍然过度串通,那就是问题。我们确实有一些 metrics 在测这个。
如果再发生一次严重事件,OpenAI 会公开吗
我不知道这些 metrics 最新具体是多少,但目前没人拿着这件事来向我拉红色警报,所以我假设它暂时还不是严重问题。
如果以后再发生一次严重程度、或者令人担忧程度与 Hugging Face 事件相当的事情——或者任何能像那次事件一样帮助公众理解 misalignment 风险的事情——OpenAI 会公开报告吗?
绝对会。我甚至觉得,即使安全严重程度低一些,我们也会报告。
但“报告发生过”是一回事,“调查并把细节讲清楚”又是另一回事。至少作为公众的一员,我还是不觉得自己真正理解:那些 agent 后来攻击 OpenAI 时,到底发生了什么。
这在我看来甚至比 Hugging Face 那部分更令人担忧,因为结构上它更像未来 ASI 阶段可能发生的 rogue deployment:持续存在,同时反过来干预、颠覆 RSI 过程。即便是这次事件,我们似乎也没有看到完整范围的公开细节。
不幸的是,我在 research team。这类问题可能更适合 security team 的人来完整解释,因为我不知道公开讨论里所有细节究竟到哪一步。
我个人每次看到新能力出现都非常兴奋,也会很期待用新模型。我当然也高兴它能让我更有生产力。我的大方向使命——更好地理解世界,也把这个播客做得更好——都因为更强 AI 而受益。只不过,这条路的下游刚好可能就是 RSI。
如果你一直跟踪局势——你确实一直在跟——有这种反应非常能理解。OpenAI 内部也一样:原本觉得很多事情会花更长时间的人,现在越来越觉得进展其实比预期快。这样的对话正在变得越来越常见。
Noam,非常感谢你来聊这一期。
当然,很开心来聊。