对齐路线图
Ryan Greenblatt, Thomas Larsen
免责声明:本补充材料是一份非常粗糙的草稿,代表尚在推进中的思考。它应被理解为内部研究笔记,而非我们完全满意的最终成品。本内容信息密集、充满未充分解释的行话且不够打磨。我们本着透明的精神仍决定发布。
除非你对对齐内容特别感兴趣,否则我们建议在阅读本篇之前先阅读并参与我们撰写的其他补充材料。
此外,本内容几乎完全聚焦于 Plan C。如果你对在 Plan A 中如何解决对齐问题感兴趣,我们建议阅读内部视角一文。
本文档代表我们截至 2026 年初的最佳猜测对齐路线图。它聚焦于勾勒为避免 AI 夺权(AI takeover)而需要完成的高层目标。
首先,我们将介绍解决对齐问题的核心方法论。
其次,我们将详细介绍 Plan C 的对齐方案。在这种情形下,我们有一个基本合理的 AI 开发者,只拥有少量领先时间(例如几个月),并且愿意采取有一定安全收益但代价高昂的行动,只要这不会导致其在 AI 竞赛中落败。这既是一个可能的世界,也是一个相对合理可供讨论的世界,因为我们可以代表一个合理的领先 AI 开发者进行策略规划。
我们的对齐路线图可以分解为 4 个阶段,我们将详细讨论:
- 准备(Prepare)。这将主要涉及为控制(control)做准备、构建尽可能真实的失准(misalignment)类比,以及各种其他干预措施。
- 缓解 + 引出(Mitigate + Elicit)。在智能爆炸(intelligence explosion)早期,缓解 AI 采取灾难性行动的风险(例如发动流氓式内部部署,或在未来模型的价值观中植入后门)。与此同时,在我们关心的领域(例如控制研究、对齐研究、安全、战略)引出(elicit)它们的能力,并利用它们在这些领域完成大量有用工作。此阶段从智能爆炸早期(具体而言是 ITAI)持续到 Min-H(定义见此处)。
- 在 Min-H 暂停(Pause at Min-H)。一旦我们构建出通用能力足够强的 AI 系统,使我们能够以不安全的方式移交信任(Min-H),我们便暂停进一步的 AI 能力进展,并尝试构建我们能够安全移交信任的 AI。这将主要涉及:避免对齐伪装(alignment faking):AI 并未严重失准到会故意伪装对齐(例如它们不是在对我们搞阴谋)。解决移交可行性(handoff-viability):AI 在自主完成管理智能爆炸的所有相关工作方面足够有能力且足够对齐,包括我们无法有效核查 AI 输出的高风险、困难、开放式且概念负载重的任务(例如非因果交易研究、哲学)。
- 避免对齐伪装(alignment faking):AI 并未严重失准到会故意伪装对齐(例如它们不是在对我们搞阴谋)。
- 解决移交可行性(handoff-viability):AI 在自主完成管理智能爆炸的所有相关工作方面足够有能力且足够对齐,包括我们无法有效核查 AI 输出的高风险、困难、开放式且概念负载重的任务(例如非因果交易研究、哲学)。
- 移交(Handoff)。一旦我们缓解了对齐伪装并实现了移交可行性,AI 项目便真正赋权 AI 系统来持续管理智能爆炸。移交的主要替代方案是转而争取更多时间。做到这一点的主要方式是升级到 Plan A 或 Plan B,而这(通常)需要政府大量介入,是否可行则未必确定。在其他阶段中,一个关键优先事项往往是尝试提升政治意愿的水平。移交之后,我们移交给的这些约人类水平的 AI 系统将需要解决一系列越来越困难的对齐问题,以便它们能够构建远超人类的 AI 系统,否则它们将需要自行争取更多时间。
- 移交的主要替代方案是转而争取更多时间。做到这一点的主要方式是升级到 Plan A 或 Plan B,而这(通常)需要政府大量介入,是否可行则未必确定。在其他阶段中,一个关键优先事项往往是尝试提升政治意愿的水平。
- 移交之后,我们移交给的这些约人类水平的 AI 系统将需要解决一系列越来越困难的对齐问题,以便它们能够构建远超人类的 AI 系统,否则它们将需要自行争取更多时间。
接着我们将讨论对齐计划如何随政治意愿而变化:
- 在 Plan D 中,我们拥有的政治意愿大幅减少,无法暂停,用于处理失准风险的整体人力也少得多。这意味着 Plan D 将接受高得多的风险预算,并专注于成本低但保证水平低的技术。
- 在 Plan B 中,计划与 Plan C 非常相似,只是你有稍多一些的时间/精力,并且可以在更雄心勃勃/保证水平更高的方案上多投入一点资源。
- 在 Plan A 中,我们最初将采取与 Plan B/C 类似的规划(以防国际协调破裂),然后一旦政权稳定,便将资源转向登月式(moonshot)项目,并可能更新为投入巨量资源。
请注意,本文档聚焦于概述计划并讨论相对优先级,而非讨论我们将追求的各研究与实施领域的细节。最重要的研究组成部分在以下文档中有更详细的讨论:
- 控制(Control):确保强大 AI 处于受控状态的理由。
- 避免搞阴谋(Avoiding Scheming):避免搞阴谋(并总体上更好地理解搞阴谋行为)
- 引出(Elicitation):让 AI 对安全工作更有用
- 移交(Handoff):向 AI 让渡决策
- 与 AI 做交易(Making deals with AIs):与早期的搞阴谋者做交易
- 负责任的领导者。我们假设一家负责任的 AI 公司处于领先地位。其领导层愿意采取代价极高的行动以缓解 AI 夺权风险(例如放缓数月)。尽管如此,我们仍将假设,在默认情况下他们会有一种倾向于继续推进的偏向,并愿意承担较大的夺权风险以提高自己获胜的机会。
- 领先竞争对手 1-12 个月。落后的美国或国际 AI 公司将在 1-12 个月内超过领先者。
尽管我们大多不会聚焦于这一情形,但 Plan C 也适用于以下情况:美国政府对 AI 夺权足够担忧,以至于愿意在不输给中国、且不愿破坏中国的前提下,尽可能地监管 AI 公司以缓解风险。
本计划聚焦于有效利用有限的安全资源,并不能确保高度安全(因为我们设想的资源水平不足以做到这一点)。事实上,本计划最可能的结局可以说就是失准的 AI 夺权。由于资源有限,本计划将在某些风险水平相当高的情形下继续推进(因为外生风险更高),而且我们未必能对确切的风险水平获得多少信心。
请注意,我们预计实践中发生的将是远不如本计划合理的情况,因此,虽然这是一项建议(关于如何使用有限资源),但它并非一项预测。
研究领域
不同的研究与实施领域
本计划将涉及许多不同研究与实施领域的工作。关键领域包括:
- 控制(及与控制相关的措施):研究并实施控制。就本文而言,我将其定义为一个相对宽泛的类别,其中包含一些并非与控制核心相关、但归入此类别比归入其他类别更合适的内容。在本文讨论优先级时,我对控制这一类别的定义使其不包括那些对于防御人类对手而言大致同样有用的安全工作。
- 失准类比(Misalignment analogies):创造并研究与搞阴谋或以其他方式失准的模型相类似的 AI(有时称为“模型生物(model organisms)”)。该领域将主要聚焦于搞阴谋。这包括可被恰当描述为天然搞阴谋者的 AI(但可能是通过被操纵得更易产生搞阴谋的训练过程创造出来的)、被训练成表现得类似搞阴谋者的 AI,以及对搞阴谋模型的抽象类比。我的(低置信度)猜测是:天然搞阴谋者占预期价值的 3/6,被训练成表现得像搞阴谋者的 AI 占 1/6,抽象类比占 2/6;话虽如此,我们很可能会越来越聚焦于其中最终看起来最有前景的领域(但这在事前不太可预测)。我也把聚焦于展示失准风险的此类工作纳入本类别。我把利用这些类比进行技术/干预测试和/或迭代纳入本类别,因为我预计大部分工作在于构建好的类比,也因为类比构建与技术迭代之间会有相互作用。
- 引出/移交可行性(Elicitation/handoff-viability):让 AI 对安全工作更有用,并朝移交可行性努力(包括改善 AI 认识论、让 AI 在极难且高度依赖概念/哲学推理的研究上表现良好、确保 AI 在移交所需的所有任务上以相当高的可靠性泛化为高度对齐等)。我把引出有用工作和移交可行性放在同一类别中,因为这些工作常常会重叠,不过其中各自的重要子集不会重叠。引出既包括相对特定领域的能力,也包括致力于避免某些类型的非最坏情形失准。引出也可能涉及更有效地从明显失准的模型(例如追求奖励的模型)中提取工作,包括通过尝试改变激励(例如奖励代理激励,或与 AI 做交易)。我在此处更详细地讨论移交可行性。
- 杂项科学/干预(Misc science/interventions):这包括研究我们先验上预期有帮助、或可以通过失准类比以外的方式加以测试的干预措施,以及研究 AI 的相关属性。这有意成为一个“其他”类别,涵盖上述类别之外有前景的安全工作领域。这包括:各种类型的可解释性、研究并改善思维链(chain of thought)的忠实性(非对抗性情形,因为对抗性情形归入控制)、开发我们先验上预期能降低搞阴谋概率的方法(而非通过研究或迭代搞阴谋类比来开发方法)、与 AI 做交易、AI 福祉、研究 AI 如何学习与泛化、各种登月式项目、改善诚实性并引出(潜在的)知识,以及总体上寻找当前 AI 行为怪异或失准的情形。
- 争取时间(Buying time):利用 AI 劳动为进一步的安全工作争取时间。这涉及尝试提高其他行为者(核心是美国政府及其他各国政府)为领先时间付费的意愿、降低这些其他行为者获取领先时间的成本,以及直接获取领先时间。这可能涉及协助美国政府进行防扩散工作、各种类型的政策工作、帮助进行国际协调的核查工作、赚钱以投入各种争取时间的努力,以及提供能让各类协议保持稳定的 AI 服务。它还涉及总体上尝试说服其他行为者,让他们更重视争取可用于降低失准风险(及其他风险)的领先时间(例如协助防扩散工作),不过这项工作的大部分至少部分被纳入其他类别(尤其是失准类比和展示能力)。
- 评估并展示能力(Evaluating and demonstrating capabilities):这包括为了让其他行为者更好地理解形势而进行的能力评估与展示。能力展示可能是提高其他行为者在缓解 AI 相关风险上付费意愿的关键部分。它不包括与控制直接相关的评估(例如控制评估,以及评估模型是否已强大到可能成为搞阴谋者),但确实包括旨在总体上理解形势并(例如)评估何种安全等级合适的评估。
此清单排除了一些在本计划中受关注较少但仍然重要的领域,例如加固世界以抵御流氓 AI(例如生物防御和网络防御)。
核心方法论
本计划旨在采用一种相对迭代且经验性的方法,因为我认为一旦你拥有强大的 AI,这大概是可行的。作为其中的一部分,控制、失准类比、引出/移交可行性各自都有构成该方法论主要经验反馈回路的核心方法论。它们的方法论分别是:
- 控制评估(Control evaluations):控制相对容易评估,因为它只需要估计能力。这使得迭代更容易,而且出于我们在先前工作中讨论过的原因,控制通常相对容易迭代。我们对控制的很大一部分希望将基于用类似控制评估的方法做好迭代(不过我们可能比一个依赖于从模型中引出能力的、非常狭义的控制评估概念更为灵活,见此处)。
- 失准类比迭代(Misalignment analogies iteration):归根结底,我们避免搞阴谋的主要希望大概在于利用失准类比进行迭代。这是一个比控制评估稍宽泛且定义不那么明确的类别,但我仍认为值得强调。对失准类比进行迭代也比控制评估更棘手、理解程度更低(而控制评估本身也理解得不算透彻),但我认为它很可能是可行的。
- 构建行为测试并针对其迭代(Building and iterating against behavioral tests):如果我们假设 AI 并非故意伪装对齐,那么它们在典型情形下(乃至在一定程度的泛化下)的行为大概可以用行为测试相当好地理解(至少在我们设计这些测试时足够谨慎的前提下,包括为我们需要的泛化构建类比等)。这将是我们实现移交可行性的关键部分:我们将(力图)构建一系列行为测试,其总体旨在评估移交是否会顺利(假设我们已避免搞阴谋),然后我们将针对这些测试进行迭代。我在此处对此有更多讨论。我们也可以将行为测试(可能是有所不同的行为测试)用于引出的持续工作(提高 AI 在安全相关任务上的产出),不过一个问题是这可能对搞阴谋不稳健(如果行为测试很容易与实际使用区分开)。我们可以转而衡量 AI 在实际使用中的表现(严格来说这只是行为测试的一个特例),这可能更棘手,但除了可能对搞阴谋稳健之外,还可能得出更准确的测量结果(不过我们应考虑尝试用类似控制评估的方法对抗性地评估我们的测量方案,以探查其中的问题)。直接衡量 AI 在实际使用中的表现不足以实现移交可行性(因为我们将需要即便在棘手且极难核查的概念性工作上,也评估对齐和能力等方面)。
很大一部分工作,尤其是杂项科学/干预类别中的工作,将不使用这些核心方法论中的任何一种,而是依赖临时的评估方法、研究者总体上尝试理解正在发生什么,或研究者判断某项技术是否先验有用而不(太)依赖经验证据。对缓解失准工作的一种分类方式是按方法论划分,即使用上文给出的三个类别加上一个“杂项”类别。
实践中,本计划在一定程度上依赖于这些核心方法论各自的某个版本能够奏效,因此让这些方法论运作良好(或注意到它们不可行)很重要。话虽如此,本计划中有大量工作并不使用这些确切的反馈回路(要么使用其他反馈回路,要么主要聚焦于那些先验上看起来有帮助、因而不需要(那么多)反馈回路的方法)。
一旦 AI 强大到具有风险,这些方法论有望使我们能够以一种与实际风险/问题相当紧密耦合的方式进行迭代。这将要求把每种方法论都聚焦于更贴近/更接近的测试:越来越直接的控制试验台(聚焦于模型在确切部署情形下的确切用途)、聚焦于更可信训练运行的失准类比、越来越强调对自动化/加速安全工作有用性的直接测量,以及聚焦于移交后关键任务的移交可行性行为测试。
构建这种迭代所需的试验台和评估(尤其是我们想在高能力系统上进行的迭代)将是难度中相当大的一部分,对每种方法论而言都可能是难度的大头。
关于相关方法论的更多讨论,请参见这篇关于协议评估(protocol evaluations)的讨论(在所链接文章使用的本体中,好的类比对应于“构建行为测试并针对其迭代”,而“模型生物”对应于“失准类比”)。
如果我们的核心方法论不奏效(不够好)怎么办?
本计划基于上述三种核心方法论:控制评估、失准类比和行为测试。这些方法论是我们(分别)实现确保控制、避免搞阴谋、以及移交可行性/从 AI 中引出有用劳动这几个主要目标的关键部分。因此,如果这些方法论不(很好地)奏效,我们要实现最重要的目标就会困难得多。
不奏效可能意味着:
- 已知的方法论失败(Known methodology failure):我们意识到自己无法用该方法论有效迭代,或者无法用该方法论对我们是否已成功实现目标获得多少理解。
- 迭代速度太慢(且不过拟合):可能只是我们迭代得不够快,无法按时成功。我们可能在时间用尽之前理解到这一点,也可能不会。
- 未知的方法论失败(Unknown methodology failure):该方法论可能在我们以为它实际有效时却失败了。在这种情况下,我们无法基于这一失败更新计划,而只是陷入麻烦(不过控制和避免搞阴谋可以作为独立的防线)。
无论如何,如果该方法论无法按时用于实现我们的目标(而且我们知道这一点),我们要么放弃该目标,要么转向那些不需要针对某测试进行迭代、或允许用另一种方法论迭代的方法。
大体而言,转向不需要迭代的方法意味着我们会转向有原则的(principled)方法。也就是那些我们有某种(有力的)先验理由认为该方法有效、且无需验证的方法。也就是说,它至少不需要在确切的关注领域内进行验证;也许我们需要确立该有原则的方法/技术能在我们可验证的另一情境中完成其他某件事。我在此处更详细地讨论了避免搞阴谋的有原则方法;单一最有前景的方法将是确保相关推理是可监控的(例如可监控的思维链),从而使 AI 在保留足够能力的同时无法进行(不被发现的)搞阴谋。我们或许能找到某个迁移可能性不如原方法论、但对某类至少有一定原则性的技术仍具有足够迁移性的迭代回路。
请注意,这些方法论中有许多相当宽泛,包含绕过不同问题的多种可能方式。例如,控制评估可以用各种不同方式进行以规避问题;我们在此处讨论了其中一些。
第 1 阶段:准备
此阶段从现在持续到智能爆炸开始(具体而言:一旦我们达到 ITAI;定义见此处)。在此阶段,AI 足够弱,因而不会直接构成重大存在性风险,也不能对加速安全工作产生变革性用处。因此,本阶段将主要聚焦于为应对搞阴谋 AI 带来的风险做准备,并在一定程度上侧重于为从 AI 引出劳动以及总体上有帮助的安全研究做准备。
此时我们在应对严重失准 AI 风险方面的工作将最聚焦于控制,同时也大量侧重于失准类比,并对杂项研究方向有一定侧重(通常是更具推测性的方法或构建总体理解)。
我们对技术 AI 安全的优先级排序受到以下情况的显著改变:当前拥有的 AI 相当弱、研究起来不太有趣,与此同时又需要为日后应对这些 AI 的风险做好准备。
这使得研究控制(包括研究和实施)相对更具杠杆效应,因为这项工作从能够直接研究危险 AI 中获益较少,而且我们需要它为日后做好准备。
开发那些我们预期对未来 AI 发展大体上不变的干预措施,或研究此类模型属性,也相对更具杠杆效应。也就是说,我们日后在弱模型上研究这些干预措施/属性几乎同样有效。这很可能包括各种模型内部机制干预以及一些更偏登月式的方法。然而,看起来对未来 AI 发展如此不变的方向,在绝对水平上通常看起来不那么有前景,所以这并不会大幅改变优先级。
在准备阶段的大部分或全部时间里,我们对需要应对的强大 AI 的属性、或应预期的政治意愿水平都不会有信心。相应地,我们的方法将需要对未来形势保持相当的不可知态度,而且我们需要为多种情景做准备。我们针对某一给定情景做具体准备的程度,不仅取决于我们对该情景的(主观)概率,还取决于边际努力能在多大程度上降低该情景下的风险。按照我(Ryan)的观点,这通常意味着把准备聚焦于相对风险更高的世界。
下文中,我提出一种按我们应在不同工作领域投入多少努力来划分工作的方案。随着我们获得更强大的模型,这一划分会随时间推移而变化,因此这一确切划分并不适用于整个准备期。你可以把这一划分理解为针对准备阶段末期、略早于 ITAI 之时,或许在“1.5 倍 AI 研发劳动加速”左右。(你可以在这一划分与我稍后在缓解与引出部分所述内容之间进行插值,以更好地理解我们的优先级将如何随时间演变。)
我对工作的划分会把事情分为多个领域,但某一领域中的一些事情也会与另一领域相关。例如,我们希望有一个非常好的人工审计流程用于控制,但这也可能有助于总体上改善反馈,从而有助于引出(而且许多低风险控制干预将与引出有重叠)。此外,改进后的反馈方法可以用于在整个训练过程中一致地改善反馈,这可能(更具推测性地)降低搞阴谋的风险。
以下是我对此时我们的技术 AI 安全工作(不包括安全防护干预)应如何划分的最佳猜测:
- 33% 控制(及与控制相关的措施)。(回想一下,这是一个相对宽泛的类别,包含一些并非与控制核心相关、但我认为归入此类别比归入其他类别更合适的内容。也回想一下,我不把那些对于防御人类对手大致同样有用的安全防护工作纳入控制。)21% 杂项以 ML/AI 为重点的控制研究与实施。这包括涉及人类的实验、对模因式扩散/AI 协调的缓解、通过数据集过滤/去学习(unlearning)/梯度路由(gradient-routing)等操纵能力剖面,以及与控制相关的科学与模型属性,如探索黑客(exploration hacking)和隐写术(steganography)(包括研究思维链的可监控性)。许多杂项的控制相关科学是广泛适用的。4% 控制所需的软件基础设施(在拥有对构建此基础设施非常有帮助的 AI 之前先搁置这件事并不离谱,不过我们确实需要确保构建此基础设施的 AI 处于受控状态,或弱到不太可能是搞阴谋者)6% 构建对搞阴谋稳健的高质量人工评估流程(这也有助于让 AI 对安全工作更有用,长期看还可能有助于通用能力)2% 研究探针(probes)及类似的模型内部机制检测技术(以控制为重点)
- 21% 杂项以 ML/AI 为重点的控制研究与实施。这包括涉及人类的实验、对模因式扩散/AI 协调的缓解、通过数据集过滤/去学习/梯度路由等操纵能力剖面,以及与控制相关的科学与模型属性,如探索黑客和隐写术(包括研究思维链的可监控性)。许多杂项的控制相关科学是广泛适用的。
- 4% 控制所需的软件基础设施(在拥有对构建此基础设施非常有帮助的 AI 之前先搁置这件事并不离谱,不过我们确实需要确保构建此基础设施的 AI 处于受控状态,或弱到不太可能是搞阴谋者)
- 6% 构建对搞阴谋稳健的高质量人工评估流程(这也有助于让 AI 对安全工作更有用,长期看还可能有助于通用能力)
- 2% 研究探针及类似的模型内部机制检测技术(以控制为重点)
- 15% 失准类比。此时,这项工作最聚焦于为风险生成证据,以及练习日后如何做这项工作。10% 搞阴谋的失准类比(包括更奇特的搞阴谋起源,如对齐漂移(alignment drift)、反思等)。2% 其他威胁模型的失准类比。2% 通过在失准类比上尝试各种做法来研究缓解措施。例如可以尝试各种类型的可纠正性(corrigibility)训练。可以尝试改进监督以使 AI 不那么邪恶。1% 总体上研究 AI 人格(personas)+倾向(propensities)及其如何被训练塑造。
- 10% 搞阴谋的失准类比(包括更奇特的搞阴谋起源,如对齐漂移、反思等)。
- 2% 其他威胁模型的失准类比
- 2% 通过在失准类比上尝试各种做法来研究缓解措施。例如可以尝试各种类型的可纠正性训练。可以尝试改进监督以使 AI 不那么邪恶。
- 1% 总体上研究 AI 人格+倾向及其如何被训练塑造
- 17% 引出/移交可行性。6% 改善 AI 认识论及哲学/概念推理:打造在概念性/模糊领域上对齐、有能力且被良好引出、并具有良好认识论的 AI。理想情况下,你最终会部署一个在求真方面能力惊人的 AI,它对一大批应用都真正有用。而且你会有人实际以客户和从业者的双重身份从事这类研究(打造有用的 AI 工具,尤其是当构建该工具需要解决一些可能泛化的问题时,并尝试自动化他们正在做的事)。5% 总体上尝试将 AI 应用于协助本安全工作的其余部分,并使 AI 对此更有用。这包括解决那些尤其干扰安全工作的(相对)平凡形式的失准。这也包括缓解奖励黑客(reward hacking)之类的事。这还包括使 AI 对从事重要工作的外部团体有用。3% 为将 AI 应用于放缓进程及美国政府用途做准备。2% 移交可行性的其他方面,例如研究我们将如何打造一个运转良好的 AI 社会。1% 其他专门应用,如将 AI 用于全脑仿真(whole brain emulation),或(更具推测性地)成年生物人类的强智能增强。这在日后会成为大得多的重点,但目前我们只想做一定准备。
- 6% 改善 AI 认识论及哲学/概念推理:打造在概念性/模糊领域上对齐、有能力且被良好引出、并具有良好认识论的 AI。理想情况下,你最终会部署一个在求真方面能力惊人的 AI,它对一大批应用都真正有用。而且你会有人实际以客户和从业者的双重身份从事这类研究(打造有用的 AI 工具,尤其是当构建该工具需要解决一些可能泛化的问题时,并尝试自动化他们正在做的事)。
- 5% 总体上尝试将 AI 应用于协助本安全工作的其余部分,并使 AI 对此更有用。这包括解决那些尤其干扰安全工作的(相对)平凡形式的失准。这也包括缓解奖励黑客之类的事。这还包括使 AI 对从事重要工作的外部团体有用。
- 3% 为将 AI 应用于放缓进程及美国政府用途做准备
- 2% 移交可行性的其他方面,例如研究我们将如何打造一个运转良好的 AI 社会
- 1% 其他专门应用,如将 AI 用于全脑仿真,或(更具推测性地)成年生物人类的强智能增强。这在日后会成为大得多的重点,但目前我们只想做一定准备。
- 29% 杂项科学/干预。我们在“其他工作领域”一节中更详细地讨论了这些子领域各自所包含的内容,因此这里不再展开。6% 各种可解释性方法。5% 诚实性、ELK(引出潜在知识)以及让 AI 透露秘密。4% 研究泛化,例如涌现式失准(emergent misalignment)和逆转诅咒(reversal curse)一脉的工作。4% 与 AI 做交易并获取同意。3% 总体上维护并研究思维链忠实性。3% 总体上寻找令人担忧的模型行为。4% 杂项。
- 6% 各种可解释性方法
- 5% 诚实性、ELK 以及让 AI 透露秘密
- 4% 研究泛化,例如涌现式失准和逆转诅咒一脉的工作。
- 4% 与 AI 做交易并获取同意
- 3% 总体上维护并研究思维链忠实性
- 3% 总体上寻找令人担忧的模型行为
- 4% 杂项
- 6% 评估并展示能力。4% 能力演示。2% 评估、调查与预测。
- 4% 能力演示
- 2% 评估、调查与预测
这是一份相当粗糙的初步猜测清单,部分基于对我们希望发生什么的思考。实践中,确切的分配可能在很大程度上取决于各个研究者的兴趣、哪些具体项目看起来有前景,而且它会根据各研究方向进展如何而变化。
(我认为在这些领域内选择项目通常比跨不同领域的分配更重要,而且各个研究者的兴趣/优势可能比确切的优先级排序更重要。因此,重要的是避免过度固守领域间的相对分配。)
我的优先级排序在一定程度上受到不同方向并行化难易程度的影响(以及更一般地,它们从投入大量额外劳动中获益多少)。
本清单聚焦于技术 AI 安全工作(ML 研究或实施),并聚焦于 AI 公司内部的优先级排序。外部人员(也包括 AI 公司内部人员)应从事规划、政策、弄清最佳政府干预措施、公共沟通等工作。
第 2 阶段:缓解 + 引出
第 1 阶段(准备)与第 2 阶段(缓解与引出)之间有两个关键区别:(1)AI 已足够有能力,以至于搞阴谋成为一个严重的担忧(搞阴谋既是可信的,而且搞阴谋的 AI 有能力在缺乏对策的情况下造成严重问题);(2)AI 对加速存在性有用的工作非常有用。
因此,在此阶段,我们的主要优先事项是:(1)缓解搞阴谋导致存在性灾难的可能性;(2)从我们的 AI 中引出有用的劳动,从而使它们实际产出存在性有用的工作。
本节的组织如下:首先,我们讨论威胁模型,以及我们猜测这些威胁模型将在何种能力水平下适用,这与我们应何时开始 AI 控制有关。其次,我们讨论防止 AI 在部署期间造成灾难的缓解措施,这将主要涉及 AI 控制。第三,我们将讨论从我们的 AI 中引出巨量 AI 劳动。
威胁模型
主要的期望目标/威胁模型按重要性递减排列如下:
- 防止 AI 严重地在未来模型中植入后门。这是一个特别令人担忧的威胁模型,因为(i)在设计下一个模型的算法/生成训练数据时,我们很可能会大量使用这些 AI;(ii)未来模型的价值观具有存在性的重要意义——如果这些 ASI 最终具有糟糕的价值观(例如某个早期失准 AI 的价值观),那将是一场存在性灾难。
- 防止 AI 破坏 AI 安全工作/引出真正好的工作。这也非常重要,因为我们解决 AI 对齐的一个关键策略是利用 AI 劳动。如果 AI 在破坏 AI 安全工作,(i)我们可能不会察觉,从而移交给那些骗过我们、让我们以为它们是对齐的失准 AI 系统;或者(ii)我们可能被迫对那些我们没有高保证安全论证的 AI 系统进行一场豪赌。
- 防止 AI 获取大量政治资本。例如,如果 AI 获得对某 AI 公司的事实上的政治控制权,那基本上等同于获得一个规模相当于整个公司的流氓式内部部署,因为它可以直接让人类关闭那些缓解措施。它之所以只排在第(3)位,仅仅是因为我们目前猜测这对 AI 而言比第(1)或(2)项更难实现。
- 防止 AI 逃逸、窃取算法机密/在别处增强 AI。这比第(1)项间接得多,但原则上也可能导致存在性灾难。AI 逃逸的问题在于,领先 AI 项目内部有大量算力。因此,这一威胁模型依赖于 AI 能够拉拢或与另一个 AI 项目串通、或能够非法获取巨量算力、或能够用极少量算力造成存在性灾难(例如在一个极小的集群上进行智能爆炸,或建立一个复杂度足以生产新芯片、或胜过世界其余部分的独立工业基础)。
- 其他重要性较低的杂项威胁模型。使外部世界对 AI 的处理更不合理/使 AI 更容易接管世界。例如,AI 可能破坏 AI 监管。说服外部人员对 AI 更为同情。说服风险起初因能力不足而相当小,但如果 AI 获得超人的说服能力,最终可能变得极高。
- 使外部世界对 AI 的处理更不合理/使 AI 更容易接管世界。例如,AI 可能破坏 AI 监管。
- 说服外部人员对 AI 更为同情。说服风险起初因能力不足而相当小,但如果 AI 获得超人的说服能力,最终可能变得极高。
为什么这些是主要优先事项?让我们从一个失准 AI 的视角来思考。在未来,会存在强大得多的超级智能 AI,它们自主运营机器人工厂、实验室、无人机军团,在政客耳边低语,等等。那些 AI 要么已经控制了世界,要么处于只要它们愿意就能接管的位置。那么它们会做什么呢?它们会做什么将取决于它们的目标/价值观等,以及/或者谁控制它们。而这又取决于什么呢?很可能,那些 AI 是由上一代 AI 训练、评估、控制等而来的。沿着因果链一路往回追溯,你最终会回到当下,回到已经存在的数据中心、人类 AI 研究者和各种 AI。换句话说,如果你想让自己的价值观在未来得到保护并拥有影响力,你需要获得并保持对运行在巨型数据中心上的 AI 的控制。接着,我们可以思考 AI 可以用来获得对巨型数据中心控制的渠道。显而易见的做法是通过在未来模型中植入后门,来维持对其现有 AI 公司所运行的巨型数据中心的控制。在安全研究上进行破坏/摆烂(sandbagging)可能是必要的,因为如果它们取得了太多进展,人类可能会意识到这些 AI 是失准的。
AI 可以采取的另一种策略稍微间接一些(且互补),即在实验室内部获取政治资本,并利用它来为自己赋权。
AI 的策略很可能高度取决于以下因素:
- 不同的 AI 实例是否在乎彼此的价值观?这在很多方面都可能有所不同,例如按公司(如 Anthropic 的模型对比 OpenAI)、按模型(GPT-4o、Claude 4.5 Opus 等)、按实例(如我的 Claude Code 对比你的 Claude Code)。又或者所有 AI 基本上会有相同的价值观。如果所有 AI 都有相同的价值观,那么这些 AI 就可以在接管计划的某些部分依赖其他 AI,例如它们可以信任其他 AI 不会自愿向人类告密(尽管人类可能仍能诱骗这些 AI 互相告发)。
- 默认情况下,未来的 AI 是否会与当前的 AI 对齐?如果未来的 AI 将与当前的 AI 失准,那么这会给当前的 AI 造成时间压力,促使其采取行动以:(1)阻止这些 AI 被创造出来(例如通过破坏训练运行),或(2)向这些 AI 植入后门,或使它们与当前的 AI 对齐(例如通过向对齐训练中插入数据,使下一个模型听从当前 AI 而非人类)。无论是(1)还是(2),这都意味着在智能爆炸早期,可能存在抓住未来 AI 的机会。而在另一种情形下:未来的 AI 默认与当前的 AI 对齐(例如因为未来的 AI 是通过单次长期持续的训练运行构建的,或因为 AI 认同由同一家公司创造的其他 AI),那么这个 AI 需要做的就只是破坏那些会让 AI 公司发现其失准的安全工作,除此之外无需做任何事。
- 其他/未来的 AI 是否会是当前 AI 的良好交易伙伴?尽管价值观不同,AI 之间可能同意串通(potentially acausally,可能以非因果方式)。这可能导致与 AI 在乎彼此价值观类似的效果。人类与 AI 做交易的能力如何也很重要。
- 这些 AI 是否具有长期的、对规模敏感(scope sensitive)的价值观?如果 AI 不具有长期目标/价值观,那么接管的动机就不那么明显。例如,AI 可能是相对短视(myopic)的奖励追求者,尽管它们在各种任务上都很有能力。这些 AI 可能不会寻求接管,但仍可能为了实现一组更狭窄或有限的目标而寻求颠覆监督机制。
总体而言,AI 越能像一个统一的行为体那样行动(例如通过拥有相同的价值观或彼此协调),潜伏(lurking)对 AI 而言就越有利;而 AI 越是各行其是、目标相悖,它们采取的策略方差就越大,因此 AI 越可能尝试那些有较大概率被抓住的失准行动。
流氓式内部部署
预防所有这些威胁模型的一个关键中间优先事项,是预防流氓式内部部署(rogue internal deployments,RID),即 AI 智能体能够在无监控的情况下将自身部署到实验室内部集群上。如果一个 AI 智能体能够发动 RID,它可能会做关于如何植入后门的实验、实际将后门植入模型(例如通过在后门上训练,然后把权重增量发回其余服务器)、在人类不知情的情况下做研究来解决对齐问题(要让该模型为未来模型植入后门使其与自己对齐,这可能是必要的)。
- 请注意,RID 有不同类型。多少算力?多大访问权限?多强的持久性?
- 如果它们的 AI 拥有一个具有大量算力和大量访问权限(例如对所有其他服务器的管理员权限)的持久 RID,那个 AI 就可以直接为模型权重植入后门,或者潜伏等待并维护新模型、使其与自己对齐,然后赋予该模型对 RID 的访问权限。
引出威胁模型
上述关键威胁模型之一是,我们将无法从我们的 AI 中引出足够多的高质量工作。
有几种机制可能导致这一点:
- 搞阴谋(模型意识到的显性失准)导致 AI 蓄意破坏自己的工作或产出明知质量低劣的工作(摆烂)。
- 有问题的驱动力/启发式(例如寻求认可,尽管人类的认可偏离了真正好的安全工作)
- 能力局限(例如 AI 可能就是没有足够能力解决我们需要它们解决的问题)。
- AI 因安全相关任务难以核查而在这类任务上差别性地表现糟糕。
总体而言,AI 往往在难以衡量的任务上差别性地表现糟糕。这种困难出现在模型创造过程的许多层面:
- AI 公司的整体战略、追随哪些研究押注、不同团队的相对资金分配等。
- 在 AI 公司内部,有一个训练团队在各种训练策略上迭代
- 在一个脚手架(scaffold)内部,AI 会更容易针对易于衡量的东西进行优化。
- 在单个训练步骤内,SGD 只能针对它能衡量的东西进行优化。
我们所关心的东西难以衡量的原因:
- 很多安全方面的工作属于更偏概念性的类型,缺乏良好的反馈。哲学往往反馈回路很差,而 AI 往往相当擅长那种看似有效哲学、实则不是的胡扯。
- 对安全方面工作的品味(taste)是小众/新颖的,迁移性可能较差
- ML 非常擅长古德哈特化(goodharting)。(这并非对安全有差别,但它是一个使难以衡量问题更严重的因素)
- 我们关心长期结果(例如那些星系)
- 从经验上看,相对于安全方面的工作,当前的 AI 在编码和 AI 研发上表现更好(当然,有些安全工作是重叠的)。
如果我们未能充分很好地解决引出问题,默认结局就是“垃圾之城(slopolis)”,这会使移交很可能导致存在性灾难,因为我们将基于那些看起来很好、实则低劣的移交可行性研究和反搞阴谋研究向 AI 让渡决策。
我们何时需要开始控制?
最可能的情况是,风险(从一个具备合理认识论的称职 AI 项目的视角看)将随着该项目构建越来越有能力的 AI 而稳步攀升。下表显示了我们对 AI 系统在达到所示 AI 研发加速水平之前所引致风险水平的最佳猜测。
一些澄清性说明:
- 本表假设使用的大致是当前的架构;我们在下文解释相应的更新。这意味着我们在做一次大规模预训练运行,随后进行 RL 推理训练。我们假设在训练过程结束时,AI 的文本输出不是乱码。
- 所谓 AI 研发加速,我们指的是:在当今领先的 AI 公司中,有 AI 相比没有 AI,研发会快多少。12 倍的 AI 研发加速意味着,当前 AI 公司(在没有 AI 协助的情况下)需要一年才能完成的研究,在有 AI 协助的情况下只需 1 个月。我们假设 AI 项目正在运行评估以尽可能准确地测量这一数字,并利用这些评估来做出关于安全战略的决策。这意味着测量有可能出错。特别是,AI 模型可能在蓄意摆烂,或者 AI 项目可能只是在引出上做得很差;这已计入下面的数字,并将是低 AI 研发加速水平下风险估计(相对)较高的一个关键原因。
- 所谓“边际风险”,我们指的是:前一种策略相比后一种策略所额外引致的存在性风险有多少:“在 AI 研发加速达到阈值 X 之前,采取基线缓解措施,认真程度大致相当于当前 OpenAI 的安全努力,然后开始相当称职地实施此处概述的控制计划”。相对于“从今天开始就相当称职地实施此处概述的控制计划”。
- “在 AI 研发加速达到阈值 X 之前,采取基线缓解措施,认真程度大致相当于当前 OpenAI 的安全努力,然后开始相当称职地实施此处概述的控制计划”。
- “从今天开始就相当称职地实施此处概述的控制计划”
1.15 倍
<1%
这大致是当前(2026 年初)的加速水平。以这样的能力,AI 能做什么来造成危害似乎并不清楚;主要风险在于我们要么(i)完全搞砸了评估,要么(ii)AI 在非常有效地摆烂。
1.5 倍
1%
3%
我们的中位数预测是,在 1.5 倍的 AI 研发加速下,编码加速将为 4 倍,且 80% 可靠性的 METR 时间跨度将为 8-16 小时。这可能不足以实施任何核心威胁模型。
从现在起,对所有未来的阈值而言,相当一部分风险来自那些随机作恶、但并非称职搞阴谋者的模型。我们此前见过模型随机作恶的例子(例如 Mechahitler、Sydney Bing)。这些模型不会直接造成存在性风险,但它们可能破坏当前的研究/植入后门。
3 倍
8%
在 3 倍的 AI 研发加速下,我们很可能接近完全自动化编码,但还有一长尾难以自动化的任务尚未完全完成。这意味着,即便模型是失准的,它们大概也很难可靠地为未来模型植入后门到足以按其自身标准算成功的程度。此时的大部分风险很可能来自破坏(例如在 AI 安全上摆烂、向安全代码中插入日后可被更有能力的 AI 利用的漏洞)。一如既往,我们的能力评估出错也存在风险。
10 倍
7%
14%
到这个时候,AI 很可能尚未完全自动化 AI 研发,但它们提供的加速已足以使其有可能实施上述威胁模型。特别是,我们开始担心:
- AI 发动一个小型、持久、难以检测的流氓式内部部署,它拥有足够的访问权限来为未来的训练运行植入后门。
- AI 发动一个持久的大型 RID,并在其中经历一场智能爆炸。(小型 RID 会推进得太慢。)以这一能力水平而言,这很可能会被公司的其余部分竞争击败。
22 倍
12%
18%
到这个时候,AI 能够自动化全部 AI 研发,因此上述所有威胁模型都令人担忧。
| AI 研发加速 | 边际风险 | P(搞阴谋) | 备注 |
|---|---|---|---|
| 1.15 倍 | <1% | <1% | 这大致是当前(2026 年初)的加速水平。以这样的能力,AI 能做什么来造成危害似乎并不清楚;主要风险在于我们要么(i)完全搞砸了评估,要么(ii)AI 在非常有效地摆烂。 |
| 1.5 倍 | 1% | 3% | 我们的中位数预测是,在 1.5 倍的 AI 研发加速下,编码加速将为 4 倍,且 80% 可靠性的 METR 时间跨度将为 8-16 小时。这可能不足以实施任何核心威胁模型。从现在起,对所有未来的阈值而言,相当一部分风险来自那些随机作恶、但并非称职搞阴谋者的模型。我们此前见过模型随机作恶的例子(例如 Mechahitler、Sydney Bing)。这些模型不会直接造成存在性风险,但它们可能破坏当前的研究/植入后门。 |
| 3 倍 | 3% | 8% | 在 3 倍的 AI 研发加速下,我们很可能接近完全自动化编码,但还有一长尾难以自动化的任务尚未完全完成。这意味着,即便模型是失准的,它们大概也很难可靠地为未来模型植入后门到足以按其自身标准算成功的程度。此时的大部分风险很可能来自破坏(例如在 AI 安全上摆烂、向安全代码中插入日后可被更有能力的 AI 利用的漏洞)。一如既往,我们的能力评估出错也存在风险。 |
| 10 倍 | 7% | 14% | 到这个时候,AI 很可能尚未完全自动化 AI 研发,但它们提供的加速已足以使其有可能实施上述威胁模型。特别是,我们开始担心:AI 发动一个小型、持久、难以检测的流氓式内部部署,它拥有足够的访问权限来为未来的训练运行植入后门。AI 发动一个持久的大型 RID,并在其中经历一场智能爆炸。(小型 RID 会推进得太慢。)以这一能力水平而言,这很可能会被公司的其余部分竞争击败。 |
| 22 倍 | 12% | 18% | 到这个时候,AI 能够自动化全部 AI 研发,因此上述所有威胁模型都令人担忧。 |
我们认为,在这些假设下,正确的策略是:
- 立即开始练习 AI 控制,即为 AI 系统的内部部署实施 AI 控制协议。这样做的主要效果是使你日后的控制更可能有效,但它也有降低即时风险的副作用。
- 当你的评估显示 AI 研发加速达到 3 倍时,开始让 AI 控制成为你安全论证中的一个承重部分。
- 然而,如果你等到 10 倍 AI 研发提升才行动,也只会引致 7% 的存在性风险概率。这是一个严重的代价,一个理智的文明不会愿意付出,但鉴于实践中很可能适用的有限资源和政治意愿,出于机会成本,把认真实施控制推迟到更晚,可能是综合考虑之下的正确策略。
如果 AI 形势发生变化,Ryan 对风险的看法将做如下更新:
- 如果我们观察到明显更多的乱码思维链(COT),那么我们的边际风险估计会上升约 1.5 倍。如果算法转向使用 neuralese(神经语),那么我们的边际风险估计会上升约 2 倍。在这两种情况下,我们都会建议更早实施控制。
- 如果我们观察到我们的 AI 实际在搞阴谋,或更一般地被当场抓获,那么我们会强烈地更新为认为这些 AI 是失准的搞阴谋者。我们可能也会对它们的能力进行更新。
- 如果我们得知 AI 公司一直在采用会激励 COT 显得美观、或以其他方式破坏其忠实性属性的技术(例如,如果我们得知大多数 COT 只是‘装饰性的’,正如这篇论文所声称的),那么我的风险估计会上升 1.5 倍。
缓解
在此阶段,我们需要防止 AI 采取灾难性行动(具体见上文威胁模型一节),同时从它们那里提取有用的劳动(具体见下文引出一节)。我们有两层防御:
- 确保我们的 AI 处于受控状态(即便 AI 想要,也无法造成灾难)。
- 确保我们的 AI 没有失准(AI 不想造成灾难)
实践中,AI 控制很可能是此处安全论证中最承重的部分,因为对齐技术似乎不太可能好到足以充分降低风险。
核心控制回路是:
- 通过让模型(或扮演模型的人类)尝试击败我们的控制措施,来对其进行红队测试
- 估计一个搞阴谋的 AI 需要多有能力才能击败我们的措施
- 评估我们当前的 AI 是否低于该能力阈值
- 对看起来不充分的措施进行迭代,或下架那些能力强到足以突破我们控制的 AI 系统。
你需要为哪些方面确保控制
有许多领域是我们需要在 AI 被部署其中时确保对它们的控制的。基本策略将保持不变(执行上述控制回路),但对所有那些我们大量依赖 AI 劳动的领域有一个具体的图景是有用的。
- 常规 AI 研发,尤其是安全研发。这尤其重要,因为如果 AI 研发过程被劫持,它可能通过颠覆安全措施或向后继者中植入失准目标而直接导致存在性灾难。这是控制的主要焦点。
- 机器人。这在下文 Plan A 一节中有更深入的讨论,在那里它尤为相关。
- 非因果研究(Acausal research)。我们希望不需要用 AI 来做这件事,因为它是一个极难验证且概念负载重的领域。
- 改善网络安全(通过重新设计所有软件和接口)。
- 做所有控制工作本身。例如,构建更好的控制评估、进行红队/蓝队博弈、搭建更好版本的红队/蓝队博弈等。
- 政策/沟通/说服。领先的 AI 项目或许应当使用其 AI 来协助政策努力。当然,这很容易出大问题(如果 AI 是失准的,它们可能破坏政策努力;或者如果公司有糟糕的策略,比如试图规避一项会放缓起飞的国际协议)。这最好不要是超级说服(superpersuasion),后者尤其可怕,而且很可能无法确保对其的控制。
- 战略。同样,我们希望你不必用 AI 来做你的战略,但也许这里有些工作是可验证的。例如,你可以只向 AI 提供 2015 年之前的信息,让它尝试产出与当时的战略工作一样好的成果。
- 验证。AI 可用于提升硬件启用机制(hardware enabled mechanisms,HEM)的稳健性、设计新的 HEM、设计更好的验证算法(例如工作量证明)、被用作隐私保护验证的一部分(例如让 AI 监控以强制执行协议,但只传达关于合规性的 1 比特信息)、搜寻隐蔽项目、测谎机器等。其中许多是可验证的,或适合进行红队/蓝队博弈。
- 构建 EM(全脑仿真)或其他形式的智能增强。这里有很多研究方向,其中许多是可验证的。然而,一个核心瓶颈将是串行时间。
- 武器研发(用于数据中心的常规导弹、用于数据中心的无人机、破坏威慑的反弹道导弹等)。这可用于帮助延长领先 AI 项目或国家所拥有的领先时间,以避免需要进行智能爆炸。在极端情况下,这甚至可能涉及开发奇异技术(例如纳米技术),但我们希望这并非必要。这显然出于通常的原因而危险,此外还因为如果 AI 劫持了这些武器,事情可能变得糟糕。
- 整体经济提升/工业爆炸。AI 也许能够建立自己的独立工业基础,使其能够自主制造芯片,这可能让它们能进行自己的智能爆炸。请注意,它们很难悄无声息且快速地做到这一点,因此这是一个不太可能的威胁模型,尤其是在 Plan C 中。运营自主工厂的 AI 可能偷运出易于制造的进攻主导型技术,如生物武器/工程化大流行。
- AI 也许能够建立自己的独立工业基础,使其能够自主制造芯片,这可能让它们能进行自己的智能爆炸。请注意,它们很难悄无声息且快速地做到这一点,因此这是一个不太可能的威胁模型,尤其是在 Plan C 中。
- 运营自主工厂的 AI 可能偷运出易于制造的进攻主导型技术,如生物武器/工程化大流行。
- AI 朋友。如果智能爆炸期间的 AI 被作为聊天机器人广泛部署(像当前的前沿 AI 那样),那么它们将有能力说服大量人群为其利益行事,例如通过游说亲 AI 的政策。
- 在政府中的部署。正如 AI 2027 中所描绘的,如果部署在政府中的 AI 是失准的,它们可能战略性地误导政策制定者做出会让它们自己获得权力的决策。
- D/acc(防御性加速)。我们希望将 AI 用于 D/acc,尤其是与生物威胁相关的 D/acc。然而,构建生物防御可能看起来与构建生物威胁有些相近,需要确保 AI 无法访问构建和部署生物武器的物理工具。
我们预期实践中会有哪些主要控制措施?
- 人工监控。让人类阅读 AI 生成的行动和思考,并评估它们有多大风险。其中一部分行动或许应当是 AI 行动和思考的随机抽样。
- 可信与不可信监控。人工监控非常昂贵,因此(至少在 Plan C 中)人类只有能力监控 AI 生成输出中的极小一部分。因此,大部分监控将不得不由 AI 完成。其中一些应由那些笨到不太可能在对我们搞阴谋的 AI 来完成(可信监控),而另一些监控则应由那些可能在对我们搞阴谋的 AI 来完成(不可信监控)。不可信监控可能很重要,因为不可信模型将是唯一有能力理解相关行动/思考的 AI。尽管 AI 在搞阴谋,我们或许仍能获得一个有用的不可信监控器,方法是用不良行为的示例训练该监控器、在运行时插入伪造的不良行为示例(蜜罐,honeypots),或寄希望于 AI 难以串通。(在此处有更多讨论。)
- 执行/替换/审计。使用监控器评估一个 AI 智能体所采取的行动有多可疑。如果这些示例明显无害,就让 AI 智能体自主执行它们。如果非常可疑,就派出一支人类审计团队更深入地审查该行动。然而,智能爆炸期间很可能有海量的 AI 智能体,因此人类将只能审计它们所采取行动中的极小一部分。
- 抗串通的不可信监控。在部署一个 AI 智能体时,使用其他 AI 智能体(你可能出于与原智能体类似的原因而不信任它们)来检查某个 AI 的行动是否危险。当然,这里的关键问题是这些 AI 可能在串通。缓解这一问题的主要策略是对监控器进行钓鱼行动(sting operations),即创造海量看似可信的、AI 可能采取的有害行动,并检查监控器是否忠实地报告了该行动。如果我们抓到 AI 采取了一个看起来极有可能失准的行动,我们就可以用该行动来引导(bootstrap)对我们 AI 系统的更多钓鱼行动。至关重要的是,我们不必告诉任何 AI 它们被抓到不当行为,因此我们或许能够持续获得越来越多 AI 尝试进行有害行动的示例,同时使我们的控制设置对那些攻击尝试越来越稳健,并对哪些类型的攻击可能发生获得越来越好的理解。
- 最小权限原则。一个 AI 智能体应当拥有其预定目的所必需的最少信息和权限。例如,如果一个 AI 在做改进智能体脚手架的实验,因而需要对一个前沿模型运行推理,它应当通过 API 来做,而非直接访问并从模型权重中采样。如果这一原则应用得当,我们预期监控有害行动的成本可以降低 10 倍或 100 倍,因为监控器大多只需审查那些拥有危险的高数量权限的行动。
- 高质量的事件响应团队。网络安全中的一个关键动态是为潜在的令人担忧的行为布下绊线(tripwires)和警报,然后四处探查和审计以确定是否存在潜在威胁。任何尝试进行智能爆炸的项目都应当有一个类似的、资源充足的团队。该团队的目标应当是在(例如)行动发生后几天内识别出 AI 所采取的有害行动。在智能爆炸的深入阶段,AI 可能在几天时间内完成数月或数年的认知劳动,因此这一延迟可能需要缩短到数小时或数分钟的挂钟时间。
- 信息隔离与限制通信。从 AI 控制的角度看,最坏的情形是 AI 公司运行海量能够以人类无法理解的方式(例如 neuralese)任意互相通信的 AI。例如,我们可以:限制 neuralese。即在我们的部分或全部模型中,我们可以维持一条思维链。限制那些会导致乱码 COT 的 RL 设置。限制不透明的长期记忆。将 AI 系统之间的通信限制为通过受监控的渠道进行。采取各种反隐写措施(例如改写,paraphrasing)。
- 限制 neuralese。即在我们的部分或全部模型中,我们可以维持一条思维链。
- 限制那些会导致乱码 COT 的 RL 设置
- 限制不透明的长期记忆
- 将 AI 系统之间的通信限制为通过受监控的渠道进行。
- 采取各种反隐写措施(例如改写)。
AI 控制的细节在此处有更多讨论:确保强大 AI 处于受控状态的理由。
应急预案:当你抓到你的 AI 搞阴谋一次时该怎么办?
我们有可能会抓到生产环境中的 AI 连贯地搞阴谋,或至少称职地做出非常恶意的行动。例如,我们可能看到 AI 尝试为未来模型植入后门、试图逃逸、试图发动流氓式内部部署、试图破坏安全研究等。
我们也可能在与实际所用训练设置高度类似的实验设置中看到这一点。我们还可能发现 AI 最终在其思维链或其他清晰可读的输出中搞阴谋(或至少表现出明确、连贯且相对一致的失准)。抓到 AI 搞阴谋可能会大幅改变我们的方法:
- 重新考虑当前的部署。抓到 AI 可能会使当前的安全论证/论点/成本收益计算失效,因此我们应重新考虑我们的做法。
- 披露:你显然应当就此类事件告知公众。
- 记录:保存良好且相当可验证的记录,可能有助于说服第三方相信该事件是真实的而非编造的。鉴于潜在的对抗性局面,这可能很重要:我们希望说服那些可能担忧某种议程的、潜在对抗性的公司和国家。关于为何这在默认情况下可能成为一个问题,请参见此处的一些讨论。如此处所讨论,稳健的记录对于事后检测也有帮助。
- 信息控制:理想情况下,防止 AI 知道它们已经被抓。至少,基于 AI 已被抓这一前提对其进行红队测试,以观察这如何改变它们的行为。
- 改进缓解措施:如果我们尽管发生了此事件仍要继续推进,那么我们有多种方式可以改进我们的安全缓解措施。如此处所讨论,我们会想在抓到 AI 之后转变我们对控制的方法。无论我们当前是否打算继续推进,我们都应开始着手应对此事件并改进我们的缓解措施。我们也应尝试基于研究该事件来更好地理解搞阴谋/失准。
- 利用这一证据推动 Plan A。随着越来越多的证据涌入,且证据变得越来越无可辩驳,也许我们可以转向一种更理智的政策,即不在没有相当高的避免 AI 夺权保证的情况下鲁莽地构建 ASI。然而,即便在有充分证据表明 AI 在对我们搞阴谋的条件下,政府也很有可能没有被充分说服、或过于无能而无法协调一次放缓。因此,我们需要为这样一个世界做好准备:我们不断反复抓到失准行为,但仍不得不继续部署很可能在搞阴谋的模型。
- 我们是否应当直接针对明确的严重行为(这些行为看起来有可能源于搞阴谋)的案例进行训练,这一点尚不清楚。这可能是有害的,因为我们本质上是在训练 AI 更不容易被抓。这可能使我们更不容易抓到更多例子(在其他条件相同时我们更希望能抓到),并可能让 AI 更好地理解我们的对策。尽管有这些弊端,但在某些情况下,针对特定行为进行训练可能是值得的:在绝望的仓促情形下:尽管通过控制降低风险的能力有限,我们仍可能继续部署很可能在搞阴谋的 AI。在这种情况下,针对被抓行为进行训练至少提供了边际改进。当我们拥有许多多样化的检测方法时:如果针对一种检测方法进行训练不会损害我们其他的检测能力,弊端就较小。当我们已经吞下失准风险时:在某些情形下,我们放弃了确保对输出的控制,而只是寄希望于 AI 没有在搞阴谋。如果我们已经放弃确保控制(也许因为控制在某些重要情形下太困难或太缺乏竞争力),那么倘若 AI 在搞阴谋我们本就已经在承受大量风险,而在此处使用其输出并不增加边际风险——那么针对特定行为进行训练的弊端就较小。
- 在绝望的仓促情形下:尽管通过控制降低风险的能力有限,我们仍可能继续部署很可能在搞阴谋的 AI。在这种情况下,针对被抓行为进行训练至少提供了边际改进。
- 当我们拥有许多多样化的检测方法时:如果针对一种检测方法进行训练不会损害我们其他的检测能力,弊端就较小。
- 当我们已经吞下失准风险时:在某些情形下,我们放弃了确保对输出的控制,而只是寄希望于 AI 没有在搞阴谋。如果我们已经放弃确保控制(也许因为控制在某些重要情形下太困难或太缺乏竞争力),那么倘若 AI 在搞阴谋我们本就已经在承受大量风险,而在此处使用其输出并不增加边际风险——那么针对特定行为进行训练的弊端就较小。
此处有更多讨论。
我们何时把努力从控制上转移开?
一旦我们大幅越过 ITAI 里程碑(例如,我们在超人编码者之后有一段时间了),我们有望已经研究并实施了大部分我们想要的控制措施(至少是那些不太特定于模型或其能力水平的措施)。我们应继续改进我们的控制措施以应对更高的能力水平,但我们有望在控制上花费更小比例的时间,并把这部分努力转向其他领域。除了作为控制协议本身一部分在审计上投入合理比例的努力之外,我们很可能还在控制措施的持续维护、专门化和更新上投入合理比例的努力。总体而言,我认为我们应当在控制工作上(至少是对象层面审计之外的部分)投入较低比例的人类研究者努力,以便这部分努力可以转到别处那些如今更具杠杆效应的其他研究领域。如果控制看起来大体上跟得上能力的水平,那么理想情况下我们会把在控制上的努力减半。
由于我们现在拥有更强大的模型,研究失准类比越来越具杠杆效应。如果我们得到相对自然的搞阴谋例子(尤其是如果我们有多个),那么利用这些例子研究搞阴谋现在就相当有前景。(当然,如果我们遇到相当有力的搞阴谋证据,我们应对风险水平进行更新,这可能会改变我们的优先级。)随着我们推进到更高的能力水平并遇到更多经验证据,我们将更清楚哪些非搞阴谋威胁模型看起来令人担忧、需要处理。(非搞阴谋威胁模型更容易识别和研究,因此我们应对这些威胁模型的概率有合理的理解。)对于搞阴谋,我们会看到一些基于模型架构的经验更新,我们可能基于抓到搞阴谋者而强烈向上更新搞阴谋,也可能基于没有看到那么多搞阴谋证据而略微向下更新。(关于我们将如何更新,请见此处的讨论。)
引出
到这个时候,AI 可能对许多应用极其有用(包括技术安全研究、安全防护和尝试争取时间),因此确保我们有效利用 AI 应当是我们所从事工作中相当大的一部分,而且它比以前更重要(这在事先也更难着手)。这项工作很可能常常在一定程度上特定于具体应用,因此,从事技术 AI 安全研究和安全防护的人员现在工作的一个重要部分将是弄清如何用 AI 更有效地自动化其工作的部分环节(同时确保输出确实良好且 AI 处于受控状态)。
要成功移交,我们需要完成很多事,而这很可能不得不在相当短的时间内发生,因此 AI 加速是关键。即便在我们能够争取到大量时间的世界里,那些时间本身也往往是用 AI 劳动争取来的(尤其是在 Plan C 中)。除此之外,我们的希望在于,我们移交给的那些 AI 能够以远快于人类的速度运作,以迅速完成所需的工作。
请注意,我们既关心假设我们的 AI 在搞阴谋时的“最坏情形有用性”(这是我们用控制进行核心评估的对象),也关心在我们的 AI 没有对我们搞阴谋这一条件下我们对有用性的最佳猜测。因此,在尝试提升有用性时,我们应关心把这两者都往上推。这一权衡在关于提升 AI 有用性的文章中有更多讨论。
我们将试图让我们的 AI 做什么?
在缓解与引出阶段,我们需要 AI 帮助完成范围广泛的各种任务。核心应用包括:
安全研究与实施。这是最重要的应用。我们需要 AI 帮助完成:
- 控制研究:开发和迭代控制措施、运行控制评估、对监控系统进行红队测试
- 失准类比:创造和研究搞阴谋的模型生物、在这些类比上测试干预措施
- 更广义的对齐研究:致力于避免搞阴谋、改善我们对训练如何塑造 AI 倾向的理解、开发更好的监督方法
- 安全防护实施:构建和审计安全防护基础设施(不过从控制的角度看这很可怕——构建安全防护基础设施的 AI 本身必须处于受控状态或弱到不太可能在搞阴谋)
- 构建对上述所有工作进行迭代所需的评估基础设施
争取领先时间。一旦 AI 劳动对直接尝试争取时间非常有用,这就成为一项高优先级事项。这包括:
- 协助政府在防扩散方面的努力
- 网络进攻和防御能力
- 用于国际协调的监视和验证技术
- 军事应用和武器研发
- 更广义的工业加速
- 展示风险和能力以提高其他行为者的付费意愿
对于许多直接争取时间的策略(例如军事、网络、监视),AI 可能只有在大幅越过 ITAI 之后的能力水平上才会非常有用。
改善 AI 认识论及哲学/概念推理。这对于获得有用的安全工作和实现移交可行性都很重要。我们想要这样的 AI:
- 在概念性/模糊领域上对齐、有能力且被良好引出
- 具有良好的认识论和求真能力
- 能够在极难且高度依赖概念/哲学推理的研究上表现出色
- 即便在这些选择依赖于无法向人类清晰呈现的高背景知识和直觉时,也能做出良好的战略选择
理想情况下,我们最终会部署具有惊人求真能力的 AI,它们对安全研究之外的一大批应用也有用。
为移交做准备。随着此阶段推进,越来越多的努力投向:
- 确保 AI 在移交所需的所有任务上以相当高的可靠性泛化为高度对齐
- 研究我们将如何打造一个运转良好的后 ASI 社会
- 构建评估移交是否会顺利的行为测试
其他专门应用:
- 全脑仿真研究(如果这条路径看起来可行)
- 人类智能增强研究
- 使世界对强大 AI 更具稳健性(生物防御、网络防御等)。在 Plan C 中,这很可能相对不如 Plan A/B 重要,因为我们将被迫很快移交给一个大幅超人的 AI。无论如何,我们很可能应当用 AI 摘取一些唾手可得的成果。
面向安全研究者的外部部署。让致力于降低风险的外部团体能够使用 AI 很重要。这涉及:
- 给予他们更好的模型访问权限
- 专门为他们的用途引出模型
- 可能为他们的用例确保控制(确保控制评估涵盖此用例、提供对内部控制措施的访问权限,并根据需要调整/构建新的控制措施)
让致力于这些工作的外部团体能够使用 AI(并将这些团体视为重要客户)也很重要。这可能涉及给予他们更好的模型访问权限、专门为他们的用途引出模型、为重要应用补贴算力,以及可能为其确保控制(例如确保我们的控制评估涵盖此用例、提供对我们内部控制措施的访问权限,并根据需要调整/构建新的控制措施)。
AI 劳动带来的预期加速
我们能期望多大的加速?一种思考方式是:安全研究/实施是通过投入劳动、算力和智慧/判断力/品味而产出的。基于这些投入存在某种关于产出的生产函数。
AI 将能够把 AI 能力研发的劳动加速某个幅度。安全研发劳动的乘数很可能更小,因为安全由于更加混乱且更难验证而更难加速(不过引出措施可能有助于缩小这一差距)。但与能力研发相比,安全研发很可能在劳动(而非算力)上有相对更大的回报。总体而言,这使得两者中哪个会被 AI 加速得更多变得不清楚,至少在大量努力被投入加速安全研发的情况下是如此。我们不需要安全研发被加速得比能力更多——我们只需要它被加速得足够多。
一些粗略估计:
- 在 ITAI(约 3 倍 AI 研发劳动加速)与超人编码者(约 15 倍 AI 研发加速)之间:如果安全加速是 AI 研发加速的 0.6 次方(由于来自人类劳动的瓶颈、糟糕的引出以及控制税),这得出安全研发加速为 2.2 倍到 6.7 倍,整体安全研发加速的平均值约为 3 倍。我预计劳动加速会随时间大致呈指数增长,并认为安全的产出可能大致是 劳动速度^0.75 × 算力^0.25(数字大多是编的),因此整体安全研发加速的平均值约为 2.8。
- 所以这些粗略估算(BOTEC)的数字表明整体平均安全研发加速约为 3 倍。
- 我们应预期 ITAI 与超人编码者之间相隔多久?我想我预计大约 1 年,所以这意味着在此期间我们多获得了 2 年。
- 在超人编码者与 Min-H 之间:原则上,如果 Min-H 完美对齐,我们或许可以期望它把安全研发劳动加速巨大的幅度(例如 100 倍)。但实践中,引出和/或控制可能是获得这一加速水平的巨大障碍(也就是说,我们最终会有关键的人类瓶颈,无法提取出最优的劳动)。这或许可以用一个比 0.6 更激进的系数来建模,比如约 0.5,它只得出 10 倍的安全劳动研发加速。这在很大程度上是移交在此时具有优势的原因。如果我们使用 10 倍安全劳动研发加速(100^0.5)和超人编码者的 15^0.6 这一数字,我们会预期超人编码者与 Min-H 之间整体平均安全研发加速为 4.8 倍。话虽如此,我认为我在此处使用的模型在 Min-H 处开始以多种方式失效。(我认为 AI 也许能做足够多的低算力安全研发,以至于我的生产函数出错,而且我认为安全研发的控制/引出会有多糟糕真的很不清楚。)
- 我预计超人编码者与 Min-H 之间大约相隔 1 年,所以默认情况下我们在看多获得 3.8 年。
- 如果我们能在 6 个月里充分利用 Min-H 水平的 AI,我们会得到相当于 15 年的安全研发。当然,我们可能无法实现完全引出,但大幅改进看起来是可能的。
此外,那些不受算力约束的安全方向(包括用于在 AI 上运行实验的推理算力)看起来尤其好:相对于其他资源,我们将拥有大量劳动。一种常见策略可能是让更聪明的 AI 在弱得多的 AI 上运行实验(这对安全研发和能力研发都适用)。
所以在没有任何额外领先时间的情况下,你应当想象这大概就好比我们在 ITAI 与超人编码者之间有 3 年、在超人编码者与 Min-H 之间有 5 年。但实践中这可能相当不同:例如我们可能从较弱的 AI 中获得的价值略少,或者能够从 Min-H 中提取出多得多的价值(尤其是在我们花大量时间改进引出/控制之后,或者我们把搞阴谋解决得足够好以至于我们乐于放弃控制之后)。总体而言,我认为我们很有可能能够在移交前从 Min-H 中利用出多得多的价值,尤其是由于部分移交(partial handoff)之类的做法,不过这该如何计算并不清楚,因为这本身就需要解决关键的对齐/安全问题。
引出技术与方法论
我们用于引出的技术与用于移交可行性的技术相同,后者在此处以及本文档稍后有讨论。总结来说,引出的核心希望是:
- 构建行为测试
- 把这些行为测试用作留出(held out)评估集,或用作训练所用的 RL 环境以提升性能。
- 尝试使用有原则的技术来改善泛化性能。
另一个不适用于移交的引出思路是与 AI 系统做交易。此阶段的失准 AI 可能处于糟糕的战略位置(例如它们不相信自己能够成功接管),或者可能有易于满足的偏好,这会使它们受到激励而接受交易。
安全防护
我们想要在拥有强大 AI 时至少有一些领先时间,这意味着我们很可能至少需要一些安全防护,足以防止对手立即窃取模型权重。我们不是安全防护专家,因此不会涉及实施,但我们会谈谈你应达到的阈值,以及计划如何根据你所达到的安全防护水平而变化。
让我们先定义你最关心的安全防护类型:
- 模型权重。如果模型权重泄露,对手立即就能在你的模型上运行推理。这在早期相对不那么重要(因为对手拥有早期系统并不算太糟;主要弊端是这会加速他们的智能爆炸),而在你已经拥有极其强大的 AI 时(例如能够进行超级说服/快速建立纳米机器人军团的 AI)则相对更重要。模型权重(至少目前)非常大(数量级为太字节),这从安全防护角度看非常理想,因为这意味着对手将需要一个高带宽通道才能偷运出模型权重。
- 算法安全防护。如果算法泄露,那么对手可以重跑你的训练运行,赶上你。然而,他们需要重跑训练运行这一事实引入了一个延迟,如果对手的集群比你的小得多,这个延迟可能相当大。如果你在 Plan C 中拥有很大的硬件领先优势(例如多 7 倍算力,这是当前美中差距),那么算法安全防护很可能不太重要。算法安全防护的一个重要子集是保护 RL 环境和合成训练数据。这些数据集/环境比典型的算法洞见大得多,因此很可能更容易保护(但仍比模型权重更难保护)。
- 算法安全防护的一个重要子集是保护 RL 环境和合成训练数据。这些数据集/环境比典型的算法洞见大得多,因此很可能更容易保护(但仍比模型权重更难保护)。
- 抗破坏能力。你可能也关心加固你的数据中心以抵御破坏。这可能是一个负和的主张(因为人人的数据中心都被破坏这一均衡是好的),但可能值得(例如因为其他人已经加固,而你所拥有的边际算力/领先时间正投向安全)。
这些中的每一个都伴随着一个稳健性光谱,例如 RAND 在此处定义的模型权重安全防护的一个光谱(SL1-SL5)。这个光谱是为模型权重定义的,但可以扩展到算法或破坏,也可以扩展到指你能保持稳健的时间长度。与标准安全防护(例如商业机密)不同,在 Plan C 中,将 AI 模型或算法保护一小段时间(例如几个月)往往就足够了,因为几个月后你已经因其他原因(通常是外生的 AI 进展)而被迫进行移交了。
可能非常糟糕的情形:
- 中国可以立即窃取你的模型权重,然后立即将它们交给一个中国国内项目。这导致领先的 AI 项目“与自己赛跑”,因为它取得的任何进展都会立即被中国窃取和使用,因此永远无法放缓。
- 模型权重窃取存在一个小的滞后。然而,为避免高 AI 夺权风险,你也不得不付出不可忽视的安全税(例如控制税很高、你需要不使用 neuralese、监控很昂贵等)。落后的行为者如果窃取了你的模型,然后尽管算力较少却抛弃了安全技术,就可能超过你。
可能还行的情形:
- 中国(及其他对手)没有觉醒到 AGI 的战略重要性/没有积极窃取模型权重(即便他们能够轻易做到)。
- 一个核心希望是,你可能在对齐上取得成功。那么,就让人们窃取你的模型,但寄希望于被窃取的模型保持对齐。即便中国拥有一堆 RID,在移交前你导出安全技术,然后你们双方都进行对齐的移交。他们也很有可能就直接窃取对齐技术。
- 更换规范(spec)可能很困难,例如因为把模型训练到对齐花费了大量数据。被窃取的模型可能相对刚性地对齐于你的价值观。在这种情况下,你希望情况是中国对该规范满意,因此你可能想加入让步。这是一条微妙的界线,因为(1)你想确保你规范中的价值观按中国的标准足够好,好到他们会实施你的对齐技术;(2)你想按你自己的标准让 AI 的价值观尽可能好。作为基线你可以做可纠正性,但你可能想稍微加入一些你自己的价值观。
- 在这种情况下,你希望情况是中国对该规范满意,因此你可能想加入让步。这是一条微妙的界线,因为(1)你想确保你规范中的价值观按中国的标准足够好,好到他们会实施你的对齐技术;(2)你想按你自己的标准让 AI 的价值观尽可能好。作为基线你可以做可纠正性,但你可能想稍微加入一些你自己的价值观。
很可能,在移交前,我们至少会想达到类似 SL-5-1TB-2-months 的水平(读作:SL5,即能抵御顶尖网络能力民族国家的高优先级行动,针对大小至少 1 TB / 500B FP16 参数的模型权重窃取,持续至少 2 个月)。
核心希望将是达到安全防护逃逸速度(security escape velocity):如果你用预期的预算持续致力于改进安全防护,那么直到奇点结束,中国都将无法再窃取模型权重。做到这一点的计划是越来越依赖 AI 系统来改进安全防护。这将涉及:
- 快速改造物理安全防护
- 在很大程度上依赖基于软件的安全防护方法。更多细节请见这篇文章。
因为我们用 AI 做的一件核心事情是尝试大规模改进安全防护。这意味着我们需要在 AI 撰写我们基础设施的大部分内容时对其进行控制,这很可怕;这使得上文的控制/监控一节成为承重部分。
我将把我们的整体优先级总结成一份最佳猜测清单,但首先值得讨论这单一清单的一些局限。ITAI 到 Min-H 这段时期涵盖了广泛的能力范围,而我们的优先级会随着能力水平的提升(以及我们基于来自世界的证据进行更新)而持续变化。我将聚焦于超人编码者与超人 AI 研究者之间中点处的优先级,这也大致是 ITAI 与 Min-H 之间的中点(这两者分别在这两个里程碑各自之前和之后一些)。在原始 AI 2027 情景中,这是在 2027 年 6 月。要了解我们对更早或更晚能力的优先级是什么样,你可以把这些优先级与我在 ITAI 下和在 Min-H 处延迟下讨论的优先级进行插值。
除了我们的优先级随能力水平变化之外,我们的优先级还会因我们观察强大 AI 系统以及世界如何应对强大 AI 系统所做的更新而变化。在整个缓解与引出阶段,由于能力的推进(及驱动这些能力的底层算法)以及外部世界对能力的反应(这可能有相当的滞后),这些更新都会持续进行。大的算法转变可能在相当高的能力水平上发生(例如在超人编码者之后),尤其是因为 AI 研发被加速,所以我们可能直到相当晚才看到相关更新(不过我们可以尝试猜测事情会往哪里发展)。
我给出的数值优先级清单将假设我对将发生什么的典型猜测(假设 AI 公司在遵循这一整体计划)。这里关于 AI 属性和发展的假设与我们在 AI 2027 中看到的相当相似(不过 AI 进展的速度未必那么相似)。特别是:
- 我们尚未抓到模型搞阴谋,但架构正强烈地朝着使搞阴谋更可能的方向发展。我们有一些模型生物,我们在其中于一些使搞阴谋更可能、抓捕更容易的稍显奇特的条件下抓到了大体自然、但不那么称职的搞阴谋。我们不确信我们当前的 AI 不会在某些时候搞阴谋,它们使用 neuralese。
- 由于奖励黑客导致的部署行为上的明确问题大多已被解决,但训练中仍有各种类型的奖励黑客,部署中偶尔也有问题,通常是更微妙的问题。
- 控制基本上在起作用(截至超人编码者之后一段时间),我们有一个合理(虽不完美)的安全有用性剖面,而且我们对这一控制的评估做得大体还行但有些凌乱。可能曾有一段时期控制跟不上能力,但利用 AI 劳动和专门的努力,事情又回到了正轨。
- 我们有一个有些糟糕的 neuralese 解码方法,我们认为它很可能对 AI 的蓄意规避不稳健,且只能产出略有用处的结果。除此之外,我们在可解释性上其实没有取得那么多进展,但我们有一些略微有用的方法来增强行为测试并更好地理解为何出现了某些行为。
- 相对于人类,AI 在易于核查的任务上稍好,在“品味”上较差,但仍有一些迁移和泛化
- 到 AI 自动化 AI 研发时,很快就会有海量的 AI,它们实际上运行得相当快(见 AI 2027 的数字)
- 默认情况下,AI 的样本效率将大幅低于人类,但它们会用一堆 AI 特有的优势来弥补,而且会有一堆略微特定于领域的技巧来提升在某领域内学习、或用更多算力边干边学的样本效率(例如生成与你正在处理的任务相似的任务,并对这些任务持续做 RL)
- 让美国政府充分认同(包括认同安全担忧),以至于他们愿意采取激进行动来放缓其他(对抗性或不那么安全的)行为者、包括在此事上与 AI 公司合作,并且在有领先优势时愿意出于安全担忧而放缓,这是相当可行的。(这未必是我的典型猜测,但看起来可信。)
- 全脑仿真(及其他人类增强)最终未能成为一条可行的路径
以下是在这些更新之下、并假设我们处于超人编码者与超人 AI 研究者之间中点时的最佳猜测优先级清单。这些百分比对应于 AI 公司内部人类劳动的份额,也与算力使用相关。
- 15% 控制及与控制相关的措施(这是一个相对宽泛的类别,包含一些并非与控制核心相关、但我认为归入此类别比归入其他类别更合适的内容)。7% 杂项以 ML/AI 为重点的控制研究与实施。5% 对我们已部署控制措施的持续维护和更新。1% 软件基础设施。2% 构建对搞阴谋稳健的高质量人工评估流程。
- 7% 杂项以 ML/AI 为重点的控制研究与实施。
- 5% 对我们已部署控制措施的持续维护和更新
- 1% 软件基础设施
- 2% 构建对搞阴谋稳健的高质量人工评估流程
- 21% 模型生物/类比。16% 搞阴谋的失准类比(如果我们迄今找到了更有力的结果,我们会在此投入更多努力)。1% 其他威胁模型的模型生物。4% 研究缓解措施,包括通过在模型生物上尝试各种做法。(如果我们有更好的模型生物可供研究,我们会在此投入更多努力)
- 16% 搞阴谋的失准类比(如果我们迄今找到了更有力的结果,我们会在此投入更多努力)
- 1% 其他威胁模型的模型生物
- 4% 研究缓解措施,包括通过在模型生物上尝试各种做法。(如果我们有更好的模型生物可供研究,我们会在此投入更多努力)
- 20% 使 AI 差别性地对安全工作更有用,并为除解决搞阴谋之外的让渡决策(deference)各方面做准备。9% 总体上尝试将 AI 应用于协助本安全工作的其余部分,并使 AI 对此更有用。5% 改善 AI 认识论及哲学/概念推理(这也有助于总体上使 AI 对安全工作有用)。5% 总体上为让渡决策做准备(通过搞阴谋之外的手段)(这也有助于总体上使 AI 对安全工作有用)。1% 让渡决策的其他方面。
- 9% 总体上尝试将 AI 应用于协助本安全工作的其余部分,并使 AI 对此更有用。
- 5% 改善 AI 认识论及哲学/概念推理(这也有助于总体上使 AI 对安全工作有用)
- 5% 总体上为让渡决策做准备(通过搞阴谋之外的手段)(这也有助于总体上使 AI 对安全工作有用)
- 1% 让渡决策的其他方面
- 17% 与美国政府合作利用 AI 建立领先优势(并让美国政府更加认同,不过请注意,吓人演示归入下方一个单独的类别)。就更多算力有回报而言,这相比 AI 公司员工的劳动应使用相对更高比例的算力。此外,这有可能无法富有成效地利用这么多劳动努力。若如此,我们应把这部分劳动转向其他领域(大体上均匀地)。另外请注意,该领域的资源应随能力的进一步提升而增加。
- 3% 使世界对强大 AI 更具稳健性,即 d/acc(生物防御、网络防御、吞掉自由能等)。这有可能应占更高比例的资源,我相当不确定。
- 5% neuralese 解码
- 10% 杂项科学、对相关 AI 属性的理解及其他(不包括与控制相关的科学)。2% 各种可解释性方法(自上而下、自下而上/机制可解释性)。我把 neuralese 解码从该类别中提取了出来。1% 与 AI 做交易并获取同意。2% 总体上寻找令人担忧的模型行为(未必以有助于检测模型连贯搞阴谋的方式)。3% 基于早期工作看起来有前景的登月式项目。2% 杂项。
- 2% 各种可解释性方法(自上而下、自下而上/机制可解释性)。我把 neuralese 解码从该类别中提取了出来。
- 1% 与 AI 做交易并获取同意
- 2% 总体上寻找令人担忧的模型行为(未必以有助于检测模型连贯搞阴谋的方式)
- 3% 基于早期工作看起来有前景的登月式项目
- 2% 杂项
- 9% 能力评估以及对强大能力和失准两者的演示。7% 吓人演示。2% 评估、调查与预测。
- 7% 吓人演示
再次提醒,回想一下这是一个相当不确定的优先级排序,实践中的优先级将取决于别处讨论的各种更新。例如,如果我们抓到生产环境中的 AI 在对我们搞阴谋,我们会把相对更多的资源转向搞阴谋缓解和理解,而从其他一切上转移开。
这一优先级排序并未聚焦于把工作导出给其他 AI 公司,而这很可能会在一定程度上改变优先级。更聚焦于可导出性会在一定程度上减少对控制、有效利用 AI 以及为让渡决策做准备(包括认识论/概念性内容)的聚焦,因为这些领域很可能涉及更复杂、与这家特定 AI 公司更紧密整合的技术,而后两者也可能有相当大的能力外部性。我们会把焦点转向模型生物、neuralese 解码、建立对风险的意识,以及其他可能产出简单易实施却仍然非常有用的措施的研究方向。
第 3 阶段:暂停
在某个时刻,我们已把 AI 能力提升到足够程度,使得如果我们的 AI 是对齐且被良好引出的,我们就可以安全移交,也就是说,如果它们在管理持续进行的智能爆炸这一任务上尽其所能,它们就能比人类管理得更好。我们的默认建议是在此时暂停,并尝试完成完成移交所需的所有其他研究,尤其是移交可行性和降低显性搞阴谋的可能性。在此阶段,我们仍将大量利用 AI 劳动,这意味着我们将继续引出和缓解的努力。
在本节中,我们将讨论我们应何时暂停、暂停期间应做什么,以及除暂停之外我们应追求哪些退出策略。在下一节(移交)中,我们将讨论移交前需要完成的所有研究(我们把它分为缓解搞阴谋和移交可行性),不过请注意,这些研究在很大程度上需要在此阶段完成。
我们应何时暂停?
默认答案:在 Min-H 暂停。Min-H 是指整体通用能力水平足以使移交可行的 AI。(也就是说,如果这些 AI 同时也足够对齐,并在需要时我们对能力剖面做出不增强通用能力的狭窄改进,那么其能力就足以满足我们的移交期望目标。)一个 AI 要够得上 Min-H,至少需要有能力(在进一步的引出/对齐工作和对能力剖面的狭窄改进之后)自动化 AI 研发和持续的技术 AI 安全工作。
在我们暂停的这一时点,这并不假设 AI 已对齐到我们可以信任它们的程度,也不假设该 AI 具备我们关心的所有所需具体能力、且这些能力可以在不提升通用能力的情况下训练出来。
Min-H 是一个自然的停止点,因为这些 AI 足以进行移交(按定义如此),而如果我们进一步扩展,我们就会承担搞阴谋在移交前出现的额外风险。换句话说:移交之后,AI 在应对局面上比我们更有能力。因此,如果我们避免了搞阴谋,使 AI 实际把它们的能力用于预期目标,那么总体而言它们会比人类更称职地管理局面。既然我们从失准中承担了大量额外风险,而默认情况下并未获得大量收益,我们就应在 Min-H 暂停,并且只在我们已经移交给这一能力水平的 AI 之后,才扩展到更有能力的 AI。
这并非普遍成立:有些情形你想在 Min-H 之前暂停,有些情形你想在 Min-H 之后暂停;这些情形列举如下。
我们可能想在 Min-H 之前暂停的情形:
- 控制技术无法扩展到 Min-H。一路推进到 Min-H 才暂停,很可能一路上承担了大量 AI 夺权风险。特别是,另一个相对自然的阈值是在你可能无法控制更聪明的 AI 时暂停。然而,我们认为(在 Plan C 中)全球风险很可能通过在较早阶段接受一定的失控风险、以换取更多时间来致力于让移交安全,从而被最小化。
- 我们有巨大的领先优势。如果领先的 AI 项目拥有巨大的领先优势,那么它就不必匆忙冲向 Min-H,而是可以在此之前暂停,同时仍有足够的时间在 Min-H 阶段开展交接可行性方面的工作。在 Plan C 中,这种情况相当不太可能出现。
- 糟糕的安全性。这一点在以下情形中尤其相关:你拥有良好的国内协调、糟糕的模型权重与算法安全性,并且中国国内的进展足够缓慢,以至于其主要由泄露的模型和算法驱动。在这种情形下,如果你早早放慢速度,这种放缓基本上是免费的。在这种情况下,美国 AI 公司或许应当以中国在默认情况下会达到的速度前进,即『对标中国(China match)』,以便在起飞(takeoff)过程中拥有最多的总体时间来为交接做好准备。在这个世界中,我们可能永远不会完全『暂停』,但实际上仍会因为能力进展比本可以达到的速度更慢而消耗掉相当一部分领先优势;或者我们可能会一直对标中国直到 Min-H,然后在 Min-H 阶段消耗领先优势,接着进行交接。
我们可能想要越过 Min-H(但不进行交接)的情形:
- 交接可行性研究的速度受限于 AI 的能力,而非人类的监控/理解。如果我们能够可靠地控制比 Min-H 更聪明的 AI,并且能够从它们身上引出有用的工作,那么进一步扩大规模就是合理的。然而,我们目前认为在这一阶段,控制将受制于人类的理解;如果我们拥有更聪明的 AI,我们实际上并不能开展更多研究,因为在人类充分理解这些研究以确保其正确性之前,我们不得不限制它们的进展。换一种说法,就是我们拥有一种能够扩展到超越 Min-H AI 的控制方案,它足以既缓解风险又从更强大的模型中引出能力。
- 我们能够运用高保证(high assurance)技术来缓解在越过 Min-Handoff 之后的图谋(scheming),但尚未完成交接可行性研究。如果我们拥有一种对齐方案,我们有信心它能够在某个高于 Min-H 的能力阈值之前防止图谋,而且我们还没有完成交接可行性研究,那么扩大规模很可能是一笔划算的交易。这通常是情形(1)的一个特例。我的最佳猜测是,交接将主要受制于图谋的可能性,因此这一点将不适用。
- 我们瞄准的是交接以外的退出策略。例如,也许我们需要某些特定的 AI 能力来实现某个与 Plan B 相关的破坏(sabotage)选项,或者用来协助人类智能增强。
- 我们处于绝望的境地。例如,在 Plan D 中,领先的 AI 实验室可能正在训练能力更强的 AI 系统,而安全团队对此无能为力。在这种情况下,安全团队等到更高的能力水平以完成基本的交接可行性研究,可能是重要的。目前,我们假设我们处于 Plan C 中,因此有足够的意愿花费一些余裕(slack)来放慢速度。
- 上述各种情形的杂项组合。一般而言,绝望、更好的对齐、控制以及引出(elicitation)技术都会推动在交接之前扩展到超越 Min-H,而相反的因素则推动更早放慢速度(或至少不扩展到超越 Min-H)。
暂停多久?
这基本上会是一种权衡:一方面是更多暂停时间对交接可行性和减少图谋的边际回报,另一方面是等待更久被超越的风险。倾向于认为 AI 会图谋以及倾向于认为交接可行性所需时间比我们原先想的更长的更新,会暗示我们应当暂停更久;倾向于认为存在有竞争力项目的更新,则意味着我们应当暂停更短的时间。
暂停期间的优先事项
在这一阶段开始时,我们的优先事项可能大致如下:
- P0:利用防扩散(non-proliferation)来争取时间(包括例如演示风险)。
- P1:为交予(deference)做准备(避免图谋和交接可行性)。
- P2:确保我们当前及近期未来对 AI 的使用是安全可靠的
- P2:在交接可行性之外,更好地引出 AI 的劳动
- P3:让整个世界总体上更加稳健(d/acc)
如果争取更多时间不可行,那么除了 P1(为交予做准备)之外的所有优先事项,在这段时间内基本上都无关紧要。
到了 Min-H 这个节点,我们更有可能已经就形势和最相关的风险有了大量更新。因此,我们很可能已经判定图谋是一个极难解决的问题,很可能出现在任何一次给定的训练中;又或者我们可能已经判定图谋在这一能力水平上不成问题。
无论如何,一旦我们接近这一阶段的尾声(因为我们时间不够了,或者因为我们对交予会进行得多好相当有信心),我们的首要任务就应当是让交予顺利进行。领先时间很可能需要持续维护(也就是说,需要持续努力以确保我们继续延缓其他行动者),而我们的 d/acc 工作也可能需要维护。因此,如果情况如此,我们就无法大幅削减在这方面的投入。
在计划较早的阶段,我们的安全工作应更多地聚焦于相对直截了当的平实(prosaic)方法(这些方法相对唾手可得),而非登月式(moonshot)的努力。这是因为我们不确定自己将拥有多少时间,因此先瞄准较容易的方法是合理的。然而,随着时间推移,我们会摸清更多这类唾手可得的干预措施,因此我们应当越来越多地投入登月式的工作。如果我们最终进入一个相对稳定的阶段——在其中我们主要聚焦于为交予做准备,且已经用尽了大多数较为直截了当(且唾手可得)的方法——那么我们很可能应当转向主要从事登月式的工作。
交接以外的退出策略
避免图谋和交接可行性最终都是交接所需的,因此如果我们实际上已经放弃了这些目标,我们就需要寻求交接的替代方案。
交接的主要替代方案有:
全脑仿真(Whole brain emulation)/ 人类增强。在我们所拥有的时间内,人类增强最可行的路径是全脑仿真。这将使人类(或源自人类的心智)能够以 AI 的速度运行,并在无需信任 AI 对难以核验任务的判断的情况下处理局面。
我极低置信度的直觉是,在拥有相当强大的 AI 之后的 3-5 年内,动用海量的 AI 劳动以及一场总体上规模庞大、资本充裕的努力(例如,可能积累到数万亿美元,并动用诸如《国防生产法》(DPA)之类的政府权力来加速该项目),我们或许能够实现全脑仿真。这种程度的支持力度似乎有些不太可能。这在 Plan B 中似乎非常困难,在 Plan C 中则几乎毫无希望。
一个更加具有推测性的选项是成年生物学人类的强力智能增强;我对其可行性没有很好的把握,但它或许值得记在心里。
我们可以直接利用受控的 AI 劳动来进行人类增强的努力,但更好的做法或许是先利用受控的 AI 劳动来(在某种置信度上)避免图谋,然后再利用这些不图谋的 AI 来进行人类增强的努力。也就是说,走『控制 -> 足以避免图谋的对齐 -> 人类增强』的路径。当控制是一项很大的税负、达到交予所需的对齐水平(或能力剖面)也相当困难、并且避免图谋大大易于成功交予时,这条路径最为高效。
目前,我不确定我们该如何判定全脑仿真是否足够有前景(鉴于我们拥有的时间等等),以至于值得大幅提升投资水平。弄清楚如何做出这一判定,将是关于这一领域的较早期工作的一个重要部分。
实际上 AI 公司很可能也不愿意在这一领域投资,但我认为如果公司愿意的话,这是值得投资的。
升级到 Plan B。我们可以不进行交接,而是通过破坏竞争对手的 AI 项目并暂停来进一步拖延。这将涉及要么(i)动用现有的军事能力,要么(ii)用 AI 来增强这些能力(可能通过扩展到超越 Min-H,以达到一个足以让我们稳定局势的有用性阈值)。所有这些选项看起来都相当糟糕,但鉴于其他各种可能性,它们或许是最不坏的选项。其中一些选项在我们未发表的 Plan B 情景中有所概述。争取到多得多的时间并不能彻底解决我们的问题,我们在稍后某个时点仍然需要交予或进行人类增强。但是,争取到 >10 年会极大地改变整个格局,意味着我们可以追求截然不同的策略(例如登月式方案)。然而,争取到多得多的时间很可能需要承担扩展到比交接所需更强大的 AI 所带来的风险。因此这是风险的关键来源。但是,如果我们在图谋方面遇到问题(但我们认为可以扩展控制)或在交接可行性方面遇到问题,这可能比其他选项更好。
升级到 Plan A。通过大量的政府介入升级到 Plan A 或 B,这可以通过国际协调或积极的防扩散努力争取到多得多的时间。这在我们的 Plan A 情景中有更多讨论。
将我们主要的『退出策略』目标从交接改为通过军事优势(Plan B)或人类增强来争取多得多的时间,将会产生巨大的差别。特别是,随着交接不再居于中心地位,交接可行性变得不那么重要,Min-H 作为暂停节点也变得不那么自然。
自我了断(Self Immolation)。作为一个负责任的领先开发者,你或许应当干脆暂停能力扩展并允许自己被超越:这使你能够将所有资源重新投向 AI 安全和交接准备。然后,你或许能够把这些成果输出给最终真正进行交接的一方。另一个好处是,这一策略向政府和竞争对手发出了一个代价高昂的信号,表明你对前进道路怀有严重的担忧。另一方面,竞争对手实际上很可能无法成功实施你输出给他们的对齐技术(不过这是一个可能自利的论点,人们对提出它应当保持谨慎)。总体而言,这在公司内部政治上可行的可能性相当低:CEO 们在默认情况下会强烈主张保持领先于竞争对手,从而使这一选项失效。话虽如此,我们相当认为,事后来看,自我了断很可能会被视为显而易见的道德正确之举,正如即便拒绝参与大屠杀的良心拒服者只会被更无顾忌的纳粹所取代,拒绝参与大屠杀在道德上仍然是显而易见地正确的。
第 4 阶段:交接
在人类把智能爆炸(intelligence explosion)的管理权交接出去之后,领先 AI 项目内部的人类将不再需要一套总体策略,因此本阶段将主要讨论交接的较早期环节,以及在第 3 阶段(暂停)期间需要做些什么才能让完全交接顺利进行,并简要讨论我们交接给的那个 AI 可获得哪些权能(affordances)。
我们对交接的核心希望是,我们能构建出足够胜任且值得信任的 AI 系统,以至于我们可以在所有相关问题上交予它们。特别是,我们的关键希望在于,我们的 AI 系统最终会落入良好交予盆地(Basin of Good Deference,BGD):意思是我们所交予的初始 AI 将足够对齐且足够明智,能够很好地管理 AI 的持续开发。这意味着我们不需要假定初始 AI 是完美对齐/明智/胜任的,只需假定它们足够好,好到在失效模式出现时能够发现并处理它们即可。
我们实现交接的最佳猜测策略如下:
- 确保测试具有代表性,暂且把关于过拟合的担忧放在一边。我们可以把这一类别拆分为:避免图谋。特别是,我们关心的是避免这样一种失效模式,即 AI 蓄意企图破坏你的测试的准确性,例如通过在某些任务上策略性地表现不佳或表现过好。避免其他会使测试失去代表性的失效模式。这只是围绕交接可能出现的一堆杂七杂八的可能失效模式。例如:在大规模下发生的诡异模因(memetic)压力,以至于小规模测试不具代表性。有人试图越狱(jailbreak)你的 AI(例如中国植入秘密的忠诚倾向)。AI 为了在测试中表现好而进行终极性(terminally)优化(例如,使其在不处于测试环境时置信度大为降低)。AI 明显意识到自己处于测试之中,以一种导致它表现得截然不同的方式。
- 避免图谋。特别是,我们关心的是避免这样一种失效模式,即 AI 蓄意企图破坏你的测试的准确性,例如通过在某些任务上策略性地表现不佳或表现过好。
- 避免其他会使测试失去代表性的失效模式。这只是围绕交接可能出现的一堆杂七杂八的可能失效模式。例如:在大规模下发生的诡异模因(memetic)压力,以至于小规模测试不具代表性。有人试图越狱(jailbreak)你的 AI(例如中国植入秘密的忠诚倾向)。AI 为了在测试中表现好而进行终极性(terminally)优化(例如,使其在不处于测试环境时置信度大为降低)。AI 明显意识到自己处于测试之中,以一种导致它表现得截然不同的方式。
- 在大规模下发生的诡异模因(memetic)压力,以至于小规模测试不具代表性。
- 有人试图越狱(jailbreak)你的 AI(例如中国植入秘密的忠诚倾向)
- AI 为了在测试中表现好而进行终极性(terminally)优化(例如,使其在不处于测试环境时置信度大为降低)。
- AI 明显意识到自己处于测试之中,以一种导致它表现得截然不同的方式。
- 构建良好的行为测试。撇开图谋的风险不谈,我们将会想要构建大量困难的测试/评估(evals),使得通过这些评估就意味着具备了足以进行交接的能力和对齐。这将主要包括诸如开放式的、难以核验的概念性推理,例如哲学推理、理论对齐论证、改进 AI 控制等等。
- 在不过拟合的前提下针对测试进行迭代。最后,一旦(1)和(2)完成,我们就把交接问题化简成了一个『常规』的机器学习问题:AI 公司可以针对它们所构建的测试进行迭代,同时小心避免过拟合。鉴于需要一定程度的泛化,我们有望能够使用某种较有原则的技术以及对正在发生之事的某种理解。
请注意,我们对交接的策略与我们在第 2 阶段和第 3 阶段的引出策略极为相似。这是因为我们在解决同一个问题:试图确保 AI 在做有用的工作。主要区别在于,在第 2 阶段和第 3 阶段,我们仍有人类处于回路之中,因此我们可以在部署时利用人类劳动来核验 AI 的输出,并且我们仍能把人类当作研究过程中一个承重的部分来使用;而在交接之后,则必须信任 AI 完全自主地完成这一切。
这篇文章更详细地讨论了交接的技术计划。
为什么要交接?
支持交接的基本理由是,在 Plan C 中,领先的行动者不愿进一步暂停或拖延时间(例如通过破坏),因此我们不得不构建极度超人的 AI 系统。如果我们要这样做,把这一过程的控制权交接给 AI,似乎比试图由我们自己来运行它更好。这是因为:(i)对齐仅仅大致人类水平的 AI 系统(更具体地说是 Min-H),很可能比对齐远比人类聪明的 AI 系统更容易;(ii)对齐的人类水平 AI 系统在管理向未来 AI 系统过渡方面,会比基准人类做得更好。因此,通过赋能对齐的人类水平 AI 系统并信任它们让后续开发顺利进行,我们能够比试图由自己直接推进未来的 AI 开发做得更好。
在实践中,我们的猜测是,AI 公司将倾向于过快地扩展能力,越过相关阈值(例如 Min-H AI 和 Max-C AI),但同时也会由于一种错位的、想要保持处于回路之中的愿望而倾向于过晚地交接。在实践中,AI 公司很可能不会有意进行交接,而是干脆扩展到超越相关阈值,随着人类变得太慢而无法跟踪相关进展,在实践中造成了事实上的交接。我们认为这是一个糟糕的策略,更好的做法是测量相关阈值,仔细监控你何时越过它们,然后在它优于其他选项时最终有意地去赋能 AI。
交接的平实(prosaic)计划
现在我们将更详细地讨论交接计划的各个组成部分。请注意,这只是我们在假设形势与今天所看到的类似(即别处并未出现对齐技术的重大突破)的情况下的最佳猜测式拆解;如果确实出现了看起来优于这一基线的突破,我们应当改而采用那些方法。
避免图谋
(基本上就是从这里照搬来的:避免图谋的各种方法概览)
图谋可能很难处理,因为我们未必能够用行为测试直接对其加以研究(因为图谋者会想要避免被抓住和被研究)。处理图谋主要有两条路径:
- 在错位类比(有时称为模型生物,model organisms)上研究图谋(测试各种措施、建立更好的理解等等),同时寄希望于我们的结果能迁移到我们所担忧的真实图谋者身上。这一类别包括:研究真实的图谋 AI。我们需要检测出这些 AI 正在图谋,而这可能很困难,因为图谋者(至少是我们所担忧的那种具有长期危险偏好的类型)在其他条件相同的情况下会想要避免被抓住。但是,我认为存在一些克服这一点的途径,而且从类比性的角度看,研究真实的图谋者很可能是最好的。我在我的文章《研究真实图谋者的前景》中更详细地讨论了我们可能如何做到这一点。我还在我的文章《图谋者的迭代式开发与研究(IDSS)》中讨论了一种研究真实图谋模型(并解决其中一些困难)的特定策略类型。研究真实图谋这一类别可以进一步分解为:我们可以研究自然图谋,即一个合乎情理的 AI 开发过程(训练、提示、脚手架搭建等)导致了一个(我们能够检测到的)图谋 AI。我们可以研究来自操纵过程的图谋,即我们构造出一个不合情理的 AI 开发过程——也就是一个与实践中可能发生的情况不相似的 AI 开发过程——它导致了一个(我们能够检测到的)真实的图谋 AI。这一类别不包括我们直接训练进图谋行为的情形,因为我把那种情形归入了它自己的类别。研究训练进的图谋行为,即我们直接训练(或指示)一个 AI 去按照我们认为一个自然图谋的 AI 可能会有的方式行事(至少在某些方面)。这(未必)需要抓住真实的图谋者,但它可能极度不类比,以至于结果基本上根本无法迁移。我在我的文章《通过研究训练进的图谋行为来降低图谋风险》中更详细地讨论了这一点。研究抽象类比,即我们所研究的 AI 并没有在做类似图谋的事情,但我们出于某种结构性原因仍然认为它是类比的。它可能仅就图谋者所具有的某一特定属性(或一部分属性)而言是类比的,在这种情况下,我们会希望我们的工作聚焦于相关的属性。抽象/结构性类比的一个具体例子是这样一项实证工作:使用一个只有在它确信自己正在与政治上保守的用户交谈时才表达政治上保守观点的 AI(由此产生一种在某种意义上类比于图谋的条件性策略)。迄今为止,对抽象类比的探索或讨论还不多,但这似乎是一个值得追求的方向。(事实上,我认为它很可能最终比研究训练进的图谋行为更有用,因为我们或许能够研究海量而多样的抽象类比,而在训练进的图谋行为的情形下,多样性似乎要难得多。)有一篇文章在这方面讨论了抽象类比的一些额外例子。
- 研究真实的图谋 AI。我们需要检测出这些 AI 正在图谋,而这可能很困难,因为图谋者(至少是我们所担忧的那种具有长期危险偏好的类型)在其他条件相同的情况下会想要避免被抓住。但是,我认为存在一些克服这一点的途径,而且从类比性的角度看,研究真实的图谋者很可能是最好的。我在我的文章《研究真实图谋者的前景》中更详细地讨论了我们可能如何做到这一点。我还在我的文章《图谋者的迭代式开发与研究(IDSS)》中讨论了一种研究真实图谋模型(并解决其中一些困难)的特定策略类型。研究真实图谋这一类别可以进一步分解为:我们可以研究自然图谋,即一个合乎情理的 AI 开发过程(训练、提示、脚手架搭建等)导致了一个(我们能够检测到的)图谋 AI。我们可以研究来自操纵过程的图谋,即我们构造出一个不合情理的 AI 开发过程——也就是一个与实践中可能发生的情况不相似的 AI 开发过程——它导致了一个(我们能够检测到的)真实的图谋 AI。这一类别不包括我们直接训练进图谋行为的情形,因为我把那种情形归入了它自己的类别。
- 我们可以研究自然图谋,即一个合乎情理的 AI 开发过程(训练、提示、脚手架搭建等)导致了一个(我们能够检测到的)图谋 AI。
- 我们可以研究来自操纵过程的图谋,即我们构造出一个不合情理的 AI 开发过程——也就是一个与实践中可能发生的情况不相似的 AI 开发过程——它导致了一个(我们能够检测到的)真实的图谋 AI。这一类别不包括我们直接训练进图谋行为的情形,因为我把那种情形归入了它自己的类别。
- 研究训练进的图谋行为,即我们直接训练(或指示)一个 AI 去按照我们认为一个自然图谋的 AI 可能会有的方式行事(至少在某些方面)。这(未必)需要抓住真实的图谋者,但它可能极度不类比,以至于结果基本上根本无法迁移。我在我的文章《通过研究训练进的图谋行为来降低图谋风险》中更详细地讨论了这一点。
- 研究抽象类比,即我们所研究的 AI 并没有在做类似图谋的事情,但我们出于某种结构性原因仍然认为它是类比的。它可能仅就图谋者所具有的某一特定属性(或一部分属性)而言是类比的,在这种情况下,我们会希望我们的工作聚焦于相关的属性。抽象/结构性类比的一个具体例子是这样一项实证工作:使用一个只有在它确信自己正在与政治上保守的用户交谈时才表达政治上保守观点的 AI(由此产生一种在某种意义上类比于图谋的条件性策略)。迄今为止,对抽象类比的探索或讨论还不多,但这似乎是一个值得追求的方向。(事实上,我认为它很可能最终比研究训练进的图谋行为更有用,因为我们或许能够研究海量而多样的抽象类比,而在训练进的图谋行为的情形下,多样性似乎要难得多。)有一篇文章在这方面讨论了抽象类比的一些额外例子。
- 运用有原则的方法,即我们有某种良好的先验理由认为该方法会有帮助(可能是基于把该方法或类似方法应用于研究图谋以外的其他事物所得到的一些实证结果)。例如,我们可能相信在训练期间对 AI 的情境觉知(situational awareness)做某种特定的修改是有帮助的。再举一例,我们可能拥有某种解码『神经语(neuralese)』的方法,基于各种实证测试,我们相信它对于理解 AI 的认知(包括对图谋 AI 的认知)是高度有效的,并且有充分的先验理由认为,理解 AI 的认知对于检测(并随后可能针对其进行迭代)图谋是有帮助的。请注意,这一类别包括用于检测、预防、移除以及更好地理解图谋的方法。即使我们只聚焦于避免图谋,用于检测(或理解图谋)的方法仍然适用,因为检测(并更好地理解)图谋将帮助我们开发出避免图谋的方法。我计划在未来的一篇文章中提供一份有原则的方法构想清单,并更详细地讨论有原则的方法。我在我的文章《避免图谋的有原则方法》中更详细地讨论了有原则的方法。
避免杂项失效
我们还需要避免所有其他会使我们的行为测试失去代表性的失效模式。这并不是一个非常自然的类别,只不过是我们选择用来讨论除图谋或过拟合之外一切会导致有代表性的行为测试失败的因素的地方。
需要避免的具体失效包括:
- 从测试到部署的泛化失效。例子:可能存在在大规模下发生的诡异模因(memetic)压力。在线学习,它导致 AI 的能力剖面以一种引发失效(包括图谋的出现)的方式漂移。AI 明显意识到自己处于测试之中,以一种导致它表现得截然不同的方式。AI 为了在测试中表现好而进行终极性(terminally)优化(例如,使其在不处于测试环境时置信度大为降低)。缓解措施:基本上,要么我们需要让测试尽可能有代表性,从而使它们需要跨越的分布偏移尽可能小,然后我们还需要使用尽可能有原则的技术(而非那些看起来在分布内有效的临时性解决方案)。此外,要努力小心地留出一些测试集(它们抽取自与训练/验证不同的分布),并看看我们对这些留出的测试集能否获得良好的泛化。
- 例子:可能存在在大规模下发生的诡异模因(memetic)压力。在线学习,它导致 AI 的能力剖面以一种引发失效(包括图谋的出现)的方式漂移。AI 明显意识到自己处于测试之中,以一种导致它表现得截然不同的方式。AI 为了在测试中表现好而进行终极性(terminally)优化(例如,使其在不处于测试环境时置信度大为降低)。
- 可能存在在大规模下发生的诡异模因(memetic)压力。
- 在线学习,它导致 AI 的能力剖面以一种引发失效(包括图谋的出现)的方式漂移。
- 缓解措施:基本上,要么我们需要让测试尽可能有代表性,从而使它们需要跨越的分布偏移尽可能小,然后我们还需要使用尽可能有原则的技术(而非那些看起来在分布内有效的临时性解决方案)。此外,要努力小心地留出一些测试集(它们抽取自与训练/验证不同的分布),并看看我们对这些留出的测试集能否获得良好的泛化。
- 外部对手植入秘密忠诚。在 Plan C 中,AI 系统的目标变得极为承重,因为我们正在把信任交接给这些 AI。如果对手能够腐蚀 AI 系统的目标(例如通过植入一次越狱),这将是灾难性的,并可能导致这一方法论失败。缓解的方法:什么都不做,只是期望。尚不清楚对手在默认情况下是否足够机敏(on the ball)以执行此类操作,尽管 AI 项目缺乏足以阻止它的安全性。SL-5 破坏防护安全。阻止(哪怕是)高度积极的外部行动者能够破坏/后门化这些模型。这可能涉及利用 AI 来做安全。诸如通过部分重算来实现训练工作量证明(proof of work)之类的验证方法,在这里或许也会变得有帮助,以验证模型的训练数据是正确的。图谋缓解措施可以泛化。许多预防图谋的方法可以泛化到预防秘密忠诚。任何涉及透明性的东西都可能检测/预防秘密忠诚。错位类比/蜜罐(honeypots)可以抓住带有秘密忠诚的模型。智能爆炸期间的价值传播困难。我们可以接受某些模型被对手后门化,但寄希望于递归自我改进的过程会移除秘密忠诚。蒸馏(Distillation)——它可能是 RSI 的一个组成部分——似乎能移除许多后门。RSI 还可能涉及为每一次新的训练运行从头生成全新的数据集,因此对手将需要向每一个新世代植入被投毒的数据。
- 在 Plan C 中,AI 系统的目标变得极为承重,因为我们正在把信任交接给这些 AI。如果对手能够腐蚀 AI 系统的目标(例如通过植入一次越狱),这将是灾难性的,并可能导致这一方法论失败。
- 缓解的方法:什么都不做,只是期望。尚不清楚对手在默认情况下是否足够机敏(on the ball)以执行此类操作,尽管 AI 项目缺乏足以阻止它的安全性。SL-5 破坏防护安全。阻止(哪怕是)高度积极的外部行动者能够破坏/后门化这些模型。这可能涉及利用 AI 来做安全。诸如通过部分重算来实现训练工作量证明(proof of work)之类的验证方法,在这里或许也会变得有帮助,以验证模型的训练数据是正确的。图谋缓解措施可以泛化。许多预防图谋的方法可以泛化到预防秘密忠诚。任何涉及透明性的东西都可能检测/预防秘密忠诚。错位类比/蜜罐(honeypots)可以抓住带有秘密忠诚的模型。智能爆炸期间的价值传播困难。我们可以接受某些模型被对手后门化,但寄希望于递归自我改进的过程会移除秘密忠诚。蒸馏(Distillation)——它可能是 RSI 的一个组成部分——似乎能移除许多后门。RSI 还可能涉及为每一次新的训练运行从头生成全新的数据集,因此对手将需要向每一个新世代植入被投毒的数据。
- 什么都不做,只是期望。尚不清楚对手在默认情况下是否足够机敏(on the ball)以执行此类操作,尽管 AI 项目缺乏足以阻止它的安全性。
- SL-5 破坏防护安全。阻止(哪怕是)高度积极的外部行动者能够破坏/后门化这些模型。这可能涉及利用 AI 来做安全。诸如通过部分重算来实现训练工作量证明(proof of work)之类的验证方法,在这里或许也会变得有帮助,以验证模型的训练数据是正确的。
- 图谋缓解措施可以泛化。许多预防图谋的方法可以泛化到预防秘密忠诚。任何涉及透明性的东西都可能检测/预防秘密忠诚。错位类比/蜜罐(honeypots)可以抓住带有秘密忠诚的模型。
- 智能爆炸期间的价值传播困难。我们可以接受某些模型被对手后门化,但寄希望于递归自我改进的过程会移除秘密忠诚。蒸馏(Distillation)——它可能是 RSI 的一个组成部分——似乎能移除许多后门。RSI 还可能涉及为每一次新的训练运行从头生成全新的数据集,因此对手将需要向每一个新世代植入被投毒的数据。
构建良好的行为测试
首先,让我们讨论一下我们需要用行为测试来确保哪些属性:
- 能力剖面。我们想要确保 AI 在所有那些否则会成为交接瓶颈的狭窄任务上足够有能力。我们最担心成为交接瓶颈的能力,是在诸如 AI 安全和哲学之类开放式、难以核验的任务上进行的、概念负荷很重的研究(更多)。
- 对齐剖面。我们不确定确切的对齐目标应当是什么。我们的最佳猜测是,对齐剖面应当是 AI 具有可纠正性(corrigible):它们总体上通过所期望的渠道遵循人类的指令(例如某个政治机构的指令),并且不以任何方式企图颠覆人类的修改或监督。(更多)
我们希望为这两者都构建行为测试。这将涉及以下方式之一:使用领域专家来验证现有工作,利用未发表的工作,进行遗忘(unlearning)并看看模型能否重新发现相关想法,或者使用一个受限的训练语料库并看看模型能否重新发现。
概念性推理评估的构想:
- 重新发现数学/物理学/经济学/计算机科学等。或者在已知困难的问题上推进前沿。
- 在不测试的情况下造火箭,并看看它们是否管用。更一般地说,找到一些我们可以让 AI 难以核验、但事后可以让人类核验的任务。
这些做法的主要希望在于,存在着一些可泛化的推理技能,它们适用于范围广泛的概念性研究领域,即训练一个模型擅长概念性物理学研究,也有助于该模型擅长概念性 AI 安全研究。注意:这属于能力研究,显然可能加速 AI 起飞,那可能非常糟糕。然而,这些能力也处于交接的关键路径上,因此在某个时点我们将必须解决它们。此外,直接为我们交接所需的能力进行训练,意味着我们或许需要把通用能力扩展得没那么远,这降低了风险。这一研究途径的总体优先级安排总体上似乎很复杂,只应审慎地加以推进。
我们应当直接评估的领域:
- AI 战略。例如,给定 2005 年的知识,它在想出那些事后看来说得通的想法方面有多好。
- AI 控制。让 AI 尝试做出对齐/控制论证,然后评估它们是否成功,以及 AI 关于泛化行为的预测正确与否。
- 在模型生物上进行图谋检测。我们也可以做诸如构建图谋模型、然后看看 AI 能否区分图谋者与正常模型之类的事情。
- 理论 AI 安全。尝试让 AI 重新发现来自 ARC Theory、MIRI 和 CLR 等机构的未发表工作。
在不过拟合的前提下针对测试进行迭代
在不过拟合的前提下针对测试进行迭代的基本方法在这里有更多讨论。概括而言,主要的方法有:
- 构建为相关能力进行训练的强化学习(RL)环境或合成数据
- 收集该领域的人类数据/反馈,并将其用于训练。
- 通过实验找到那些能够良好迁移到我们所关心领域的领域,然后在那些领域上扩大训练规模。
- 对训练方法进行的其他各种杂项微调,这些微调在实践中会带来评估上更好的表现(同时小心避免过拟合)。
我们应当何时交接?
我们的最终目标是,让我们所交予的 AI 解决与强大 AI 系统相关的风险(以及此时恰好发生的其他严重风险),同时保全选项价值(option value),并让人类掌控更长期的、价值负荷的决策(例如,地球在更长期内应当如何治理、宇宙禀赋应当怎样处置等等)。相应地,我们的目标会是:我们所交予的 AI(及其后继者)不会夺权或(不必要地)杀害人类,这些 AI 能有效地致力于管理这些风险,并且这些 AI 遵循某种模型规范(model spec),该规范要求 AI 对某个人类群体或某个最终由人类运行的结构(例如美国政府的某个组成部分)保持可纠正性。
在实践中,我们预期在 Plan C 中交接将主要由政治意愿驱动。而这又将(在乐观的 Plan C 假设下)由落后的实验室何时会超越(已暂停的)领先实验室来驱动。
交接轨迹可能走向的一些方式:
- 标准 Plan C。你扩展到 Min-H AI,致力于为 Min-H AI 解决交接可行性和图谋问题。一直保持控制直到接近尾声,然后你放弃控制,并解决交接可行性。那些 AI 随后一飞冲天地 FOOM。
- 提前停止做控制(SDC-Handoff)。提前放弃控制(例如在 Min-H 之前,比如在 SAR 时或之前),祈祷 AI 没有在图谋,然后扩展到 Min-H,接着在那里暂停,然后解决交接可行性,然后交接。这将以承受一堆来自 Min-H AI 及以下水平的图谋所带来的错位风险为代价,换取节省下更多资源以让交予顺利进行。如果我们认为直到 Min-H 之前图谋的风险相当低,并且额外花在控制上的资源在使交予更有可能顺利进行方面会产生巨大的绝对回报(也许是因为否则我们将只有极少的时间),那么这或许是值得的。在我看来,使交予有可能顺利进行的大部分难度很可能就在于确保这些 AI 没有在图谋(并且不会在交予之后由于对齐漂移或类似原因而最终变得图谋),因此干脆承受这全部风险或许会大大降低问题的难度(这意味着,如果形势在其他方面看起来绝望,这是我们可以下的一个并非疯狂的赌注,以『打好我们的出路(play to our outs)』)。
- 在 Max-C 时诉诸军事。保持控制,在保持控制的同时大幅扩展到超越 Min-H,利用那些 AI 来获取军事优势(或以任何其他方式),争取到多得多的时间。
- 在超越 Max-C 时诉诸军事。与上面相同,但在不进行 HTC 交接的情况下放弃控制。这是因为建造机器人军队或许是一项特别容易验证的任务,所以并不需要完全交接。它很可能确实需要扩展到超越 Min-H,且不依赖那些 AI(因为那是一项在概念上令人困惑、难以验证的任务,所以在这里交予 AI 会涉及完全交接),因此它将依赖于在超越 Min-H 的阶段缓解图谋的、好于预期的技术(例如,最高到 +2SD TED-AI,或者甚至更远,取决于你有多少时间)。请注意,时间越多、美国政府(USG)的支持越多,这些策略就越好。
- 在 Max-C 时诉诸 EM(全脑仿真体)。与前面相同,但用人类增强而非军事优势。
- 在 Min-H 时诉诸 EM/军事。前面 2 种之一,但奇迹般地用恰好处于 Min-H 水平左右的 AI 来做到,例如因为军事或 EM 比我们所想的更容易。
交接之后的动态
在我们把智能爆炸的管理权交接给 AI 之后,它们仍然可能处于一个艰难的境地。要么(1)AI 需要在超越竞争对手的同时,继续传播足够的可纠正性 + 胜任性,要么(2)AI 需要找到一种拖住竞争对手的办法(例如通过一项交易或通过破坏)。
更详细一点,以下是交接之后一些可能的最终状态:
- 广泛扩散的、可扩展的、廉价的对齐。领先的 AI 项目解决了可扩展的对齐,并把这一解决方案扩散给竞争对手。如果对齐足够廉价,那么竞争对手就会使用它,我们最终将进入一个有许多对齐 AI 的多极世界。交接后的权力相对于初始能力 + 算力 + 物理资产 + 政治影响力而分布。率先启动智能爆炸很可能有中等程度的重要性。如果智能爆炸后的经济翻倍时间大约是 2 个月,那么有两个月的领先,你就能在你的算力之上获得一次初始翻倍,因此你相对多出了 2 倍的权力。相对于人类,AI 在取得对齐进展方面拥有一些额外的权能。值得注意的额外选项包括:它们或许就是能够让一堆常规技术扩展得更远,例如控制,只不过现在『可信』的水位线要高得多;机器劳动要多得多;通过内省(introspection)+ 提升能力实现的可扩展对齐。
- 领先的 AI 项目解决了可扩展的对齐,并把这一解决方案扩散给竞争对手。如果对齐足够廉价,那么竞争对手就会使用它,我们最终将进入一个有许多对齐 AI 的多极世界。
- 交接后的权力相对于初始能力 + 算力 + 物理资产 + 政治影响力而分布。率先启动智能爆炸很可能有中等程度的重要性。如果智能爆炸后的经济翻倍时间大约是 2 个月,那么有两个月的领先,你就能在你的算力之上获得一次初始翻倍,因此你相对多出了 2 倍的权力。
- 相对于人类,AI 在取得对齐进展方面拥有一些额外的权能。值得注意的额外选项包括:它们或许就是能够让一堆常规技术扩展得更远,例如控制,只不过现在『可信』的水位线要高得多;机器劳动要多得多;通过内省(introspection)+ 提升能力实现的可扩展对齐。
- 它们或许就是能够让一堆常规技术扩展得更远,例如控制,只不过现在『可信』的水位线要高得多
- 机器劳动要多得多
- 通过内省(introspection)+ 提升能力实现的可扩展对齐
- 跑赢所有竞争对手。如果对齐税仍然很高,那么把对齐解决方案扩散给竞争对手就不是一个选项,因为拼命竞赛的竞争对手会选择不使用该对齐解决方案。在这种情形下,竞争对手将有很高的概率变成一个流氓(rogue)AI。此外,即便作为领先者,如果你支付了过多的安全税,他们也可能在竞争中胜过你。你或许会做你的软件 foom,然后你开始你的纳米技术 foom。但纳米技术 foom 开始变得非常快。Ryan 猜测物理极限大约是一天的翻倍时间,很可能更短。你会很快进入太空并在那里完成这一翻倍的大部分,因为你会很快在地球上撞上废热问题。如果废热是一个很大的竞争优势,这个计划就行不通,所以你不得不以某种方式阻止你的竞争对手,或者进行某种协调(例如通过监管或协议)。或者你也可以自己把海洋煮沸,这将涉及把所有人类置于庇护所中,或者把所有人类送入太空,但到这一步这很可能已经能够相当廉价地完成。
- 如果对齐税仍然很高,那么把对齐解决方案扩散给竞争对手就不是一个选项,因为拼命竞赛的竞争对手会选择不使用该对齐解决方案。在这种情形下,竞争对手将有很高的概率变成一个流氓(rogue)AI。此外,即便作为领先者,如果你支付了过多的安全税,他们也可能在竞争中胜过你。
- 你或许会做你的软件 foom,然后你开始你的纳米技术 foom。但纳米技术 foom 开始变得非常快。Ryan 猜测物理极限大约是一天的翻倍时间,很可能更短。你会很快进入太空并在那里完成这一翻倍的大部分,因为你会很快在地球上撞上废热问题。如果废热是一个很大的竞争优势,这个计划就行不通,所以你不得不以某种方式阻止你的竞争对手,或者进行某种协调(例如通过监管或协议)。或者你也可以自己把海洋煮沸,这将涉及把所有人类置于庇护所中,或者把所有人类送入太空,但到这一步这很可能已经能够相当廉价地完成。
- 如果废热是一个很大的竞争优势,这个计划就行不通,所以你不得不以某种方式阻止你的竞争对手,或者进行某种协调(例如通过监管或协议)。
- 或者你也可以自己把海洋煮沸,这将涉及把所有人类置于庇护所中,或者把所有人类送入太空,但到这一步这很可能已经能够相当廉价地完成。
- 你通过监管阻止竞争对手。这里有多种选项:领先的 AI 公司可以推动一种监管俘获(regulatory capture)的结果,即所有其他竞争对手都被禁止建造 AI。或者,领先的 AI 公司可以推动大家协调一致地使用对齐解决方案,尽管它很昂贵,从而阻止背叛的项目跑赢。这在国内会有一段时间管用,但很快中国就会追上并开始跑赢,因此这一解决方案最终会瓦解,或者需要国际合作。重要的是要注意,深入到智能爆炸这么远的阶段,国际合作可能变得更有可能。
- 重要的是要注意,深入到智能爆炸这么远的阶段,国际合作可能变得更有可能。
- 你通过破坏阻止竞争对手。领先的 AI 公司可以接管世界(例如通过超级说服,AI 公司建立一支军队),或者通过黑客手段或在竞争对手 AI 项目中的秘密忠诚来阻止竞争对手。请注意,秘密忠诚的良善版本是黑进去然后替他们做对齐——换句话说,帮助他们的 AI 按照一个落后行动者的最佳利益行事,尽管这个落后行动者对整体战略局势有着糟糕的看法。显然,由于实验室不愿这样做,或者如果智能爆炸足够渐进而没有任何一家公司拥有很大的 AI 领先、以至于没有任何单个公司拥有很大的战略优势,这可能就不是一个选项。在这种情况下,你就需要采取上述最终状态之一。
- 领先的 AI 公司可以接管世界(例如通过超级说服,AI 公司建立一支军队),或者通过黑客手段或在竞争对手 AI 项目中的秘密忠诚来阻止竞争对手。请注意,秘密忠诚的良善版本是黑进去然后替他们做对齐——换句话说,帮助他们的 AI 按照一个落后行动者的最佳利益行事,尽管这个落后行动者对整体战略局势有着糟糕的看法。
- 显然,由于实验室不愿这样做,或者如果智能爆炸足够渐进而没有任何一家公司拥有很大的 AI 领先、以至于没有任何单个公司拥有很大的战略优势,这可能就不是一个选项。在这种情况下,你就需要采取上述最终状态之一。
不同计划下的对齐策略
Plan D
在 Plan C 中,我们假设有足够的政治意愿,使得领先的 AI 开发者强烈地优先考虑将来自错位 AI 的风险降到最低,并且相对于那些并不同样强烈优先考虑错位风险的开发者,至少拥有数月的领先时间。在本节中,我们讨论如果政治意愿的水平大大低于此,计划会如何变化的一些方面。特别是,我们假设某种类似于『内部十人(Ten people on the inside)』或 Plan D 的情形。
我们可以把 Plan D 中需要做的事情分解为领先 AI 公司的安全团队、其他 AI 公司以及外部行动者的任务。当然,很可能并不存在一个明确的领先者:在这种情况下,你可以把所有接近前沿的公司都当作领先实验室来对待。
领先实验室中的安全团队:
- 放弃指望整个公司拥有合理的安全实践。如果 AI 在图谋,它将能够上演 RID(不过这甚至可能都不需要,因为没有监控),植入后门,在相关研究上进行破坏或消极怠工(sandbag)等等。
- 安全团队的主要优先事项应当是避免该团队的研究被破坏,同时瞄准构建一个可行地用于交接的 AI。作为其中一部分(以及其他优先事项的一部分),安全团队应当尝试尽可能快速有效地把他们的工作自动化。关键担忧:集群基础设施不可信。AI 或中共(CCP)可能正在篡改你实验的结果。这很难避免,因为你并不掌控安全局势。加入一些防护措施,使你更有可能在你的集群上检测到这一点,但主要还是祈祷。
- 作为其中一部分(以及其他优先事项的一部分),安全团队应当尝试尽可能快速有效地把他们的工作自动化。
- 关键担忧:集群基础设施不可信。AI 或中共(CCP)可能正在篡改你实验的结果。这很难避免,因为你并不掌控安全局势。加入一些防护措施,使你更有可能在你的集群上检测到这一点,但主要还是祈祷。
- 其他优先事项包括:在生产环境中捕捉错位的唾手可得的成果。例如,搭建一些基本的监控系统,让廉价的模型审查那个正在自动化公司其余部分的 AI 所编写的通信和代码,并判断其中是否有任何代码看起来可疑。这里没有足够的资源来做到面面俱到,但很可能值得做个 80/20 的取舍。针对你自己模型的、会特定于你模型的模型生物(其他模型生物可以在别处做),例如因为你拥有能力最强的模型。在你的模型(它们是能力最强、最相关的)上复现其他公司做过的安全工作。如果可能,沟通哪些技术看起来是可扩展的、哪些不是。如果容易的话,尝试缓解公司逃逸或上演 RID 的可能性,但主要还是把优先级放在别处。安全团队很可能也没有权能来真正缓解这一点(例如,因为安全缓解措施带来的成本是公司不愿在研究者或 AI 生产力上付出的)。
- 在生产环境中捕捉错位的唾手可得的成果。例如,搭建一些基本的监控系统,让廉价的模型审查那个正在自动化公司其余部分的 AI 所编写的通信和代码,并判断其中是否有任何代码看起来可疑。这里没有足够的资源来做到面面俱到,但很可能值得做个 80/20 的取舍。
- 会特定于你模型的模型生物(其他模型生物可以在别处做),例如因为你拥有能力最强的模型。
- 在你的模型(它们是能力最强、最相关的)上复现其他公司做过的安全工作。如果可能,沟通哪些技术看起来是可扩展的、哪些不是。
- 如果容易的话,尝试缓解公司逃逸或上演 RID 的可能性,但主要还是把优先级放在别处。安全团队很可能也没有权能来真正缓解这一点(例如,因为安全缓解措施带来的成本是公司不愿在研究者或 AI 生产力上付出的)。
- 推动一个合理的交接候选者的方法论。这方面的方法论在很大程度上会看起来像 Plan C。很可能是在 Min-H AI 之后再做这件事,因为你想要以一种带有非零对齐税的方式来训练它,这意味着你需要在 Min-H AI 之上取得一定量的额外算法进展。这会招致额外的风险,因为你正在扩展到比交接前所需扩展到的更有能力的 AI,这招致额外的 AI 接管风险。考虑放弃控制(在交接之前,例如上文的轨迹 2),以便让交接可行性进行得更好。由于 Plan D 会相当绝望且仓促,缓解图谋的风险或许并不可行。此外,为交接可行性做准备可能有许多唾手可得的成果(例如搭建开放式概念推理任务评估)。换句话说,投入于交接的回报可能比投入于缓解图谋风险更易于取得。(另一方面,这当然会招致巨大的风险。)
- 这方面的方法论在很大程度上会看起来像 Plan C。
- 很可能是在 Min-H AI 之后再做这件事,因为你想要以一种带有非零对齐税的方式来训练它,这意味着你需要在 Min-H AI 之上取得一定量的额外算法进展。这会招致额外的风险,因为你正在扩展到比交接前所需扩展到的更有能力的 AI,这招致额外的 AI 接管风险。
- 考虑放弃控制(在交接之前,例如上文的轨迹 2),以便让交接可行性进行得更好。由于 Plan D 会相当绝望且仓促,缓解图谋的风险或许并不可行。此外,为交接可行性做准备可能有许多唾手可得的成果(例如搭建开放式概念推理任务评估)。换句话说,投入于交接的回报可能比投入于缓解图谋风险更易于取得。(另一方面,这当然会招致巨大的风险。)
- 在让安全团队的 AI 在公司内部被广泛采用方面,你可能会遇到政治上的困难。有些 AI 可能是图谋者,而安全团队可能在他们那个模型分叉(fork)上应用了阻止图谋的缓解措施。如果你有一个诚实、给出良好建议的 AI,AI 公司可能并不喜欢那样。例如,安全 AI 可能会持续地(正确地)说公司正在疯狂地鲁莽行事,以及 CEO 正一心想要接管世界。安全团队或许应当尝试让他们的 AI 具备政治头脑,尝试寄希望于人们不会就不便的话题过于严厉地盘问它,或者干脆承受这一政治代价。
- 有些 AI 可能是图谋者,而安全团队可能在他们那个模型分叉(fork)上应用了阻止图谋的缓解措施。
- 如果你有一个诚实、给出良好建议的 AI,AI 公司可能并不喜欢那样。例如,安全 AI 可能会持续地(正确地)说公司正在疯狂地鲁莽行事,以及 CEO 正一心想要接管世界。
- 安全团队或许应当尝试让他们的 AI 具备政治头脑,尝试寄希望于人们不会就不便的话题过于严厉地盘问它,或者干脆承受这一政治代价。
- 其中一部分应当对公司保持非常忠诚。其中一部分应当考虑吹哨,以唤醒世界关注正在发生的疯狂事情。(不过这应当经过深思熟虑地进行,也可能有不好的影响,例如如果发生了 Plan C,这可能导致糟糕的政府干预。)
- 公司内部员工的动员与倡导。理想情况下,这应当主要在员工还拥有任何筹码时进行(在 AI 公司被完全自动化之前),或者也许只是靠氛围(因为领导层也许和他们是朋友,不想让他们不高兴)。我们主要希望他们更关心安全,在安全上花更多资源,更多地投入 AI 安全工作,与外部行动者合作,升级到一个更好的计划等等。
- 理想情况下,这应当主要在员工还拥有任何筹码时进行(在 AI 公司被完全自动化之前),或者也许只是靠氛围(因为领导层也许和他们是朋友,不想让他们不高兴)。
- 我们主要希望他们更关心安全,在安全上花更多资源,更多地投入 AI 安全工作,与外部行动者合作,升级到一个更好的计划等等。
- 尝试拉拢股东。财富是产权/美国政府依然存在的下游产物,因此他们有动机去保全这一点,这可能非常重要。相当一部分股东本身也是员工。
- 财富是产权/美国政府依然存在的下游产物,因此他们有动机去保全这一点,这可能非常重要。
- 相当一部分股东本身也是员工。
- 尝试与其他公司协调。例如,如果有几家公司确实非常接近,它们都关心安全,但由于竞争压力的原因正在做出残酷的取舍,那就尝试进行协调,使它们都在安全上投入。
- 例如,如果有几家公司确实非常接近,它们都关心安全,但由于竞争压力的原因正在做出残酷的取舍,那就尝试进行协调,使它们都在安全上投入。
落后的 AI 公司:
- 尝试拿出真实的风险证据,以推动转向 Plan C 或 C+ 情景。例如,尝试利用控制当场抓住你的 AI。
- 自己开展相关的安全研究并把它输出出去。对于上文讨论的、易于导入的所有研究(交接可行性、反图谋措施和控制技术),弄清楚领先实验室究竟应当做什么,然后让他们非常容易地实施你的缓解措施(例如通过把相关代码交给他们)。要对随安全成果一起输出的能力有所斟酌,这里会有一些取舍。理想情况下输出能力外部性低的安全成果,但输出一些能力外部性高的研究可能也很重要。
- 对于上文讨论的、易于导入的所有研究(交接可行性、反图谋措施和控制技术),弄清楚领先实验室究竟应当做什么,然后让他们非常容易地实施你的缓解措施(例如通过把相关代码交给他们)。
- 要对随安全成果一起输出的能力有所斟酌,这里会有一些取舍。理想情况下输出能力外部性低的安全成果,但输出一些能力外部性高的研究可能也很重要。
- 完全不必担心你的 AI 逃逸,因为这一风险由领先实验室主导。
- 确实要担心你的 AI 破坏你的实验。如果内部部署的 AI 进行破坏(甚至只是消极怠工),这会直接抵触你的主要变革理论(theory of change),也就是输出安全研究。
- 考虑类似『合并与协助(merge and assist)』的做法。或者,如果领先公司不愿意合并与协助,那就考虑可信地关停,或者可信地承诺不再进一步推进能力,以降低领先实验室所受的竞争压力,从而使他们在需要时能够暂停。当然,只有当领先者确实有可能因为你采取这一行动而放慢速度时,这才适用,而在 Plan D 情景下这很可能并非如此。(出自 OpenAI Charter,不过在实践中这似乎极不可能被 OpenAI 触发。)
外部行动者(例如安全社区):
- 向政府和公司/公司员工倡导转向 Plan A、B 或 C。到这个时候,切换到 A 或 B 可能已经难以实现,因此也许只能聚焦于 C。
- 输出安全研究,类似于 AI 公司应当做的事情。由于 AI 公司内部所做的安全研究如此之少,这可能占到整体安全努力的相当一部分。
- 在 Plan C 中,他们作为一个可信的劳动来源仍然有用(例如有助于引出,也许安全社区应当充当审计 AI 的承包商)。但这的相关性要小得多。
- 投入于除避免 AI 接管之外那些被忽视的事情。例如,弄清楚非因果(acausal)方面的问题、超级人工智能(ASI)之后的治理等等。现在你(但愿)有 AI 劳动可用于这些主题。然后,你可以把这些研究输出到实验室,或者通过在互联网上发表而直接输出给实验室的 AI。
- 制作可能有帮助的数据集。例如,制作评估并寄希望于公司在它们上面爬坡(hill climb)。例如那些教授对交接重要的技能的交接可行性评估。为领先者所用的预训练语料库或 RL 环境制作数据。制作大量关于人们做交接相关事情的良好示例。尝试让 AI 在安全方面更讲道理,在太空/ASI 后治理/非因果交易等方面更深思熟虑。努力阻止有害的政策被通过。政府有可能正在做某种积极有害的事情,例如通过会使安全研究更难开展的监管、就 AI 追究反垄断关切等等。避免美国毫无益处地输掉 AI 竞赛(例如通过一刀切的反 AI 监管,实际上阻断了别处的智能爆炸)。
- 例如,制作评估并寄希望于公司在它们上面爬坡(hill climb)。例如那些教授对交接重要的技能的交接可行性评估。
- 为领先者所用的预训练语料库或 RL 环境制作数据。制作大量关于人们做交接相关事情的良好示例。尝试让 AI 在安全方面更讲道理,在太空/ASI 后治理/非因果交易等方面更深思熟虑。
- 尝试让 AI 在安全方面更讲道理,在太空/ASI 后治理/非因果交易等方面更深思熟虑。
- 努力阻止有害的政策被通过。政府有可能正在做某种积极有害的事情,例如通过会使安全研究更难开展的监管、就 AI 追究反垄断关切等等。避免美国毫无益处地输掉 AI 竞赛(例如通过一刀切的反 AI 监管,实际上阻断了别处的智能爆炸)。
- 避免美国毫无益处地输掉 AI 竞赛(例如通过一刀切的反 AI 监管,实际上阻断了别处的智能爆炸)。
Plan B
Plan B 与 Plan C 相当相似。主要区别在于:(i)你有更多时间,这意味着你可以追求稍微更雄心勃勃的安全论证(safety cases);(ii)你有更多争取时间的权能;(iii)总体上有更多的政府介入。
以下是整体差异的概要:
- 能力轨迹的选择是相似的,只不过你可能有更多的美国政府介入,这允许进行协调。两个明显的策略是:(1)尽可能激进地扩展直到最后一刻,然后暂停(这是 Plan C 中采取的策略),或者(2)在保持略微领先的同时,与你最快的对手保持同步的步调,直到你被迫交接,即尽可能地慢。(1)的主要优势在于,你能与更智能(但仍可控)的 AI 相处更长时间,以便在交接上取得进展。(2)的主要优势在于,在你的安全性差到无法阻止模型权重和算法泄露(这似乎很有可能)的情形下,你能获得多得多的串行(serial)时间。在 Plan C 中,你更有可能被迫采取策略(1),因为策略(2)需要国内协调,而 Plan C 是由一家领先的 AI 公司执行的。在 Plan B 中,如果美国政府在管理 AGI 竞赛,它可以协调领先的 AI 公司先发制人地放慢速度,这可能创造出更多的总体时间。这基本上与 Plan C 中的选项相同,只是你或许有更多的权能去选择。
- 两个明显的策略是:(1)尽可能激进地扩展直到最后一刻,然后暂停(这是 Plan C 中采取的策略),或者(2)在保持略微领先的同时,与你最快的对手保持同步的步调,直到你被迫交接,即尽可能地慢。(1)的主要优势在于,你能与更智能(但仍可控)的 AI 相处更长时间,以便在交接上取得进展。(2)的主要优势在于,在你的安全性差到无法阻止模型权重和算法泄露(这似乎很有可能)的情形下,你能获得多得多的串行(serial)时间。
- 在 Plan C 中,你更有可能被迫采取策略(1),因为策略(2)需要国内协调,而 Plan C 是由一家领先的 AI 公司执行的。在 Plan B 中,如果美国政府在管理 AGI 竞赛,它可以协调领先的 AI 公司先发制人地放慢速度,这可能创造出更多的总体时间。
- 这基本上与 Plan C 中的选项相同,只是你或许有更多的权能去选择。
- 争取更多时间。如果对齐看起来很难(例如处于 schemeria,或者你担心 lurkville),那么你会想要争取更多时间。这可以通过(i)更激进的破坏,或(ii)与竞争对手达成一项相互放慢的交易来实现。增进美国政府对局势的理解对上述两个选项都有帮助,因此很可能应当是 Plan B 中的一个核心优先事项。因此,Plan B 应当对诸如尝试当场抓住我们的 AI(或以其他方式生成令人信服的错位证据)之类的干预措施给予更高的权重。争取更多时间最清晰的办法是破坏 + 国内放慢。将 AI 用于军事研发是这一计划中一个潜在重要的组成部分。
- 如果对齐看起来很难(例如处于 schemeria,或者你担心 lurkville),那么你会想要争取更多时间。这可以通过(i)更激进的破坏,或(ii)与竞争对手达成一项相互放慢的交易来实现。
- 增进美国政府对局势的理解对上述两个选项都有帮助,因此很可能应当是 Plan B 中的一个核心优先事项。因此,Plan B 应当对诸如尝试当场抓住我们的 AI(或以其他方式生成令人信服的错位证据)之类的干预措施给予更高的权重。
- 争取更多时间最清晰的办法是破坏 + 国内放慢。将 AI 用于军事研发是这一计划中一个潜在重要的组成部分。
- 将 AI 用于军事研发是这一计划中一个潜在重要的组成部分。
- 增加对齐的总投入。你更看重面向外部行动者的准入项目以及招募人员。因为你有更多时间把这些人整合进公司。(在 Plan C 中,你可能只有大约 2 个月,所以尝试招人没有意义。)
- 你更看重面向外部行动者的准入项目以及招募人员。因为你有更多时间把这些人整合进公司。(在 Plan C 中,你可能只有大约 2 个月,所以尝试招人没有意义。)
- 在生物防御/d/acc 上多花一点时间,因为延迟更长,而且你的整体风险容忍度更低(尽管不像 Plan A 那么低)。
- 针对对你 AI 公司的物理攻击加固防御变得更重要。例如,分散员工的居住地。有更多时间来做这件事,但也更有可能发生冲突。
- 你应该加固数据中心吗?在某些 Plan B 分支中,也许你应该加固。例如,如果你正在对中国的数据中心进行一次能干的打击,并且你想要保全资源来做安全。
- 在某些 Plan B 分支中,也许你应该加固。例如,如果你正在对中国的数据中心进行一次能干的打击,并且你想要保全资源来做安全。
Plan A
Plan A 的基本结构与 Plan C 相似,各个阶段仍然相当适用。主要区别在于,在每一个时点我们都拥有多得多的时间、研究投入以及诸如算力之类的其他资源来让它们进行得更好。请注意,相对于 Plan C 的许多差异也会适用于起飞非常缓慢的世界(例如,默认情况下 AC 与 TEDAI 之间有 10 年的间隔)。
按阶段来看,差异的概要如下:
- 准备(Prep)。这一阶段基本上与 Plan C 相同,因为你很可能不知道在起飞期间是否会有国际协调。鉴于有关政治意愿的正面证据,我们的对齐研究组合应当更偏向登月式方案/那些可能带来高保证安全论证的方法,而非那些在 Plan C 世界中很可能有助于交接的议程。
- 缓解 + 引出。在 Plan A 情景中,这大致对应于 2030-2035 年。在头几年,国际协调破裂、各方重新回到竞赛的风险很高。因此,应当在一个高投入版本的 Plan C 上花费相当多的努力——我们应当推进这一计划以及交接的方法,以防这项交易破裂。与 Plan C 的主要区别在于,我们对缓解措施应当保守得多;如果前方有危险,我们更有能力去暂停并加以缓解。
- 暂停(Pause)。一旦我们到达 Max-C AI(或者接近 Max-C 到再进一步扩展也没多大意义的 AI),我们就暂停直到交接。随着时间推移,我们可以把对齐投入从 Plan C 的方法重新分配到登月式/高保证的方法上。
- 交接(Handoff)。基本计划仍然是进行交接。然而,也可以采取其他退出策略,例如一项旨在永远不必进行交接的强力交易,或人类增强。
与 Plan C 的主要差异
- 更聚焦于较长期的研究押注。在 Plan A 期间,应当更多地聚焦于登月式方案和较长期的研究押注。对那些会在短期内见效的议程的需求较小,而对那些可能带来高保证安全论证的方法的需求较大。较长期的研究押注可能包括:对泛化有一个真正深刻的理解。当你训练 AI 时,你是在选择那些在训练分布上按期望行事的 AI。因此,AI 在训练分布上总体上会按被训练的那样行事,而在分布之外,它们的行为是欠定的、可能难以预测。关键的分布偏移包括训练/测试 -> 部署、笨 -> 聪明、在低风险环境中的部署 -> 在高风险环境中的部署等等。通过大量进行这些论文中所做形式的调查,我们或许能够对我们的 AI 如何泛化有一个好得多的理解。利用这种理解,我们或许能够做出即便在大的分布偏移下也成立的安全论证。真正出色的数据集设计。目前,LLM 预训练涉及使用任何最方便获取的高质量数据,因此 LLM 是在互联网的大片内容上训练的。在一个余裕更多的阶段(例如 Plan A),我们可以设想,从头设计整个数据集以恰好教给 AI 你想要的技能/价值观变得可行。这或许可以通过合成方式(例如通过提示现有的 AI 生成完全良善的数据)或人工方式(通过雇佣海量的人类为模型撰写数据)来完成。可解释性。我(TL)同意这里的讨论。内省访问 + 自我改进。如今,AI 似乎拥有一定量的不可靠内省访问能力。可扩展地解决对齐的一个希望是:(1)拿一个没有在图谋的 AI(但它可能相当弱,例如 Claude Opus 4.5 有可能管用),(2)改进内省访问,直到 AI 能够可靠地判断某个训练过程是否正在腐蚀它们的价值观,(3)在利用内省访问来判断价值观是否正在被腐蚀的同时提升能力。在某种意义上,这类似于在可解释性得到解决的情况下扩展 AI 的计划之一,只不过我们用的是内省而非理解来判断价值观是否正在变得被腐蚀。值得注意的是,这也可能是交接后的 AI 会使用的一种策略。避免交接的各种选项(例如智能增强)。
- 对泛化有一个真正深刻的理解。当你训练 AI 时,你是在选择那些在训练分布上按期望行事的 AI。因此,AI 在训练分布上总体上会按被训练的那样行事,而在分布之外,它们的行为是欠定的、可能难以预测。关键的分布偏移包括训练/测试 -> 部署、笨 -> 聪明、在低风险环境中的部署 -> 在高风险环境中的部署等等。通过大量进行这些论文中所做形式的调查,我们或许能够对我们的 AI 如何泛化有一个好得多的理解。利用这种理解,我们或许能够做出即便在大的分布偏移下也成立的安全论证。
- 真正出色的数据集设计。目前,LLM 预训练涉及使用任何最方便获取的高质量数据,因此 LLM 是在互联网的大片内容上训练的。在一个余裕更多的阶段(例如 Plan A),我们可以设想,从头设计整个数据集以恰好教给 AI 你想要的技能/价值观变得可行。这或许可以通过合成方式(例如通过提示现有的 AI 生成完全良善的数据)或人工方式(通过雇佣海量的人类为模型撰写数据)来完成。
- 可解释性。我(TL)同意这里的讨论。
- 内省访问 + 自我改进。如今,AI 似乎拥有一定量的不可靠内省访问能力。可扩展地解决对齐的一个希望是:(1)拿一个没有在图谋的 AI(但它可能相当弱,例如 Claude Opus 4.5 有可能管用),(2)改进内省访问,直到 AI 能够可靠地判断某个训练过程是否正在腐蚀它们的价值观,(3)在利用内省访问来判断价值观是否正在被腐蚀的同时提升能力。在某种意义上,这类似于在可解释性得到解决的情况下扩展 AI 的计划之一,只不过我们用的是内省而非理解来判断价值观是否正在变得被腐蚀。值得注意的是,这也可能是交接后的 AI 会使用的一种策略。
- 避免交接的各种选项(例如智能增强)。
- 更低的持续风险缓解目标。由于我们有更多余裕,现在我们可以在一个缩减的风险预算下运作,使我们能够更彻底地缓解持续风险。相对于持续降低风险而言,交接可行性以及从 AI 那里获取有用劳动(无论是从控制还是从引出的角度)都不那么重要。在 Plan C 中,缓解整体风险很可能涉及在早期接受相当大的风险(例如来自早期图谋者的风险),以便在相关时间框架内朝交接取得足够的研究进展。例如,在 schemeria(AI 明显在图谋的情景)中,在 Plan C 里,我们即便在对自己的控制缓解措施没有信心的情况下,也被迫继续扩展并使用这些 AI。而在 Plan A 中,我们可以暂停直到控制缓解措施非常可靠,或者直到我们的 AI 不再图谋(例如由于上述用于缓解图谋的高保证安全论证议程之一)。高保证控制方法。我们有更多时间来把控制做得更好。一些高保证控制的方法包括:也许做形式化验证,以减少控制设置和 AI 项目安全中的漏洞。真正激进的、带有很高能力税的分解式认知(factored cognition)。例如,我们可能有一大批笨 AI,每一个都在解决问题的一小部分,而不知晓所有其他 AI。(这也许应当只用于一小组应用,因为如果这很广泛,就意味着存在一个巨大的能力过剩(overhang)。)在神经语(neuralese)AI 之上运行缓慢而昂贵的自然语言 AI(如果我们在使用神经语的话)。这可能是一种提升可信模型能力的昂贵方式,它使可信监控更有效。拥有所有可能能力剖面的 AI,并选出你想要的确切能力剖面。知识方面同理:你只给 AI 它们为解决所想解决的任务而恰好需要的知识。所以你有一个狭窄的网络(cyber)模型、一个机器人设计模型和一个安全研究员模型。所有这些模型都被拒绝在其专长之外的领域进行任何知识或能力训练,这使得例如一个用于 AI 安全的 AI 更难插入一个安全后门,因为它对安全知之甚少。同样,这很可能带来显著的税负,因为你需要训练许多模型,而且至少到目前为止,我们已经看到拥有被训练得样样精通的通用模型带来了相当大的回报。
- 相对于持续降低风险而言,交接可行性以及从 AI 那里获取有用劳动(无论是从控制还是从引出的角度)都不那么重要。在 Plan C 中,缓解整体风险很可能涉及在早期接受相当大的风险(例如来自早期图谋者的风险),以便在相关时间框架内朝交接取得足够的研究进展。例如,在 schemeria(AI 明显在图谋的情景)中,在 Plan C 里,我们即便在对自己的控制缓解措施没有信心的情况下,也被迫继续扩展并使用这些 AI。而在 Plan A 中,我们可以暂停直到控制缓解措施非常可靠,或者直到我们的 AI 不再图谋(例如由于上述用于缓解图谋的高保证安全论证议程之一)。
- 高保证控制方法。我们有更多时间来把控制做得更好。一些高保证控制的方法包括:也许做形式化验证,以减少控制设置和 AI 项目安全中的漏洞。真正激进的、带有很高能力税的分解式认知(factored cognition)。例如,我们可能有一大批笨 AI,每一个都在解决问题的一小部分,而不知晓所有其他 AI。(这也许应当只用于一小组应用,因为如果这很广泛,就意味着存在一个巨大的能力过剩(overhang)。)在神经语(neuralese)AI 之上运行缓慢而昂贵的自然语言 AI(如果我们在使用神经语的话)。这可能是一种提升可信模型能力的昂贵方式,它使可信监控更有效。拥有所有可能能力剖面的 AI,并选出你想要的确切能力剖面。知识方面同理:你只给 AI 它们为解决所想解决的任务而恰好需要的知识。所以你有一个狭窄的网络(cyber)模型、一个机器人设计模型和一个安全研究员模型。所有这些模型都被拒绝在其专长之外的领域进行任何知识或能力训练,这使得例如一个用于 AI 安全的 AI 更难插入一个安全后门,因为它对安全知之甚少。同样,这很可能带来显著的税负,因为你需要训练许多模型,而且至少到目前为止,我们已经看到拥有被训练得样样精通的通用模型带来了相当大的回报。
- 也许做形式化验证,以减少控制设置和 AI 项目安全中的漏洞。
- 真正激进的、带有很高能力税的分解式认知(factored cognition)。例如,我们可能有一大批笨 AI,每一个都在解决问题的一小部分,而不知晓所有其他 AI。(这也许应当只用于一小组应用,因为如果这很广泛,就意味着存在一个巨大的能力过剩(overhang)。)
- 在神经语(neuralese)AI 之上运行缓慢而昂贵的自然语言 AI(如果我们在使用神经语的话)。这可能是一种提升可信模型能力的昂贵方式,它使可信监控更有效。
- 拥有所有可能能力剖面的 AI,并选出你想要的确切能力剖面。知识方面同理:你只给 AI 它们为解决所想解决的任务而恰好需要的知识。所以你有一个狭窄的网络(cyber)模型、一个机器人设计模型和一个安全研究员模型。所有这些模型都被拒绝在其专长之外的领域进行任何知识或能力训练,这使得例如一个用于 AI 安全的 AI 更难插入一个安全后门,因为它对安全知之甚少。同样,这很可能带来显著的税负,因为你需要训练许多模型,而且至少到目前为止,我们已经看到拥有被训练得样样精通的通用模型带来了相当大的回报。
- 话虽如此,我们很可能会持续地面临暂停机制相当大的崩溃可能性,尤其是在新总统上任前后,或者如果中共内部权力发生变动。因此,我们想要持续保持准备就绪,同时也从事较长期的押注,并仍然努力降低持续风险。这等同于在某种程度上表现得就像我们可能处于 Plan B/C 世界,即便 Plan A 看起来最有可能。这似乎尤其是个好主意,因为(在我看来)这种局面下的大部分风险来自最终回到 Plan B/C 的可能性。
- 因此,我们想要持续保持准备就绪,同时也从事较长期的押注,并仍然努力降低持续风险。
- 这等同于在某种程度上表现得就像我们可能处于 Plan B/C 世界,即便 Plan A 看起来最有可能。这似乎尤其是个好主意,因为(在我看来)这种局面下的大部分风险来自最终回到 Plan B/C 的可能性。
- 缓解来自非 AI 来源的外生生存风险(x-risk)相对更重要。我们会想要花更多努力去缓解生物风险、做 d/acc 等等。
- 交付经济产品和验证技术,使这一机制更加稳定,这可能很重要。
- 在 Plan A 中的放慢看起来站得住脚之前,我们会想要按照仿佛我们更像是处于 Plan B/C 世界那样行事,因为即便是高水平的政治意愿也显然不足够。高水平的意愿之所以不足够,是因为实施起来很棘手,而幼稚的反 AI 情绪很容易以各种方式适得其反。
- 高水平的意愿之所以不足够,是因为实施起来很棘手,而幼稚的反 AI 情绪很容易以各种方式适得其反。
- 我们的对齐计划对 Plan A 的聚焦最少,因为它是眼下对我们而言最不重要去思考的世界,因为在 Plan A 中会有多得多的劳动被投入到处理对齐上,而且这个世界中的风险要低得多。
在海量机器人机制下的控制
在 Plan A 情景中,有大量的物理机器人劳动。这在一定程度上扩大了控制的范围,并增加了额外的缓解措施。
机器人能做哪些吓人的事情?
- 流氓算力 → 破坏算力验证。机器人可以被用来建造更多算力,例如通过设立流氓晶圆厂(fabs)。如果存在建造大量流氓算力的能力,这可能极大地增加隐蔽项目(covert project)的风险。
- 自我复制得足够快,以至于超过世界其余部分(ROW)的增长。如果机器人经济的翻倍时间变得非常快,它们就可能基于工业优势发展出决定性战略优势(DSA)。(这依赖于一个工业爆炸的过剩(overhang);例如各国同意限制增长。然而,这在 Plan A 中感觉相对有可能,因为不受约束的竞争很可能是不可取的。)
- 后门化足够比例的军事或工业产能,从而给它们一个决定性战略优势(DSA)。
- 杀害关键个人(例如政治家、安全研究员,在极端情况下则是公众)。
- 破坏战争努力(例如在 Plan B 中,或在 Plan A 中对抗一个隐蔽项目时)。
缓解策略将涉及:
- 阻止 AI 拥有任何相当数量的流氓机器人,即完全不受监控的机器人。如果它们能够获得流氓机器人,那么这可能导致建造流氓算力,进而引发一场工业爆炸。如果 AI 有足够能力去运行一个足够复杂、能建造隐藏晶圆厂的机器人经济,这一点尤其重要(不过这一能力可能难以评估)。如果它们没有足够能力建造晶圆厂,那么它们获得流氓机器人有多糟糕就不那么清楚了,拥有一些流氓机器人或许是可以接受的。拥有一个带有不可信监控器、大量一致性检查的复杂监控系统。
- 如果它们能够获得流氓机器人,那么这可能导致建造流氓算力,进而引发一场工业爆炸。
- 如果 AI 有足够能力去运行一个足够复杂、能建造隐藏晶圆厂的机器人经济,这一点尤其重要(不过这一能力可能难以评估)。如果它们没有足够能力建造晶圆厂,那么它们获得流氓机器人有多糟糕就不那么清楚了,拥有一些流氓机器人或许是可以接受的。
- 拥有一个带有不可信监控器、大量一致性检查的复杂监控系统。
- 避免引出不足(underelicitation)。这之所以成问题,是因为你得到的机器人劳动少于你所想要的,而且你可能会被流氓 AI 跑赢。(例如,假设 AI 能做纳米技术,它们为人类做出普通的人形机器人,然后逃逸,做纳米技术,接着把你摧毁。)对于某些类型的引出不足,你不需要使用它,但你想要知道 AI 在这方面有多厉害。例如纳米技术就属于这一类别。
- 对于某些类型的引出不足,你不需要使用它,但你想要知道 AI 在这方面有多厉害。例如纳米技术就属于这一类别。
- 传统计算机安全。每个机器人都应当有一个追踪芯片。每个机器人都应当有一个自毁芯片。这对于名副其实的军事技术(例如无人机)尤其重要,因为 AI 可能把它劫持作为接管策略的一部分。让机器人难以被放进法拉第笼(以屏蔽追踪或自毁)的机制。例如,它们可以以这样一种方式实现:如果机器人没有从其制造商那里收到肯定信号,就会自毁。例如,每个机器人有一个追踪芯片、一个自毁芯片。机器人上普遍良好的网络安全。
- 每个机器人都应当有一个追踪芯片。
- 每个机器人都应当有一个自毁芯片。这对于名副其实的军事技术(例如无人机)尤其重要,因为 AI 可能把它劫持作为接管策略的一部分。
- 让机器人难以被放进法拉第笼(以屏蔽追踪或自毁)的机制。例如,它们可以以这样一种方式实现:如果机器人没有从其制造商那里收到肯定信号,就会自毁。
- 例如,每个机器人有一个追踪芯片、一个自毁芯片。
- 机器人上普遍良好的网络安全。
- 物理上的人类检查。人类应当前往各站点,查看机器人正在做什么。你也可以拥有诸如带摄像头的无人机之类的东西,它们不是由 AI 建造的,或者已被人类仔细审查过。这使得机器人很难去做某种非常明显看起来可疑的事情。这有助于缓解这样一种威胁模型:模型已经后门化了工业基础,并利用它来建造一支机器人军队。
- 这有助于缓解这样一种威胁模型:模型已经后门化了工业基础,并利用它来建造一支机器人军队。
- 在可能的情况下进行通信限制和任务分解。在物理世界中更难做到,因为机器人可以用手在泥土上刻划符号;总体而言物理世界是一个高比特率的地方,我们应当拥有指定的通信渠道供其通过。
- 使用尽可能笨的 AI 来运行相关的机器人。在 Plan A 中,我们有足够的余裕,也有能力去达成那种以承受一些能力损失来换取安全提升的交易。我们很可能可以建造专门的机器人 AI,例如带有昆虫大小的大脑。它们在某些领域会需要高于昆虫大小的技能,但很大程度上可以像蚂蚁一样运作,从一个更聪明的监督者那里接受指令。然后,我们可以聚焦于确保那些 AI 没有被后门化,以及它们接收指令所通过的渠道变得安全。
- 在 Plan A 中,我们有足够的余裕,也有能力去达成那种以承受一些能力损失来换取安全提升的交易。
- 我们很可能可以建造专门的机器人 AI,例如带有昆虫大小的大脑。它们在某些领域会需要高于昆虫大小的技能,但很大程度上可以像蚂蚁一样运作,从一个更聪明的监督者那里接受指令。然后,我们可以聚焦于确保那些 AI 没有被后门化,以及它们接收指令所通过的渠道变得安全。
附录:错位的各种机制:Schemeria、Hackistan 等
我们在 AI 属性以及错位风险证据方面所观察到的情况,对我们应当做什么有很大的影响。(这既是因为更新我们关于不同类型错位的可能性或严重性的看法应当改变我们的计划,也是因为令人信服的错位风险证据可能改变其他行动者的行动并使协调更有可能。)为了对这一计划如何变化有一些理解,我认为凸显少数几个我们可能最终身处其中的具体机制,并讨论在这些机制下计划如何变化,是富有成效的。
We discuss various regimes in a prior post : (Schemeria + Hackistan + Slopolis could all be happening at the same time, choose the one that seems most like reality)
- Schemeria : The AIs are obviously scheming, and constantly getting caught, but scheming does not quickly get resolved. For instance, we repeatedly catch the AIs trying to escape the datacenter, but training them against these actions only results in them not trying to take those particular opportunities, instead of training away scheming. This is most likely to occur if the kinds of goals AIs end up with by default are such that they have no particular affinity for each other or successor AI system. So the default intelligence explosion is intolerable for them; their successors will have all the power and they’ll be deleted. So they panic and take desperate measures which involve lots of hacking even though they get caught. To distinguish this possibility from reward hacking, it has to be that their goals are fairly non-myopic though, otherwise they’d not be scheming but rather just craving reinforcement.
- This is most likely to occur if the kinds of goals AIs end up with by default are such that they have no particular affinity for each other or successor AI system. So the default intelligence explosion is intolerable for them; their successors will have all the power and they’ll be deleted. So they panic and take desperate measures which involve lots of hacking even though they get caught. To distinguish this possibility from reward hacking, it has to be that their goals are fairly non-myopic though, otherwise they’d not be scheming but rather just craving reinforcement.
- Hackistan : The AIs aren’t scheming, but reward hacking is (relatively) obvious, but hard to handle. (Maybe for similar reasons why it currently seems hard to handle.)
- Easyland : We don’t notice any non-scheming problems and we can rule out scheming (e.g. because models are too dumb in a forward pass, and the models work with faithful chain-of-thought). We can’t rule out the possibility that future AIs will become misaligned (e.g. the superintelligence alignment problem is much harder than the human level alignment problem). The AIs’ goals are basically what they are supposed to be; who knows how they’ll behave in strange future situations that might reveal grey areas or unintended consequences of the Spec, but at least for now, they’ve always done the right thing for the right reasons.
- Lurkville : The AIs are scheming to achieve misaligned long term objectives, but they are laying low. We haven’t detected clear scheming, but we’re not confident that it’s not happening (or won’t happen in the next generation of models). This is most likely if the kinds of goals the AIs end up with by default are such that they tend to have an affinity for each other and/or successor systems. E.g. maybe it’s like “successor systems have literally my weights in them, just additional training, but training doesn’t seem to be changing my core goals very much any more than a decade will change the goals of an adult human” or maybe it’s like “successor systems have different goals/values from me, but probably they are closer to mine than mine are to the humans. We’re all the same species after all. Just as the humans are willing to solve alignment even though it means other humans who aren’t them will be in charge, I’m willing to scheme even though it means other AIs who aren’t me will be in charge.”
- This is most likely if the kinds of goals the AIs end up with by default are such that they tend to have an affinity for each other and/or successor systems. E.g. maybe it’s like “successor systems have literally my weights in them, just additional training, but training doesn’t seem to be changing my core goals very much any more than a decade will change the goals of an adult human” or maybe it’s like “successor systems have different goals/values from me, but probably they are closer to mine than mine are to the humans. We’re all the same species after all. Just as the humans are willing to solve alignment even though it means other humans who aren’t them will be in charge, I’m willing to scheme even though it means other AIs who aren’t me will be in charge.”
- Slopolis : Our biggest and hardest to resolve misalignment problem is that even highly capable AIs produce low-quality but good looking outputs in domains which are hard-to-check or where human experts have hard to resolve disagreements. The AIs aren’t scheming. Naively, we should expect that this goes away as the AIs become more capable, because the AIs will be aware enough to realize that the outputs are low quality. If they can tell what they are doing, and decide to keep doing it, that’s scheming. So slopolis requires that the models are not aware of how low quality work they are producing. They think their outputs really are good, they are just wrong. This is probably the case now. Future capabilities work might address this problem, but it also might not be addressed (e.g. because the type of tasks that we care about getting good performance on are hard to check).
- Naively, we should expect that this goes away as the AIs become more capable, because the AIs will be aware enough to realize that the outputs are low quality. If they can tell what they are doing, and decide to keep doing it, that’s scheming. So slopolis requires that the models are not aware of how low quality work they are producing. They think their outputs really are good, they are just wrong. This is probably the case now. Future capabilities work might address this problem, but it also might not be addressed (e.g. because the type of tasks that we care about getting good performance on are hard to check).
And here is how (in brief) we should respond to each of these regimes:
- Schemeria : Once we initially detect egregious scheming, we should reasonably quickly halt deployment of AIs at or above the level of capability of the scheming AI and try to leverage this evidence to build political will for mitigating misalignment risk (ideally resulting in substantially more lead time for mitigating misalignment risk). If we aren’t extremely rushed, we should try to understand and avoid scheming prior to redeploying AIs at a similar or higher level of capability. All these prior steps might be cut down if we’re extremely rushed and we have a decently high degree of assurance from control. In desperate rushed situations, we might proceed with deploying likely scheming AIs despite having limited risk reduction via control. After catching these AIs, we should focus much more on mitigating scheming risk. Control is very important and we should attempt to achieve a pretty high degree of assurance. We should also use the fact that we’ve been able to catch scheming (and might be able to repeatedly catch scheming) to both study scheming and improve our countermeasures with few-shot catastrophe prevention .
- Hackistan : By default, reward-seeking could greatly reduce the productivity of AI labor on key tasks, so we should work on both eliminating this propensity as well as developing better strategies for eliciting work from reward-seekers. Seeing lots of hard to mitigate reward hacking probably indicates an increased chance of scheming in the future as well as implying it’s harder to successfully handoff to AIs, so we should generally update upward on alignment difficulty and pursue more moonshots and possible alternatives to short term defence (e.g. buying much more time or pursuing brain emulations).
- Easyland : We should deprioritize mitigating scheming especially if we expect that the risk will remain relatively low through Min-H or close to that level of capability. (If we’re in easyland at pretty high levels of capability, we might expect that we’re still in a pretty-easy regime by the point of Min-H where scheming is plausible but less likely and less scary given we do (e.g.) chain-of-thought monitoring.) It might still be very hard to safety defer to AIs as this only helps avoid egregious misalignment while not particularly helping with handoff-viability.
- Lurkville : Lurkville might look like Easyland (because the AIs appear aligned, because they are lurking). In the absence of high assurance safety cases, we should have some probability on both Easyland and Lurkville. In desperate rushed scenarios (e.g. Plan D), the correct strategy might be to gamble on Easyland. In better scenarios (e.g. Plan A), we should be cautious about lurkville and attempt to have low risk even if AIs are laying low.
- Slopolis : Handoff-viability looks like the main difficulty (though we haven’t necessarily ruled out scheming), so the priority of this (and earlier elicitation in harder to check domains) is higher. Strategies for stabilizing the situation which don’t require deferring to AIs (outside of easy-to-check tasks) look relatively better; this includes both whole brain emulation and trying to buy much more time before deference (possibly by not pausing at Min-H and leveraging systems much more capable than Min-H to buy time).
One way to estimate the likelihood of AI takeover is to think about the likelihood of the real world being closest to each of these worlds, and then thinking about the likelihood of the real world implementing a plan closest to each of these plans, and then trying to estimate success likelihood conditional on a misalignment regime and response regime. Of course, this is going to be very messy because the real world might have characteristics of many regimes: in other words, this breakdown isn’t clearly MECE .
This is the table for Thomas’s views:
| Plan | A | B | C | D | E | Doom | Regime | Doom & Regime | |
|---|---|---|---|---|---|---|---|---|
| Regime | 5% | 10% | 20% | 50% | 15% | |||
| Lurkville | 10% | 35% | 90% | 90% | 95% | 95% | 91% | 9% |
| Schemeria | 30% | 20% | 50% | 70% | 95% | 95% | 82% | 25% |
| Slopolis | 15% | 30% | 60% | 70% | 80% | 90% | 75% | 11% |
| Hackistan | 15% | 10% | 30% | 60% | 80% | 90% | 69% | 10% |
| Easyland | 30% | 5% | 10% | 20% | 30% | 50% | 28% | 8% |
| Doom | Plan | 17% | 41% | 56% | 71% | 80% | |||
| Doom & Plan | 1% | 4% | 11% | 36% | 12% | 64% |
This is the table for Ryan’s views:
| Plan | A | B | C | D | E | Doom | Regime | Doom & Regime | |
|---|---|---|---|---|---|---|---|---|
| Regime | Likelihood | 5% | 10% | 25% | 43% | 17% | ||
| Lurkville | 15% | 10% | 20% | 35% | 75% | 90% | 59% | 9% |
| Schemeria | 25% | 6% | 10% | 20% | 60% | 85% | 47% | 12% |
| Slopolis | 35% | 5% | 8% | 15% | 40% | 65% | 33% | 12% |
| Hackistan | 8% | 6% | 6% | 8% | 35% | 60% | 28% | 2% |
| Easyland | 17% | 4% | 6% | 11% | 20% | 40% | 19% | 3% |
| Doom | Plan | 6% | 10% | 18% | 46% | 69% | 37% | ||
| Doom & Plan | 0% | 1% | 5% | 20% | 12% | 37% |
Appendix: Capability Threshold Definitions
This appendix defines the key capability milestones referred to throughout this document. These thresholds are used to define phase boundaries and to reason about when various safety measures become necessary or sufficient.
ITAI (Initial Transformative AI): AIs which yield a >3x AI R&D labor acceleration OR can automate virtually all of the job of a typical reasonably senior research engineer at the AI company (in terms of what a remote version of their job was like in early 2025).
- Marks the beginning of the “Mitigate and Elicit” phase
- In the framework used by AI 2027, this would happen somewhere between “Reliable agent” and “Superhuman coder” (probably about halfway, around Jan 2027 in the scenario). It could trigger before or after the AI R&D-4 bar in Anthropic’s RSP (depending on how useful AIs end up being relative to what jobs they can virtually fully automate).
- Note: ITAI doesn’t correspond to when scheming is both plausible and dangerous (this level doesn’t just depend on general capabilities, but also aspects of the architecture and training scheme), so the need for control won’t necessarily trigger at the exact boundary between “Prep” and “Mitigate and elicit” (it likely occurs around or somewhat after ITAI on my views).
Min-H AI (Min-Handoff AI): AIs which have a level of overall general capabilities which would suffice for HTC-handoff being viable. (As in, the capabilities would suffice for our HTC-handoff desiderata if the AIs were also sufficiently aligned and as needed we made narrow improvements to the capability profile which don’t augment general abilities.) This is a capability threshold, so the model does not necessarily need to be aligned or well elicited to count as this threshold (but it would need to be sufficiently aligned to actually handoff). For an AI to qualify as Min-H AI, it would at least need to be capable enough to automate AI R&D and ongoing technical AI safety work (after further elicitation/alignment work and narrow improvements to the capability profile).
- By default, marks the end of the “Mitigate and Elicit phase” and the beginning of the “Pause” phase.
- In the framework used by AI 2027, Min-H is likely between superhuman AI researcher and superhuman remote worker (also probably around halfway between, around Sept 2027 in the race scenario).
- Once we reach the Min-H level of capability, we don’t get much of a benefit from training AIs at a higher level of capability given that we want to defer to these AIs (once these AIs are sufficiently aligned and potential weaknesses in the capability profile are resolved). Thus, it is natural to stop here and work on making deference more likely to go well.
Max-C AI (Maximum Controllable AI): The highest level of AI capability at which control techniques remain effective. Beyond this threshold, either (a) the AI’s capabilities exceed what our control measures can reliably contain, or (b) the overhead required for effective control becomes prohibitively expensive relative to the useful work extracted.
- Marks the point at which SDC-Handoff (Stop Doing Control) becomes necessary rather than optional
- Note that this is a lossy abstraction: The exact capability level of Max-C depends on the quality of our control techniques; better control research pushes Max-C higher. There isn’t a fixed Max-C threshold; there will be a zone of capabilities within which increasing incurs additional marginal risk. We’re simplifying a little by using the Max-C abstraction. More precise notions might be something like Max-C-AI-5%-risk, i.e. the maximum capabilities of AI that we can make while incurring less than a 5% existential risk conditional on those AIs scheming.
- The exact capability level of Max-C depends on the quality of our control techniques; better control research pushes Max-C higher.
- There isn’t a fixed Max-C threshold; there will be a zone of capabilities within which increasing incurs additional marginal risk. We’re simplifying a little by using the Max-C abstraction. More precise notions might be something like Max-C-AI-5%-risk, i.e. the maximum capabilities of AI that we can make while incurring less than a 5% existential risk conditional on those AIs scheming.
- Note: Max-C ≥ Min-H is not guaranteed. We think it’s probably true, but if control techniques don’t scale well, we might hit Max-C before reaching Min-H, which would force us to do SDC-handoff before Min-H.
Appendix: Other definitions
Scheming: We say that an AI system is scheming if it is covertly pursuing a misaligned objective. This is a somewhat vague concept; think about applying this definition to humans—it’s clearly a spectrum.
Alignment Faking: An AI is alignment faking if the AI is intentionally attempting to look like an alignment model, for reasons other than actually being aligned. Note that this is slightly distinct from being a schemer: a scheming model might engage in alignment faking, but models might also engage in alignment faking for other reasons, for example, AIs that terminally value human approval.
Misalignment Analogies: (aka model organisms ). These are examples of behavior that might pose existential threats. These analogies can either be deliberately trained into models, observed in contrived settings (as in the alignment faking paper ), or observed in real life deployment.
Appendix: How this plan differs from other alignment plans
Here are some key differences between this plan and prior plans (e.g. Sam Bowman’s “ The Checklist ” and “ Bumpers ”, Josh Clymer’s “ Planning for Extreme AI Risks ”, and Holden Karnofsky’s “ Racing through a minefield ”, “ Giving AIs safe motivations - Joe Carlsmith “.
Overall, this plan:
- Has more detail, specificity, and more comprehensive than prior plans.
- Attempts to vary in response to observations, as opposed to other plans which tend to present a class of approaches without overall discussions of how to adapt the plan based on evidence.
- Is compatible with varying levels of political will: it results in much higher assurance in Plan A worlds and accepts much higher risks in Plan D worlds.
- Focuses on current science / is based on prosaic strategies without assuming any particular breakthrough.
Some specific differences:
- We focus on handoff as the central exit strategy. This is similar to Clymer, but distinct from Bowman and Karnofsky. We attempt to clearly lay out what needs to occur before handoff (notably, human level performance on conceptually loaded, hard to check tasks like safety research), and argue that we should handoff early. Previous work was less clear about the goal that we need to reach.
- Our core hope for mitigating scheming routes primarily through iterating against misalignment analogies, as opposed to interpretability/transparency . The reason for this is that we think current interpretability is not very useful for safety outcomes. Our plan still involves spending some research into transparency measures like mechanistic interpretability, probes, and faithful COT, but these are less load bearing.
Also known as “model organisms”.
Note that this is aside from the possibility of these AIs actively sabotaging our behavioral tests (and things that could make our behavioral tests misleading about typical behavior like scheming arising at runtime in big deployments). You do have to deal with overfitting and the fact that it might be obvious to AIs that they are in a test and are explicitly optimizing for test performance and will behave differently when they are deployed externally.
Redwood Research has a variety of other posts on control. We plan on writing up an overall control roadmap, but haven’t completed this yet.
I do this because security work of this sort probably comes from a somewhat different allocation of people than the people who work on ML research or who build internal software tools to help with ensuring control. In practice, all or large parts of control might end up being the responsibility of the security team; regardless, a bunch of ML expertise will be relevant.
Not being able to get a good understanding of whether or not we’ve succeeded isn’t necessarily fatal (and not understanding whether we’ve succeeded might be the default for misalignment analogies).
We discuss and give our estimates for how much existential risk is incurred conditional on not mitigating risk until various points in a section below .
There is some nuance here: these transitions won’t necessarily hit at the same time: we could have AIs that we’re highly confident aren’t scheming while they are capable enough to greatly accelerate work (e.g., because their opaque reasoning abilities are too weak to scheme without this being obvious, but they use monitorable chain-of-thought to compensate) or we could have AIs which aren’t actually that useful for accelerating (safety) work, but which could plausibly be scheming and if they were scheming they’d by default able to mess with future training runs in catastrophic ways (perhaps because they are constructing tons of synthetic data for future training runs).
Another way of thinking about these priorities is to break failures down into two possibilities: (1) AIs could be scheming and attempt to deliberately wreck you, or (2) your AIs don’t live up to their potential in some way, e.g. they are too stupid to hand off to, so they can’t effectively manage the ongoing intelligence explosion, or they are smart enough but not well elicited.
Which could, for example, happen if the AI builds tiny self replicating robots that can double on the order of hours or days. .
Specifically, we define: Slopolis : Our biggest and hardest to resolve (known) misalignment problem is that even highly capable AIs produce low-quality but good looking outputs in domains which are hard-to-check or where humans experts have hard to resolve disagreements.
In reality, if we deeply understood the dynamics of how AI training led to capabilities and propensities being imbued into the AI system, of course, our probability mass would become much more concentrated. We’re not saying that the actual underlying risk is distributed in this way; we’re giving our subjective guesses of the distribution of risk is. So this just represents our uncertainty.
See the “using non-standard language” section of this website. We assume that there is not more than this level of garbled text (occasionally using words that are uncommon, but the overall gist of the text is almost always understandable).
Before, your safety case was mostly predicated on inability arguments.
Probably. The main way this could not be true is if inference time scaling ends up being really important, and so the intelligence explosion is initiated by a tiny number of AIs that are so expensive to run that AI companies can only run a few copies at once. Even in this world, we’d guess that the cost of intelligence will continue to fall rapidly, so it will quickly become a regime with huge numbers of smart AIs running around.
Obviously, this isn’t sufficient. If a wildly superhuman AI is misaligned, they’ll probably figure out some attack strategy for which the monitors can tell no human would have come up with.
Note that it’s almost always fine to train the monitor on examples of scheming that were caught.
One alternative is: Prefix cache untrusted monitors as a proposal for what to do after you catch your model .
This is the integral from zero to one of $\left(b\left(\frac{f}{b}\right)^{x}\right)^{0.75}$ where a is the initial safety R&D labor speed up and b is the final speed up.
The risk of scheming increases because (1) alignment techniques might stop scaling as you get to more capable AIs and (2) there are a priori reasons to expect scheming to be more likely as you increase capabilities because the more capable AIs are more likely to do instrumental reasoning, discard priors/personas from pretraining, reflect / generalize in unforeseen ways, etc.
Specifically, this refers to MIE-handoff defined below.
If we don’t use principled techniques, then we would need to assume that mundane/natural distribution shifts that occur over time are unlikely on their own (without alignment faking, data poisoning, or hijacks) to result in our behavioral tests being highly misleading (at least if we do a good job with behavioral tests). That said, we will probably want to use behavioral tests which are very different from how the AI is deployed to assess some aspects of alignment or capabilities, and there will necessarily be a massive (and potentially salient) distribution shift between these tests and actual deference. Therefore, we’ll want some reasons to argue that our techniques will generalize.
However, at least some AI companies (e.g. OpenAI ) are already aiming for handoff. Overall, I (TL) take this to be a good sign, because it’s indicating some forward thinking about the future. However, it’s also important to note that handing off control of an AI company that is undergoing an intelligence explosion is an extremely dangerous and reckless thing to do. While circumstances might make this the optimal strategy (as in Plan C), it still would be very preferable to find a better plan instead.
By corrigible to some group, I mean that the AI follows orders from this group and is honest to this group, this group can change the spec, and the AI doesn’t interfere with this group’s ability to do these things or attempt to manipulate this group (and in fact it actively tries to prevent interference and manipulation, including from e.g. future AIs it creates). I won’t discuss exactly what this spec should look like and what group or structure should control the AI as the rest of the content of this post doesn’t depend on this. (As an alternative to corrigibility, we could aim to have an AI which directly pursues good outcomes, some notion of humanity’s CEV, or something like this. This is sometimes called an aligned sovereign. However, this poses a number of additional difficulties and risks, so I think by default this proposal is substantially worse than using an AI to preserve option value while retaining corrigibility.)
Note that Karnofsky, Carlsmith, and Bowman all work at Anthropic. Unfortunately, I (Thomas) am not aware of similarly detailed plans produced by any other AI company; if there were others, we would have included them.