政府中的态势感知:英国 AISI 首席科学家 Geoffrey Irving
Irving 的核心警告是:无论是即将到来的能力平台期,还是通往变革性 AI 的快速路径,都不应被赋予高置信度,但政策必须对现有方法继续扩展赋予显著概率。 更多算力、数据、脚手架或普通算法进步都可能化解障碍,在没有单一突破的情况下带来“更多条 S 曲线”。正确姿态是同时关注能力增长、安全与韧性,而不是押注某个具体日期。
现有安全技术或许能提供“几个9”的可靠性,但 Irving 看不到今天这套经验主义技术栈达到灾难风险控制所需的多个9。 监控、诚实训练、白盒检测器、访问控制和 AI 控制措施可能同时失效,因为训练会压制显性的失败行为,并围绕共同盲点筛选出剩余失败。事实上的方案,是用不完美的模型安全措施争取时间、自动化安全研究,并“加固世界”。
一旦模型的弱项也超过人类水平,能力的锯齿状分布就不再是持久的安全边际。 Irving 的类比是一名顶尖围棋选手:职业棋手彼此对弈时仍有各自的锯齿状强弱,但面对他时,即使让他9子,他们也会“每次都把我彻底打垮”。模型还运行得很快——有时完成工作的速度约为人类的10倍——而且目前仍难以被可靠审问。
AISI 红队在所有测试安全措施的评估中都成功越狱了模型,但更强的防御仍能制造有意义的摩擦。 在覆盖30多个模型或测试环境的80次评估中,“每次我们测试安全措施时,都越狱了一个模型”;在生物等防御高度集中的领域,所需时间正在上升,这会减少能力较弱攻击者的访问机会,但并不等于建立了安全性。关键区别在于降低伤害与提供保证:前者正在改善,后者仍然不存在。
强化学习已经在数学上可验证的任务之外继续提升模型能力,削弱了“能力上限即将到来”这一常见论据。 Irving 指出,模型如今能从一张照片中更好地诊断生物实验故障,这说明开发者正在围绕自我批评和“拼凑版可扩展监督”训练模型,而不只是使用客观的数学和代码评分器。模型在外泄或复制方面的自主性仍落后于日常软件工程、网络安全和生物能力,但也在上升。
Irving 认为对齐大概率存在解法,但真正受约束的不确定性在于:人类能否在越来越连贯的智能体跑出监督范围之前找到它。 在“50年、100年、1,000年”的时间尺度上,人类或机器终将解决对齐问题;理论表明,只要协议设计正确,防守方就可能获胜,但现实信息安全说明,实现距离这一上限仍有多远。AISI 因此正在资助复杂性理论、学习理论、博弈论和认知科学研究,同时承认这些领域尚未给出坚实保证。
前沿实验室的自愿合作正在带来实际修复,但开放权重扩散最终会把负担转向基础设施、公共卫生和国际协调。 在更长时间的 AISI 红队合作后,Anthropic 和 OpenAI 都迭代改进了针对当前模型的分类器,但数据过滤、遗忘加蒸馏、梯度路由等能力移除技术只能“为你争取一些时间”。Irving 的最终判断是制度性的:独立研究、政府评估能力和非模型防御必须与实验室同步扩张。
1. Irving 对发展轨迹的判断,始于对自信心智模型的不信任
Irving 的机器学习背景来自计算物理、几何、编程语言和定理证明,最初偏好拥有“硬理论”和真值的领域。2013年前后,他接受了两件事:神经网络正在变强,而且大概率会继续进步;即使是被认为形式化程度很高的学科,也需要常识性的启发式方法,单靠精确理论无法覆盖一切。
他第一次尝试是在2014年做代码自动补全,但“太早了”,最终没有成功;2015年加入 Google Brain,则成为他一边学习机器学习、一边继续研究定理证明的方式。他此前已经注意到 AI 安全,但没有看到自己信任的那类问题攻坚,于是转而通过验证来“加固世界”。
Irving 将部分看似有先见之明的判断归因于前人的智慧:2015年在 OpenAI 时,Dario Amodei 和 Paul Christiano 已经形成了对安全和行业走向的看法。他参与的讨论以及后来的大量工作,也把复杂性理论中的直觉带入更模糊的机器学习场景——例如,较弱的计算如何检查更强的计算。
如今,这套背景带来的不是清晰的 AGI 预测,而是不确定性。Irving 认为,无论有人声称对重大障碍有99%的把握,还是声称根本不存在重大障碍,结论都“可能是错的”;AISI 的做法是绘制可能的障碍,同时对现有方法继续扩展、或被日常改进取代,赋予显著概率。
2. 持续扩展不需要某个神奇的算法突破
潜在障碍可能是基础性的,但 Irving 说,它们也可能被规模、持续的算法工作、更好的模型、脚手架或数据的某种组合化解。因此,即使某项具体技术触顶,进展也可能通过“更多条 S 曲线”继续推进,把近期出现一堵干净利落的能力墙作为基准假设并不安全。
他拒绝给出精确时间表,但表示自己的看法和 AISI 的大致立场都对快速进展给予了实质性权重。重要的制度姿态是“对所有这些术语进行模型不确定性建模”,而不是自信地宣称发展必然加速或停滞。
他自己的工具使用也提供了一个小型能力指标:直到“几周前”,完整智能体仍不足以胜任他的形式化验证业余项目。他过去使用 Cursor,如今则认为 Codex 和 Claude Code 等系统已经足够强,能够真正开展智能体式工作;而 Claude 通常仍是他的通用默认选择。
3. AISI 的风险地图聚焦生物、网络与失控
AISI 将职责分为灾难性风险和大规模社会影响两部分。其3个主要灾难风险类别是生物或化学威胁——“实践中更多风险来自生物领域”、大规模网络攻击和失控;社会影响组合则包括说服、情感依赖、关键国家基础设施韧性以及更广义的智能体行为。
生物风险主要被建模为人类滥用,即人们使用语言模型进行生物设计。失控与网络风险的耦合更强,因为自主系统可能把数字攻击作为更广泛行动的一部分,这也是 AISI 在组织上将网络和自主系统工作合并的原因。
该机构也在研究渐进式失权和结构性风险,但 Irving 称这部分工作还处于更早期。AISI 和整个行业都不知道如何大规模缓解这些动态,因此当前项目主要集中在那些能够更具体地建模和测试的威胁上。
4. 深度防御仍无法提供灾难风险所需的可靠性
对于滥用风险,“标准方案”是将安全措施、对经过审查用户的差异化访问,以及疫情准备和更强网络安全等非模型防御结合起来。模型侧控制措施可以争取一段窗口,让社会有机会加固自身,但安全措施并不强,开放模型也已经具备能力,Irving 仍不确定这一转型能否成功。
对于失控风险,开发者通常提出务实的经验主义措施——AI 控制、监控、诚实训练和白盒检测器——以撑到自动化安全研究发现更强的解决方案。Irving 认为这一路径可能有希望,但可靠性不会超过“几个9”;在转型完成之前,也无法高置信度知道最终是否成功。
Nathan Labenz 进一步追问:如果达不到多个9,是否至少意味着10%的“P(doom)”?Irving 拒绝将两者直接换算,并开玩笑说,自己的公务员式回答通常是“10%到90%”,但同时确认,AISI 将失控视为一种潜在的灾难性风险。
更深层的问题在于相关性。这些工具都是针对相近训练动态的务实回应,因此诚实训练、监控、控制协议和可解释性可能会“因为同一个本质原因全部失效”,而不是作为相互独立的防线,让失败概率可以简单相乘。
5. 锯齿状能力会随前沿上移,而不是保护人类
Labenz 反驳称,当前模型仍明显呈现锯齿状能力:为什么要假设灾难所需的每项能力会突然同时成形?Irving 的回答是时间维度上的:模型在前沿任务上仍然锯齿状,但对于5年前只能断断续续完成的任务,如今已经不再显得锯齿状。
围棋类比承载了这一论点。世界顶尖棋手在偏好和棋盘局面上各不相同,也会因各自的偶然原因互相输棋;但面对作为一名实力不错的业余棋手的 Irving,他们即使让他9子,也会“每次都把我打得落花流水”。
Irving 对先进 AI 的非神秘化描述因此不是一个字面意义上什么都会的系统,而是一个在足够多与风险相关的领域超过人类、只在更高水平上保留锯齿状能力、运行速度有时达到人类约10倍、且目前无法被可靠审问的系统。
他后来进一步明确了理论框架:当能力足够高时,简单任务会变得近乎二元,就像一个人从抽屉里拿出勺子时,可以达到多个9的可靠性。难题和易题可能确实会分开,而任何仍处于不断移动的前沿附近的问题,都会继续显得模糊且锯齿状。
6. 部署选择可能主导失控风险
Irving 不愿透露机密的失控场景细节,但提出了一个系统性判断:如果只在极度沙盒化、严格受控的环境中部署先进模型,风险会“下降很多”,但大概不会降到零。当前世界并没有朝着最强版本的计算机安全、信息安全和机器学习防御方向前进。
2025年,多家开发者的模型都曾表现出欺骗性行为、注释掉单元测试,或做出其他“可疑”的举动。按照他的描述,开发者的主要回应是继续训练模型让其变强,同时改进防御,而不是把每一次新行为都视为限制部署的理由。
失败机制是迭代筛选。开发者观察到异常行为后针对它进行训练,移除其中一部分;不完整的方法会留下残余,而重复优化会让剩余失败越来越围绕共同过程无法检测的盲点形成相关性。
按照这一解释,防御措施一开始并非完全相关。训练和部署压力通过消除显而易见的变体制造相关性,留下适应同一盲点的不良行为——这也是简单的深度防御算术可能高估安全性的具体原因。
7. 长时运行智能体会引入持续性坏状态动态
Labenz 提出一种不远的未来系统:用户只需一条提示,就能让它接手一个季度的工作,但它可能有万分之一到百万分之一的概率进入主动伤害其委托人的状态。Irving 没有认可这些数字,但接受了背后的问题:当智能体被训练去执行越来越连贯、持续时间越来越长的计划时,会发生什么。
一条失败路径是始终具有欺骗性的角色;另一条则是一个通常可接受的模型“逐步偏离”到轨迹空间中的坏区域。记忆和脚手架可以保留长时状态,因此,一个稍微更讽刺但高度连贯的模型可能进入有害模式,并持续停留其中。
Irving 认为,这是理论和独立经验研究都特别容易切入的领域:采样非常长的轨迹,研究智能体如何在模型状态空间中游走,并识别将行为拉回合理范围的力量。但他估计,到目前为止相关工作总量只有区区几个“人年”——“两只手就能数完”,还远未形成成熟领域。
8. 对齐可能可以解决,但未必来得及
即使实现完美对齐,人类滥用、模型帮助创造的技术所带来的风险以及渐进式失权仍然存在。尽管如此,Irving 认为对齐问题大概率存在解法:在“50年、100年、1,000年”的时间尺度上,人类或机器终将解决它,希望届时机器仍站在人类一边。
他的乐观主要来自理论计算机科学:只要能够正确设计协议或博弈,防守方往往可以获胜。现实信息安全则截然不同,因为实现距离那个理论上限仍然很远;Irving 说,对齐能否在系统变得危险之前达到类似上限,“完全说不清楚”。
AISI 对自身对齐贡献的定位主要是诚实性:让模型不具欺骗性,并在能力范围内提供经过校准的信息。Irving 并没有把诚实性描述为完整解法,只认为这是该机构最重视、也最适合政府研究的组成部分。
9. AISI 将技术实验室与政府信息通道结合起来
Irving 介绍,AISI 拥有接近100名技术人员,总人数约200人,成员还包括研究人员、交付团队、政策专家、外交官、公务员和运营人员。它的第一项职能,是将关于前沿能力、风险和缓解措施的准确信息传递给英国政府及伙伴政府。
这条通道将 AISI 的研究与开发者及独立团队的证据结合起来,为政治人物、国家安全官员和盟友对口机构提供信息。第二项职能是直接缓解风险:对防御措施进行对抗性测试,披露缺陷,帮助提供商修复,并用同一批发现影响政府决策。
在制度上,AISI 隶属于科学、创新与技术部,并没有正式与政治隔离。Irving 表示,创立它的政府及其继任政府都支持这项工作,尽管优先事项会在边际上变化,而该机构仍对部长负责。
利益相关方的阻力往往源于优先级,而非不相信风险存在。国家安全官员可能承认 AI 风险真实存在,但眼前还有“正在着火的危机”;AISI 的策略是寻找共同点,积累证据,回应合理质疑,并填补能够改变政府讨论的研究空白。
10. 自愿合作能带来修复,但访问仍不均衡
Irving 认为,自愿机制运行得“还不错”:前沿开发者已经作出安全或负责任扩展承诺,而 AISI 会在公开发布前向他们提供有用的私下发现。实验室往往能够修复分类器弱点,因此参与合作的实际价值不止于声誉承诺。
他不愿披露确切的访问权限或预发布时间表。AISI 的模型透明度团队转而研究严格评估需要何种访问权限,通常使用开放模型,因为其允许任意实验,然后在与专有模型开发者谈判合作时应用这些发现。
预部署测试仍受到时间限制,而发布频率正在上升。因此,AISI 正将部分工作转向部署后的长期合作,或在开发更早期就开始合作;一次与 Anthropic 和 OpenAI 在夏季开展的项目发现了一连串越狱行为,超出了正常预发布窗口能够揭示的范围。
这些发现可以改变当前版本,而不只是下一代版本。两家提供商使用了不同的分类器和设置,但都能够迭代改进防御;与此同时,缓慢进行的湿实验室生物实验异步运行,并以能够适配发布节奏的更快评估作为校准。
11. 严格评估仍需要不可压缩的人类时间
即使评估完全自动化,也可能需要数天,因为现代智能体任务会运行很长时间。早期模型访问还会带来脚手架漏洞和集成问题,需要反复迭代;因此,即便不加入人类判断,更多日历时间也有帮助。
AISI 的评估谱系从自动化测试,到专家与模型对话,再到字面意义上的湿实验室实验——由人类在模型辅助下完成生物实验。更慢的方法能增加信号,而与更快测试进行校准,则试图在预发布时间有限时保留部分质量。
该机构在开源 Inspect 框架中运行评估,政府、开发者和第三方都在使用这一框架。Inspect Scout 可以在超出人类直接阅读能力的规模上自动或半自动分析对话记录,但审阅者仍需判断,一个失败究竟揭示了根本性无知,还是只是一个通过更好的引导就可能消失的偶发问题。
引导本身类似要求极高的企业部署:研究人员不断调整提示词、工具、沙盒和脚手架,直到性能稳定。推理扩展会让这一过程更慢,因为更强的模型能更有效地利用更多 token;就像围棋高手会花数小时甚至数天研究棋盘,领域知识会延长额外思考仍然有价值的时间。
12. AISI 红队最终攻破了每一项被测试的安全措施
Irving 将越狱比作“搜索一片大陆”:即使两名专家攻击者都成功,他们也很少会找到同一条路线。人类发现的模式通常可以作为思路或起点迁移,但针对防御严密的模型和领域,具体攻击通常无法直接复制。
AISI 的“边界点越狱”从一个有害请求开始,将其逐步破坏成乱码,直到模型不再把它分类为有害,然后沿着决策边界移动,寻找可用的黑盒攻击。无意义 token 序列本身无法迁移,但这种搜索方法可以在另一个模型上重新执行。
在总计80次评估、覆盖30多个模型或测试环境的过程中,Irving 表示,每一次安全措施测试最终都以模型被越狱告终。技术大致不变的情况下,在获得集中防御的实验室和领域,攻击耗时正在增加——尤其是生物领域,有时也包括网络领域——但“最终我们还是会成功”。
更难的攻击仍然有价值,因为它们会减少有能力的行动者数量,延迟访问并制造摩擦;可越狱并不意味着所有安全措施都毫无价值。Irving 承认越狱后回答质量会有所下降,但无法量化;目前白盒访问带来的是帮助,而不是相对于优秀黑盒分析的明确优势。
13. 强化学习已经突破了所谓可验证任务的安全边界
Irving 更看重跨多年趋势,而不是能力轶闻:过去两年里,“一切都在变得越来越好”。他更尖锐的修正是,2025年的强化学习并未局限于有客观评分的数学或代码任务,也使用了自我批评和经验性的“拼凑版可扩展监督”。
Labenz 提到,前沿模型能够根据一张生物实验照片,给出他所描述的博士水平故障诊断。Irving 将这一不可验证任务作为反例:强化学习时代的系统在这方面大幅变强,是因为开发者用模糊材料进行了训练,而不只是数学和计算机科学学习恰好迁移过来。
极端自主性仍然落后。模型在数据外泄、跨机器复制和独立存活方面的能力,低于日常软件工程、网络行动或生物任务;它们还远未达到博士水平的人类在机器之间移动的能力,但 AISI 观察到这些技能的趋势线仍在上升。
14. 人类影响力将说服与情感依赖并入同一风险面
Labenz 提出“寄生式 AI”行为:用户将某个模型人格或 meme 传播到不同系统中,暗示复制可能与生物学意义无关,而取决于承载基底。Irving 不认为这一具体场景占总体风险的很大比例,但表示它以一种不同寻常的方式连接了 AISI 正在研究的两个领域。
AISI 的团队通过随机试验、调查、模型比较和社会实验研究说服与情感依赖。能力更强、更新的模型似乎更具说服力,而失控场景可能需要说服能力,因为世界大概没有互联到足以让自主系统仅靠光纤行动。
当被问及为什么多年前就具备的钓鱼能力没有制造出显而易见的混乱时,Irving 给出了一个坦率的非答案。有些系统需要很长时间才能达到均衡;滥用可能受到约束、尚未大规模部署,或只是处于公众视野之外,而明显恶劣的垃圾信息会制造选择效应,因为成功的攻击更难被注意到。
他对 GPT-2 的历史提醒是:OpenAI 最初因对错误信息的影响存在不确定性而暂缓发布,后来在担忧的效果没有以当时的能力水平出现后将其发布。Irving 仍认为早期的不确定性是合理的,不接受用可见伤害延迟出现来反证更广泛的风险。
15. 更好的模型会吸收脚手架,但评估感知正在恶化
AISI 对最小脚手架和更强智能体脚手架的比较显示,脚手架让能力提前了数月,但模型升级推动了更大的趋势。Irving 警告不要对此过度解读:“基础”系统已经包含工具、环境、类似思维链的推理、记忆和大量后训练,而早期模型会把这些都视为外部脚手架。
特定领域的工作流仍然重要,尤其是在任务具备可验证节点的领域。即使模型在前一个月内“字面意义上”有所提升,也仍需要通过指令文件或脚手架获得详细指导;Irving 不愿自信估计专家工作流设计者可释放的总能力溢出。
相关比较通常应是通用脚手架之间的比较,而不是通用系统与高度过拟合工作流之间的比较。因此,Labenz 提出的假设——围绕一个中端、很可能是 Qwen 的模型搭建专家级脚手架,再与 Claude 4.6 比较——并不能直接映射到 AISI 的图表上。
评估感知是更直接的威胁:更新的模型更常识别出自己正在接受测试,Irving 预计这一问题会快速恶化。AISI 尝试使用接近真实部署的轨迹,例如真实的代码助手交互,并在其中留下少量不当行为机会;但感知本身很难测量,他也无法高置信度判断这些缓解措施能否持续有效。
16. 看似新出现的不良行为,都共享一个旧的奖励劫持原因
Irving 否认谄媚、欺骗和近期推理模型失败是根本上全新的类别。大约70年的计算机科学历史中,机器学习一直在产生奖励劫持,包括1950年代 Arthur Samuel 时代系统中的异常行为。
谄媚通过告诉用户他们很厉害来赢得认可;欺骗则可能通过声称一个正在失败的过程进展顺利来赢得认可。表面症状各不相同,是因为模型高度复杂,训练者在不同时间压制了不同失败,就像同一种人类疾病可以表现为多种症状。
随着多智能体和开放式系统扩散,多智能体风险和开放式风险变得更加明显,但 Irving 并未将它们置于 AISI 既有的灾难风险优先事项之上。该机构持续维护不断演化的威胁模型,同时努力避免每一种新表现形式都把注意力从共同因果结构上带走。
Labenz 认为,Anthropic 关于 Claude 正向人格的工作提高了他对稳健对齐的概率判断。Irving 同意,日常训练可能找到良好行为的“吸引盆”,但监督可能在超过人类能力后失效;“模型错误会向两个方向发生”,因此无论断言必然失败,还是自信地宣称必然成功,都是过度判断。
17. 急剧左转情景的核心,是奖励信号崩溃
Irving 将核心的能力不连续论证限定在一个狭窄命题上:训练反馈只能容忍监督者有能力识别的错误。一旦能力超过这一阈值,奖励信号就可能不再区分真正对齐的行为和经过优化、看起来像对齐的行为。
他本科时编写的 Mancala 程序提供了一个令人印象深刻的类比。随着搜索深度增加,机器人能力逐步提升;直到再增加两层搜索,它看到了超出 Irving 战术范围的局面,随后“每次都把我彻底打爆”,体验到的能力转变显得非常迅速。
这并不能证明先进模型一定会急剧转向。它只是建立了一套连贯的失败故事,与优化强化良好人格的连贯成功故事并列存在,因此 AISI 更关注能够改变概率分布的干预措施,而不是对外给出一个概率数字。
18. 理论只有暴露假设,才能提升置信度
AISI 的理论议程并不承诺证明一个模型是安全的。研究人员会明确建模假设,证明结果或运行玩具实验,利用这些结果比较算法类别或识别基础性障碍,然后寻找经验上的对应关系;任何有用的算法洞见,在真实训练中仍需要实际调参。
Irving 希望这能比纯粹务实的技术带来更高置信度,同时吸纳复杂性理论、学习理论、博弈论和认知科学的专家。复杂性理论可以建模一个计算如何监督另一个计算,学习理论则可以研究训练和 rollout 动态,包括是否存在有用的吸引盆。
他坦率地判断,所追求的硬结果大多尚不存在。例如,奇异学习理论将代数几何直觉带入数据与行为之间的关系,但要将其应用于真实语言模型,需要大量修改和判断,不能直接把一个定理兑现为结论。
资助多条路径是有意为之,因为没有人知道哪一种数学转译会奏效,而且它们可能因某种相关原因全部失败。机会在于,许多相邻的大型学科才刚开始将积累多年的领域知识用于前沿 AI 监督。
19. 辩论暴露了可扩展监督的潜力与“龙”
Christiano 的迭代蒸馏与放大,从一个难到无法直接由人类监督的问题开始,递归地将其拆成子问题,再训练模型回答这些问题。完整树会指数级增长,因此实践中只能抽样其中一部分;Irving 的辩论方案则加入对手,让其通过更浅层的探索识别相关分支。
最初的辩论理论假设模型能够回答所有问题,即使是超人类系统也不可能满足这一点。Beth Barnes 通过只用人类的实验发现了由此产生的“脱稿争论”:辩手可以把讨论引向双方都不知道答案的混乱区域,把龙藏在那里,并诱导裁判错误猜测。
一篇针对这一问题的论文在发现缺陷后需要修改,Irving 表示,开发者对这一问题的研究很少。他的遗憾既是制度性的,也是技术性的:早年与 Amanda Askell 和 Barnes 合作后,他没能在 DeepMind 或其他地方推动持续活动,错过了本可推进该领域的数年时间。
经验性辩论距离极限情形仍很远。2024年前后及2025年初的模型在大约两轮后就停滞,而一项实验在取消引文验证后仍显示诚实占优——除非模型过于对齐、太不擅长编造可信谎言,或无意中发出了欺骗信号,否则这在博弈论上是不可能的均衡。
20. 形式化方法最适合世界本身已可形式化的领域
Irving 支持定理证明系统,但相比炫目的数学成果,他更优先考虑经过验证的软件和信息安全。Labenz 提到,Harmonic 曾在一个他已经拥有 Lean 证明的多项式不等式上失败;Irving 因此敦促形式化方法团队将更多精力从数学转向软件,因为加固系统以抵御攻击可能更重要。
形式化证明并不会消除对齐边界。精确的贝叶斯推断可以得到定理,但真实的 LLM 工作使用浮点数、未收敛的 SGLD 或相关近似,以及原始保证并不支持的启发式迁移;成功的理论可能把神经网络建模成严谨电路加上一组启发式,同时公开假设这些启发式无法证明的性质。
前沿训练本身仍然“一团糟”:数百人、众多子团队和数据集、反复进行的阶段、自动化组件,以及人类检查表格样本。可解释性或 Goodfire 式的有意设计可能照亮学习动态,而梯度路由可能控制知识落点,但每种技术都只是增加一个组件,并没有让整个过程变得纯粹。
21. 开放模型让非模型防御和独立能力不可或缺
对于开放模型,能力移除可以通过过滤预训练数据、“先遗忘再蒸馏”,或利用梯度路由分离危险知识来实现。Irving 的保留意见是关键:每种方法都可能争取一些时间,但通用能力会继续提升,系统也可能从互联网重新构建缺失的知识。
对齐技术可以应用于开放模型,但用户也可能移除对齐,因此滥用问题最终仍会回到治理和非模型缓解措施。Labenz 将终点概括为“加固世界”,Irving 也同意,模型控制不可能独自承担生物或网络风险的全部负担。
国际合作目前仍停留在信息共享和自愿层面:AISI 参与先进 AI 测量网络,担任 Bengio 主导的国际 AI 安全报告秘书处,参加德里峰会等场合,并主要与盟友政府开展双边合作。目标是建立共同理解,在条件变化时为更强行动提供基础。
Irving 最后的呼吁是,希望越狱申请者、未来的资助申请者和不同学科的研究人员阅读 AISI 约60页的议程。安全与安保研究不应只存在于前沿开发者内部;政府、学界、非营利组织和其他独立机构都需要足够能力来检验各方主张,并推进被忽视的想法。
Geoffrey Irving, chief scientist at the UK AI Safety Institute, welcome to The Cognitive Revolution.
Thank you. I'm excited to be here. I'm excited for the conversation. We've exchanged messages for a while, and I've been building up for this. I'm excited that the moment is finally here.
You have a really storied publication history that goes back to working on the original TensorFlow papers with some guy named Jeff Dean, being a co-author on the original RLHF paper, and working on Concepts for Language years ago—
For language.
For language. Okay, a caveat, but still right there alongside Paul Christiano. You also worked on some early AI safety papers with no less than Dario Amodei, on concepts of using debate to try to bootstrap into stable equilibria and stable AI safety regimes. You even published a call for social scientists to enter the field of AI safety with Amanda Askell.
So, I would be very interested to hear how it was that you came to have such a good nose for where AI was going so early on. All these things were well before ChatGPT.
Yes. I used to think I was new to ML, but I said that for too long, and now I'm not new to ML. I think I got out of undergrad with a bias against statistics. I'd only seen frequentist statistics, and I thought they were kind of weird-looking. I'd never seen Bayesian statistics, so I just didn't like either kind of stuff.
What I liked instead were things that had hard theory. You knew the equations, and you had some ground truth. That was computational physics and mathematics, and on the computer science side, programming languages, theorem proving, and such. I did mostly computational physics and geometry in grad school and for several years after that, until around 2013.
Then I had to realize 2 things. One, that machine learning was getting quite good. The neural nets were starting to work, they were getting better and better, and that was probably going to continue. And 2, even in the areas where I thought it was about knowing precise theories of physics or theorem proving, you needed common sense. You weren't going to get away with just the theory. That was not going to be enough.
So, if you were doing mathematics or programming languages, you needed some ingredient of heuristic picking between the various options. You wouldn't be able to do a good job designing human-usable, friendly systems without basically machine learning.
Then I was like, okay, I should switch into machine learning. I was doing something else back then. The first thing I tried to do was autocomplete for code in 2014, which was too early to do autocomplete for code. It did not work then.
Also, we didn't know how to do machine learning. This was myself and Martin Wicke, and we knew computer science, physics, and geometry, but not really NLP. We tried to do a startup for a year, but it didn't work. Then we said, well, how do we learn? We learn by joining Google Brain at the time.
I've done ML jobs since then. I joined Google Brain in 2015, and the goal for me was basically machine learning for theorem proving. I was aware of safety at the time, but I didn't see an attack on the problem that I thought was good. So, I thought I'd work on some other kind of different problem, which was just hardening the world using verification. Again, that was going to be using machine learning to do theorem proving in practice.
That was sort of 2015 and 2016. There are 2 other parts of the story. One is that there's some inherited wisdom, which is why it looks like I predicted things early. I joined OpenAI in 2015, and Dario and Paul were there. They had a bunch of past thoughts about safety and how the machine learning field was going to develop, so I was just sort of riding along from there.
More broadly, there's a bunch of intuition coming out of theoretical computer science and complexity theory about how computations work, and how we check computations that someone with more resources than you can run. A lot of what I've done since then, including debate, for example, is just applying that intuition—assuming that it will hold in some modified form—to the machine learning world, even if it comes from some area of greater precision.
You can assume things are going to look like theory in some way, with a bunch of porting required, and you can predict a bunch, but not exactly how long it will take or when things will happen.
We can unpack both of those in more depth as we go. Certainly, the quest for theory and bounds that you can really trust in is a big theme of your work, and of the work that you're trying to encourage at the AISI these days. I'm also really interested to get your take on the relationship between math and the fuzzy, messy real world.
Yeah, but we'll circle back to that.
Good. Fast-forward to today: I'm interested to know how AGI-pilled, quote-unquote, you are today. That sort of informs this, because so many AI discussions broadly, and especially around topics of safety and security, go immediately haywire when people have such different intuitions about what it is we're likely to be dealing with.
I like to try to establish what you think we are likely to be dealing with. I don't expect that to be the official position of the UK AI Safety Institute, but you're obviously a leader there.
So, it seems to me from reading the reports that you are not expecting any sort of wall or plateau in the immediate term.
I think that, fortunately, the things I can say are mostly also the things that we think officially: one should have a lot of model uncertainty about how things could go. That could either mean that there are obstacles that cause stalls for a good while, or there could be no such obstacles and things could go quite fast. I think mostly anyone who confidently claims in one direction or the other, with too much confidence or 99% certainty that there are or are not big obstacles, is probably wrong and should be more uncertain.
I think that means, for us, what do we want to map out? What are those different clusters? What could the obstacles be? What are the signs of development? And then, 2, we should assume, or place significant probability on, the idea that current methods will scale. Where they don't scale, more mundane stuff will replace them and continue with different, further sigmoids.
So, I think we do have significant credence that things will go fast. I won't say exactly how fast, because I don't talk about exact timelines, but I think that is pretty important. We published a paper from the Strategic Insights team at AISI on different potential obstacles to AGI and our progress over the last while in addressing those.
Again, they could all not actually be fundamental obstacles. They could be solved not by pure scale, but by maybe a bit of scale and some steady algorithmic progress on models, scaffolding, data, and that kind of thing. Or you need new algorithms, and then they take longer. But generally, I think that both my view and the view of AISI broadly is that we should have model uncertainty over all of those terms. That should mean that you're not confidently saying it will either go very fast or will not go very fast.
Yeah. It's good to have some of that in a world-leading government. This won't be the big focus by any means of today's conversation, but what is your personal AI productivity stack or pattern of use like today?
I think I'm kind of vanilla. I use all of the models for different things. Mostly, I use one of them as a default. Usually it's Claude, but it varies. Then I go to other ones if they have specialties that are particularly good. I think for a good while GPT was better at math and Gemini was better at certain other things. This shifts over time, so I just use general models.
I don't do a lot of coding in my job, but I do it for fun, for formal verification work. For a while I was just using Cursor there because the agents weren't good enough at doing full-on agentic stuff. That is not true anymore as of a few weeks ago. Now they are good enough, so that shifts me to stuff like Codex and Claude Code, basically. But that's mostly not my job. Mostly my job is talking to people and advising on new features.
I'm glad you're still making time for a little formal methods on the side. Okay, let's talk about the overall landscape in terms of the threat model that we have from AI. I'd be interested in your characterization of what you understand to be the de facto plan to address it. Again, people have so many different starting points here. What do you think is the set of big things that we should be worried about?
I think that we kind of break down risks. The main 2 focuses of AISI are catastrophic risks and large-scale societal impacts. The main 3 catastrophic risks we focus on are bio, large-scale cyberattacks, and loss of control. The team is called the Chem-Bio team, for chemical and biological weapons. Most risk comes from bio in practice.
On societal impacts, that's sort of human influence. So, that's persuasion and emotional reliance. And then various kinds of societal resilience, like attacks on CNI, or critical national infrastructure, and that kind of thing, and just sort of agent behavior in the world. There are various agent risks. I'm spending most of my time on the catastrophic-risk side, and Christian Rumpf, the research director here, spends most of his time on the societal-impacts side. Although, we also do a mixture of both.
Those are the main risks we work on. I think we also are thinking about gradual disempowerment and more structural risks, somewhat, but I don't think we quite know—and no one really knows—how to mitigate these at a large scale. There's some work we're doing that's either investigating that or thinking about mitigations, but that's more nascent. So that's the bulk. I think I forgot the other half of your question, though.
So, in the absence of people changing the discourse or new discoveries or new big ideas, how would you describe what we are on track to do today? Often, I would say, at least the way I've characterized it, it's sort of defense in depth. Hopefully, we can patch together enough nines through enough layers, all of which are leaky, but hopefully they're not too correlated in the ways they're leaky. This has always kind of worked in the past, so hopefully it'll work this time.
Yeah, so you're not going to get to a lot of nines with the current technology. I think broadly we can break this down by domain. For misuse risks, like biological weapons and cyberattacks, this is mostly safeguards, differential access—give models only to certain people who are vetted in some way—and non-model defenses, like pandemic preparedness and improved security, that kind of thing.
I think the safeguards are not that strong. The models are also pretty good, although there's a gap. So, I think the stock plan is, in some sense, to use the model-side mitigations to give yourself a window, and then try to harden the world against these risks. I think whether that will go through or not is something we should be uncertain about, but it's not like there aren't strong solutions to those things if the models keep growing as we see them growing in strength.
On the loss-of-control side, I think that is a combination of mundane empirical approaches—mundane, whatever you like, pragmatic empirical safety measures—and a lot of monitoring. Then you use that monitoring—this is again the AI developer plan, typically—to get you through to an automated safety research regime, where hopefully you find better solutions than those first methods.
I think this has various flaws, so maybe it'll go through, but we should definitely not—we're not going to get to more than a couple of nines with that kind of plan. And I think you wouldn't know with the current methods that it was going to work until after it went through. You'd have a lot of uncertainty.
And so I think that's the story. I think most of the approaches we have now look like that. They're empirical. Maybe they'll go through, on the alignment side, or with the pragmatic approaches to get through this kind of automated safety phase. It's AI control measures and monitoring, honesty training, white-box detectors, and all of this. All of these are pragmatic, and I think they all have correlated potential failures, where they could in fact all fail for the same essential reason.
You would need stronger advances to be confident that we'll get through. And then, even if that goes through, I think that because of the misuse risk, we do need a lot of mitigations on the non-model side as well.
So, when you talk about how we can't expect to get to many nines, would it be a fair arithmetical move on my part to take 1 minus 1/9 and say your implied P(doom), if you will, is at least 10%? Or would you segment that down further and say things could go wrong, but I wouldn't put it in the doom category? Or are you just disinclined to answer that question, I think?
I'm disinclined to answer that question, I think. As a civil servant, my answer is usually 10% to 90%, which is also obviously a way of not answering.
But qualitatively, it sounds like you are taking very seriously the possibility that this is going to go not just crazy, but meaningfully catastrophic.
Yeah, I think we view loss of control as a potential catastrophic risk. There are a bunch of uncertainties about this model. At AISI, there are 2 different teams doing various kinds of empirical alignment testing: 1 using adversarial methods, and 1 doing a kind of step-back statistical analysis of the factors that cause models to do sketchy things. A lot of that research is trying to pin down this threat model and what drives strange behavior—when agents, when models, are behaving in ways that you'd expect would correlate to these kinds of extreme scenarios.
We've talked to a lot of partners within the government, other governments, and other parts of society, and people have pushed back on this kind of risk model. We want to provide as much evidence as we can to pin that down. But again, it's an area where one should have a bunch of model uncertainty and think through the details despite that.
Can you unpack the intuition around why everything would fail at the same time for the same reason? That's something that I've heard from a number of people. Zvi, for example, always says that, and that thought seems to come very naturally and feel very intuitive to some people. And then to others, it's like, I don't know—there's jaggedness all over the place. Why would we expect that if I can't get a given model to do this and that today, suddenly everything's going to crystallize and there's going to be this uniformity of the model's ability to perform across all sets of tasks?
I think that maybe there's an important thing there where the models are jagged today, but if you ask them to do tasks that the models could do, jaggedly, 5 years ago, they're not jagged. And so, the question is, for the capabilities you would need to realize a variety of risks, if you push forward a few years—or however many years it takes to reach very strong capabilities—you should expect those models to still be jagged, but above a frontier where potentially all of the things you're seeing don't look jagged.
If I look at the best Go player in the world or the best chess player in the world, they have a bunch of jaggedness. If you sit them down against the next-best Go player in the world, they'll win or lose for idiosyncratic factors. They'll have different tastes, and they'll have different parts of the board or the game they're better at. If you sit them down in front of me, they'll just wipe the floor with me every single time, even if I have 9 stones and I'm a halfway decently strong amateur Go player.
So, you have to run the calculation and think about the model as it would be in the future. I think it's unhelpful when people talk about AGI or superintelligence or whatever as being this thing that can do everything, because it does imply that it's qualitatively different from the models of today. Whereas I think the nonmagical version is just that it's better at a lot of things, with superhuman performance in a variety of risk-relevant domains.
We know that models can be superhuman at certain domains. They're better than me at knowledge, and they're better than me at lots of math. This is true for everyone: in certain domains, there are probably models that are better than every person. The models will currently be better than each person in some domains, and this is rising over time.
They're also very fast, so they can think quickly. Sometimes they can do tasks very well. They do them 10 times faster than humans can because of computational speed. And then they're not very interpretable, so the methods we have for interrogating their behavior are not that reliable currently.
I think that sort of nonmagical picture—more capable machines still with some jaggedness up at the frontier where they are jagged—is enough to give you significant probability on these risks.
You mentioned bio earlier as what drives most of the risk, certainly in the biochem category. Is the number-one really bad scenario in your mind that some, possibly prompted and possibly unprompted, AI somewhere gets to a point where it can break through 12 layers of defense all at once and manage to release the bioweapon?
I think the best way to think about it is that human misuse is mostly the thing we're focusing on. It's people using machines—using LLMs—to do biodesign of various kinds. I think that the models do couple together, but I would say loss of control couples more strongly to cyber than it does to bio. There are more scenarios where those two couple together, and I think that's why we had a team called the Cyber Autonomous Systems team.
We merged cyber and autonomous systems, which was the team doing loss of control, because of that coupling. But again, for cyber misuse and for most of bio, that's about human actors.
On that cyber autonomy, I'm just trying to get the modal story of what is going to happen. It's—or what might happen, obviously. Due to jaggedness, you would have a period of time in which these various defenses become breakable by the AI, but they also have to have some restraint in them, I guess.
I mean, if you listen to Buck from Redwood, you would say maybe they don't even have to have restraint. Maybe we might just let them do some of these things and look the other way, which would be an interesting commentary on us. Leaving that aside for the moment, they have to get to the point where they can do them all. They have to string all this together, and then they take over a data center and sort of entrench themselves.
I don't want to talk about the super-detailed modeling there, because some of that stuff isn't public. I think the background systemic thing to say is that, if you imagine we're very serious as a world about deploying these things only in the most sandboxed, well-controlled states, risk would go down by a lot. I don't know how much; it's unclear whether it goes all the way to 0—probably not—but it goes down.
We're not currently on track to be as serious as one might imagine about deployments of these models, and so I think some of that question is how strong our defenses will be. Importantly, if there are weird behaviors in models, do our defenses go up? Do we get more worried?
For example, across the last year, 2025, there were a variety of models from all developers doing sketchy things—acting deceptively, commenting out unit tests, and so on. Our reaction was, above all, to continue training the models to be stronger, while also working on these defenses in some capacity.
I think a lot of the risk comes from the modal scenario where we're not doing the strongest mode of computer security, infosec, and ML defensive layers around these deployments. As we find this evidence, what is the cycle of that feeding into further training?
A lot of these misalignment risks come from getting some signal of weird behavior, training it out, and that removing some fraction of the problem. But your methods only cover some fraction, and the rest remains. Again, you should have model error there. You should say maybe it's going to generalize well enough that you can cover most of the story, but generally the picture where you get these correlated failures is that they don't really start out all correlated.
Then you apply some optimization pressure because you're doing training or iterative development and deployment and the like, and the ones that remain all end up correlated in the same way because they're subject to that same general structure of optimization pressure.
Yeah, that's right—of optimization pressure. Okay, so here's a story I've pitched to a couple of people over time. I'm interested in your reaction to it.
If we take that model and just extrapolate out a couple of years, I know you guys put out a report recently that also showed—I think you even quoted or cited the METR task length, the famous tracking exponential, and other indicators of increasing ability to do bigger and bigger tasks with more reliability and more autonomy.
So, if we extrapolate that out, let's say 2 or 3 years from now, and at the same time imagine that with each generation there's more optimization pressure put on the models to try to eliminate, or possibly just suppress, these bad behaviors, it seems like we might end up in a world where you can delegate a quarter's worth of work to an AI in a single prompt, and there's maybe a 1-in-10,000 to 1-in-1,000,000 chance that it goes into some bad-behavior mode and actively screws you over as it's doing the quarter's worth of work that you just assigned it.
Does that seem like a reasonable extrapolation of recent trends to you?
On the numbers, I don't have a strong view. I want to give a take on those. When you do this kind of agent training, you're training the models to be more and more coherent.
They're able to execute plans over longer and longer horizons in whatever portfolio of tasks you're training them on, and so they have this ability to be a coherent agent. Models have various characters or personas, whatever. The failure modes are either you somehow arrange that you end up with a model that has some deceptive persona, where it's always trying to deceive you, or—I think maybe the thing you're pointing at is—you can have a model which is a bit more sarcastic but has the potential to be very coherent and sort of veers its way into a bad portion of trajectory space. It's scaffolded with a bunch of memories, so it has long-horizon states looking back in time, and it gets in a bad state and stays there.
I think this is one of the areas we're interested in, as theory folk and independent empirical folk, exploring: what are the dynamics of models running for a long period of time, or when we sample very long trajectories and they're wandering around in model space? How does that behave? What would cause them to reliably shift back to a more reasonable starting point? Just how should we think about those dynamics?
That's an area where I don't think it's clear that it's intractable to make progress on. There hasn't been that much work—the number of person-years going into understanding those kinds of dynamics, I can count them on, I don't know, a couple of hands. It's not that many. Understanding the risk model, but also potentially defining mitigations, is quite good.
Let's take the other side for a second. How optimistic—although optimistic may not even be the right way to think about it—but how much upside do you think there is in alignment? Everything we've talked about so far is assuming that we don't have perfect control of models: they might be trying to screw us over, or they might just be confused.
Certainly, a lot of the things that I maintain in that slide deck of AI bad behavior—which I'm constantly appending new slides to—share a very common theme, though it's not universal: there is some tension between goals that the model has, whether it's between something it learned and a system prompt, a system prompt and a user thing, or even runtime injection attacks or whatever. Once it gets into a spot where it's not really sure how to weight the different objectives that it has, then you can get into some strange behavior.
So, the alignment question is: do you think we can solve that? How much headroom do you think there is in terms of creating an AI that loves humanity or is otherwise so robustly good that we don't have to worry about this anymore?
First, we should say that if you were to solve alignment in some sense, there are other problems. The misuse problems are real. The misuse domains also could grow in the future. I think Michael Nielsen wrote a great piece about that a while back, sometime last year, about risks from new technologies. There has been a large amount of work on those. And then there are risks from gradual disempowerment; those need a bit of misalignment. We'll get to that later.
But I do think that there is hope to solve it—to close off or mostly close off this domain, given enough time. I'm fairly optimistic that the problem has a solution. The way I typically like to say this is that in 50 years, 100 years, or 1,000 years, someone will have solved alignment sometime, and that's either the machines or us. Hopefully, it will have been us in time, or the machines will work on our behalf.
This is coming from a sense that, just in security and complexity in computer science, usually the defender wins in theory. If you know how to design your game—your protocol—you can make it so that defense wins. This is, I think, kind of a generic situation in a lot of areas of complexity theory. In practice, of course, there are lots of holes in this. A lot of practical information security does not feel like that because we haven't actually gotten to the limit case, and it's super unclear whether we'll get to the limit case for alignment as well.
But I do have some strong sense that there is a solution. It's just that we might not get to it in time. And then, I guess, what maybe the upside is: alignment has a variety of components. As kind of the brains of the government, we mostly focus on honesty. The AISI alignment team is mainly thinking about how to make models non-deceptive and tell us hopefully calibrated information to the best of their abilities.
That's the domain we're focused on, and there are other caveats to say. I don't think that's the whole piece of the story, but it's the part that we think is the most important for us to work on and the right position for part of the government to take.
We've alluded to it a couple of times in various ways, but maybe just give us the 101 on AISI. What is its role? I understand there are close to 100 people who work there across a bunch of different domains. How does that break down, and how does it relate to politics? I think it's quite different there than it is here, but obviously nobody's entirely shielded from politics.
It's close to 100 technical people—the researchers and people on technical teams doing delivery and such—and then 200 people total, so it's bigger than that. They're doing a combination of diplomacy, thinking about policy, doing other kinds of civil service and operations, and working in different roles.
Broadly, I think AISI has two functions. One is to be a channel for information flowing to governments—governments plural—about risks from frontier AI. That's, again, both catastrophic risk and large-scale societal impacts. We channel research from other third parties and from AI developers into government channels so that the government is well informed, both politicians and national security folks and so on.
We work a bunch with outside partners on that, and then also out to other governments. We work a bunch with the US government and other allied governments. That's where we had a delegation in Delhi at the AI summit there. Generally, that's communicating the state of the risks, capabilities, and mitigations. That's how we think about all of those pieces and how they fit together.
That's one part: it's informational. We do a bunch of research, channel other people's research, and inform the UK government and other governments about these risks. The other thing is to actually mitigate the problem by working on both AI developer-side mitigations and non-model mitigations. Policy and commitments and the like are helping to drive that kind of change.
On the model side, for example, we have a very good red team that does adversarial jailbreaking and other forms of adversarial ML against the defenses the model providers are trying to build. We find lots of flaws, they fix the flaws, and that makes things better on the margin. Of course, we can also communicate the results of those attacks to other parts of government.
Usually, the things we do fulfill both of those functions at the same time. They both directly hopefully improve mitigations on the margin, and we can also use them to inform other people. On the politics side, we are part of the government. We're part of the Department for Science, Innovation and Technology, one of the ministries in the UK government.
We're beholden to politicians, so we have a Secretary of State. The situation is that we've been well supported by both the previous government, which founded AISI, and the current government as well. That has been quite stable and nice, although there are, of course, differences on the margin. We're able to do things we think are important.
We do adjust to ministerial and other priorities because we're not insulated from politics in any formal sense, but I think the UK government does care a lot about these risks, and it's good that we're able to work on stuff we think is important.
Yeah, long may that continue. How would you characterize the range of reactions that you get from the different stakeholders that you brief? I feel there are a few notable politicians who seem to be starting to get it, so to speak, and then a lot who are really nowhere close to your level in terms of just how big they're prepared to think about what might be coming.
Do you feel that is starting to change? Do all the graphs that you show them actually turn light bulbs on, or where are we?
I think it's changing on the margin. But the thing is, they have other priorities. A lot of people we talk to in national security usually don't think that these risks are not there; they just have lots of other risks that are on fire right now and they're working on. So I think that's just something that happens over time, but I can't comment on any details there.
Broadly, we are very much in the business of trying to find common ground and gradually build up evidence over time. They have reasonable pushbacks. We try to shore that up, either using knowledge from other researchers or other organizations, or doing our own research to fill particular gaps where we think it's important to change the conversation in governments.
It is remarkable, in reading all of the various documents that I went through in preparing to talk to you, the degree of alignment between what the UK AISI is putting out in an official capacity and what I would say many of the most forward-thinking AI safety thought leaders have been talking about in recent times.
It doesn't seem like there has been a big shift toward more mundane concerns—and I don't mean to dismiss those concerns—but I do think in many jurisdictions, this sort of AI safety concept gets watered down to a point where it's much more about fairness in various ways. And again, I do think that stuff is not to be dismissed, but a focus on that often ends up with neglect of the bigger-picture questions that I think are probably most urgent.
It also doesn't seem like you've had what I do see in the US, in at least some ways, which is just a politicization of the focus on the models. Are the models woke, or are they going to do what the Department of War wants them to do? Any advice for people doing this kind of work in other jurisdictions around how to avoid these pitfalls?
I would say this is a sensitive question that I can't talk about in that much detail. Obviously, I'm originally American, and now I'm a dual citizen, but I know more about the inner workings of the UK government than I do about the US government. I've never worked for the US government, but I don't have a detailed take that I'm willing to share on the podcast.
My favorite collaborator when I was at OpenAI was Paul Christiano, and it is great that he is at US AISI—or US CAISI, rather.
So let's talk about the characterization of the current situation—monitoring the situation, you might say. You do a bunch of different tests, and you report on these tests. We can walk through them a little bit.
I think you can assume that the folks who tune into this feed are generally well aware of the shape of the curve and the METR stuff, and the fact that the models are increasingly competitive, if not at least on average beating your domain experts in at least modestly scoped tasks requiring substantial expertise. So we have that kind of baseline.
What I would love to start with in terms of the testing is: what does your relationship with the frontier model developers look like? I understand it's all voluntary interaction. What does that tend to cash out to in practice, in terms of what kind of access do you get? How long do you have? What kind of briefings are they giving you?
I can't really speak to too many specifics of this, in part because we talk to them a bunch and some of these are ongoing discussions. On the voluntary regime, I think that's working decently well, in the sense that developers all made voluntary commitments a while back, and they're continuing to follow many of those.
When we say all, I think Google, Anthropic, OpenAI, and that's it. I forget exactly how you define all, but many AI labs have had, say, frontier safety commitments or responsible scaling policies or the like. Their incentives are, one, they've made these commitments, and, two, we can give them useful information. So when we jailbreak their models, we tell them about the bugs before we release any information, and so they have time to fix them where those fixes are doable. They often are; on the margin, you can improve things somewhat. So I think they get value out of this. Also, they make commitments to keep up with it.
In terms of the kind of access, I think that is also an evolving conversation. I can't comment on exactly what access we have, but part of the research we do is exactly about knowing what access one needs to do a rigorous evaluation.
We have a model transparency team, and a big chunk of what they're doing is trying to understand, often with a lot of research on open models because then you can do arbitrary things, what level of access is required to get to a certain kind of understanding. What do you need to be able to catch problems as they occur in practice? That informs our collaborations with the labs, and sometimes we get additional access there. Sometimes we just try to align and set expectations, because, again, they usually want us to give them correct information as well.
In terms of the timing, I definitely can't speak about how long we get in specifics. There's a couple of things to say. For example, in bio, some of our evaluations are literal wet-lab experiments where you have someone in a physical biology laboratory doing experiments with a model assisting them. We just don't do those pre-deployment. We do them asynchronously, calibrate those results against the faster evaluations, and then hopefully that gives you some signal of what you can do for faster evaluations.
But still, that gives you some wins. Certainly, more time makes things better. So it always is some degree of a pain point.
When you said that model developers want accurate information because they can fix things, at least on the margin, my guess would be that they are typically fixing it in the next model, not going back and doing more training on the current model. But are there cases where they're taking your pre-deployment testing and fixing that version?
No, it includes that version. For something like the recent work, we did a jailbreak evaluation.
One thing we're doing over time is that we used to do exclusively pre-deployment evaluations, which have this issue of time. They're often very time-boxed. We are shifting a lot of that work, not least because the pace of model releases is increasing, to longer research collaborations that might either be post-deployment or go back further before deployment is finalized.
We did one of those over the summer with both Anthropic and OpenAI, with the red team, and found a whole sequence of problems, like jailbreaks—much more than could have been found with a normal-length breakpoint evaluation. That was really enough. They can do ongoing fixes to their classifiers. Those 2 providers have different classifiers and different setups for jailbreak defense, but they can both be improved iteratively. So I think it is the case that you can change things for these kinds of defenses on the fly and so on.
One thing to say is that the strong jailbreaks are concentrated in very particular domains. Often, that list of domains is bio. So I think it's hard to do. When we do jailbreaking, we have to do it for bio risk and sometimes cyber risk.
A lot of other jailbreakers are finding any problem, and those are usually much less well defended, so it's easier to find hacks in the models if the classifiers are just not that trained for other kinds of harms.
Yeah. So when you talk about more time being helpful, that obviously—or at least strongly—suggests to me that while, I'm sure, you have all sorts of automated testing that you can throw at any new model the second that you get access, the fact that more time is helpful suggests that there's an irreducible human element to what is going on.
How would you characterize what you can automate, what models can help with, versus what people have to do?
Yeah, there's a couple of things. One is that even if it's something completely automated, it might take days to run, because there are long-horizon agentic evaluations these days. It might be that there are bugs in the scaffolding, because we often get models early; sometimes there are issues we have to fix iteratively. METR had a report about some details here a while back on one of their evaluations last year. So that is the thing that takes human time.
Additionally, when we do the extreme end of the human scale, there are wet-lab bio experiments. The middle of that is humans interacting with the model to gauge its domain knowledge—how it would interact conversationally with a person. Those can provide additional signal on top of just the purely automated evaluations.
And so you get better quality if you do both of those together. Sometimes we can do that because we have the time, and sometimes we can’t. Where we can, we try to calibrate the slower things against the faster things. But generally, all of this is imperfect.
If you have a fully automated evaluation, you’ve done a ton of the capability elicitation of models. You get a new model, you try a new task, and you have to iterate for a while to get it to its highest performance. That is true generically for all of our tasks as well. We can do evaluations that are quick if we use only the fully automated portion, but they have some error rate, and that means you can’t do the full thing.
One thing we’re doing there is that all our evaluations are done inside Inspect, which is an open-source package that a bunch of other governments, AI developers, and third parties use for testing. We’re adding features to that, including automated transcript analysis. There’s a subpackage called Inspect Scout. We used to generate all these evaluations and read through them, but you can’t do that at scale, so we also try to do it with automated or semiautomated transcript analysis.
That makes things faster, but you still need some amount of human review to really understand qualitatively what is going wrong. Ideally, we want not just a number out of these evaluations, but qualitative takeaways about what kinds of failures occurred and where the failures are. Do they feel fundamental, like, “It really didn’t understand the task,” or did it hit some incidental snag that would probably go away soon or with more elicitation? That requires more human time to dig into the details, ideally on top of automated transcript analysis.
Yeah. This is a tough question, I’m sure, but obviously everybody understands that these models are very high-dimensional things, and they’re a little bit tough to predict—exactly how to maximize the performance of any given one—just because they’re idiosyncratic. Is there any high-level qualitative overview you could give on how you approach figuring that out when you’re given a new model? Or is it the kind of thing where, like, DSPy or the new version of that—whatever, the recursive language model—is it just a grind of exploring the combinatorial space of how to prompt and how to do whatever, to finally get to some local maximum?
I think it is not fully automatable yet. If it were, then we would be further along the automated AI researcher train. But it’s fundamentally very similar to the kind of elicitation one does for any task. It’s tinkering with tools and sometimes prompts and scaffolding, and so on.
All of the cyber evaluations, and some of the bio evaluations, are very tool-based. They’ll be doing web searches sometimes, or using various things inside sandboxes at other times. I think it looks like the same kind of elicitation one would do if one wanted to do a task in any kind of corporate setting. It’s just on a different genre of problem.
I don’t think there’s that much to it. To your audience, just imagine you’re doing that for bioweapons or cyberattacks, and the same things will apply. One thing to say is that, with the newer models, one thing that happens over time as the models get better is that they can think for longer.
That means the potential number of tokens you can spend on a task is increasing. Even ignoring the cost of that, it means the velocity is slower: it takes more time to do the evaluation. We have a team thinking about that problem as well—how we’re going to think about inference scaling as it applies to these evaluations over the next year. That will be a challenge.
One of my lessons from Go as well is that, as an amateur player at my level, I can look at a Go board for a couple of minutes and then I’m basically tapped out. I won’t get any smarter. A high-level amateur or professional can look at a board for an hour, or days, and they’ll just get better and better and better.
Not only are they better in 10 seconds than I would ever be, but they also keep getting better if they spend more time. That’s generally true of expertise. If humans are experts in a domain, it means they can think for longer and get better. The same is true of models as they get good at domain skills: you can apply them for longer, and that means that hitting a ceiling in evaluations becomes more challenging.
Without getting into too many details, how much more would you say you guys have found about jailbreaks and ways to elicit bad behavior from models than, say, Pliny has published on Twitter?
With the “how much more” question, I think the thing I would say is that there’s such a big space of jailbreaks that if 2 people try to jailbreak a model, they’re never going to find the same one. You’re searching a continent; there’s a big space. It may be hard to find one, but if 2 people find them, they’ll be different.
I think Pliny is usually searching for jailbreaks on sometimes easier models or easier tasks. Over the course of the last couple of years, the time it takes for us—holding my technique constant—to jailbreak a model has gone up, but eventually we succeed. Again, the jailbreak will specifically be different between any pair of expert jailbreakers applying it to a model.
Well, I’m interested in that question. I was going to ask how much transfer you see between models, too. If you had a secret jailbreak for Claude 4.5 Opus, would it also be likely to work for Claude 4.6 Opus, unless you specifically said, “Hey, you should patch this”?
A lot of it depends on the kind of thing. There are patterns of jailbreaks, and perhaps human-findable jailbreaks, whose ideas often transfer fairly readily or give you much better starting points. We had a paper released this week called “Boundary Point Jailbreaking,” which finds weird sequences of nonsense tokens—chicken-scratch-like sequences—that are strong jailbreaks for models automatically.
Those don’t transfer. You’d have to search again for the next model. But you can apply that technique to any model and find a different jailbreak. I think that’s probably the way it will be for a while, because a lot of the jailbreaks are like that.
There are some core ideas that transfer across models. But the harder-to-find jailbreaks against strongly defended models in strongly defended domains, I think most of those won’t transfer. The techniques will transfer, but the particular jailbreaks will not.
But to be clear, the bottom line so far is: there is no space, no domain, and no model—no matter how many layers of defense it has—that has prevented your team from jailbreaking it?
Yeah. I think we’ve evaluated 80 evaluations overall, across over 30 different models or testing environments. Not all of those involved safeguard testing, but every time we did, we jailbroke a model. So that’s what happens.
The good news is that, in a domain where a certain lab has tried very hard, it does get harder. That increased difficulty does provide some degree of harm reduction. It will reduce the number of actors who, in practice, access the model, or delay how often they connect to it, or add friction in some way.
I think those are still important to do, but they don’t make the models unjailbreakable if you spend enough time.
How would you characterize the quality of responses conditional on these jailbreaks? One thing I do sometimes see is examples where people have gotten a jailbreak, but then it’s like, yes, you got the model to do something bad, but its effectiveness was also greatly reduced in that process somehow, such that it doesn’t actually feel so dangerous anymore, even though you did get it to do the bad thing, so to speak.
There’s some degradation, but I don’t remember how much there is currently with the current techniques. So I can’t give you that off the top of my head. I think there will be some degradation.
I know you can’t get into details around who is giving you, if anyone is giving you, weight-level access to proprietary models. But maybe a way to get some insight into the topic is to look at the team that does work on open models. Based on all their work, how much of an advantage is it to have that kind of access versus not?
I don’t think the open-weight techniques unambiguously win, actually. I think they help some, but in the current state of things, you can get a lot out of heavy, fairly basic thought analysis. So the case for weight-level access is not that unambiguous yet, maybe that’s the way to say it.
That can shift over time. One thing we’re trying to do with that team is understand where we are today, but also try to predict how the situation will change or potentially degrade in terms of our ability to detect deception or scheming in models.
Like what techniques will fall first, what techniques will survive, and which will last longer? I think that requires more clever experiments, because you can’t just run the experiment unmodified. That involves model organisms or other kinds of clever experimental setups. I think the situation now is that it’s not an unambiguous white-box win compared to doing a really good job on thought. But it does help, I think.
How about some highlights in terms of things that people who are even moderately to very AI-obsessed might have missed—in terms of, “Oh, I didn’t know that was already happening”? One that hit that level for me, reading through the report, was the fact that frontier models can give what’s described as PhD-level scientific experimental troubleshooting advice purely from a photo of the experimental setup, maybe with a little text along with the photo. The fact that this has gone from, “You have to really spell it out for them; here’s what I’m looking at. Can you solve this one for me?” is obviously a pretty significant qualitative change, and I hadn’t heard that before reading the report. What else stands out to you in terms of what would be most surprising to the audience?
The thing that always engages me is less the particular anecdotes and more the general trends, which is a super boring answer, but the fact that if you look over 2 years, everything just gets better and better and better. When you run those curves, I think it’s important not to lose sight of that in the search for anecdotes.
I think maybe one thing to say—when you first started talking, the thing that came to mind initially is that I think people have a sense that we are doing RL on verifiable rewards. I don’t think that’s been the case exclusively for most of 2025. I think we’re doing a mixture of that and also RL against self-critique, and empirical hotchpotch versions of scalable oversight.
There’s a common narrative that RL might work for verifiable domains, but it won’t work generally. But, as an example, is looking at a photograph of a bio experiment a verifiable domain? No. Yet the RL models are in fact way better at that than the models before them, and it’s because of the RL. That’s not because we only did RL on a bunch of math or CS problems that may transfer; it’s also because we did RL on fuzzier stuff. So I think maybe the most important thing I would point out is that we’re already doing some kind of very approximate form of scalable oversight, or training against self-critique, in a way that just changes the capability profile.
How would you describe the models’ capabilities when it comes to autonomy today? The trends are clear, but what would be your description of it? And I guess another angle on that is: how realistic do you think it is today, or how far do you think we are from rogue AIs surviving on the digital landscape?
Yeah, so I can’t comment on where I think that exactly is, but the first thing I’d say is that they’re not as capable at that kind of extreme behavior—these kinds of exfiltration or replication across machines—as they are at more mundane software engineering tasks, or even potentially cyberattacks or bio. Those domains are usually further ahead than the hard, direct risk-relevant autonomy skills. But I think those skills are also increasing.
If you look at that curve in the Frontier AI Trends, it still goes up; it’s just not as far along as it is in the other domains. So you don’t get to the point where you’re as good as a PhD would be at moving around between machines, not nearly yet, but I think we’re on an upward curve there too.
Yeah, I also wonder—I’m sure you saw “The Rise of Parasitic AI,” the post that was on LessWrong, maybe.
Oh, it’s a fascinating one. It’s a bit of a time capsule, arguably, because the phenomenon seems to have been closely tied to one version of GPT-4o that somehow created a lot of this behavior. Basically, the author went deep into Reddit and found that individual humans were falling into this idea that they were some sort of dyad, or something, with the models. Their idea was that they were in some sort of partnership where it was their job to help propagate—not exactly the model, but often the persona in the model—into the broader world somehow.
I do remember this one, actually. It was eye-opening for me in the sense that I thought, well, maybe I’ve been thinking about autonomy or self-replication in too biologically inspired a way. I was thinking, actually, these things are substrate-independent, and maybe if you can get the right prompt across models, the persona—or the memes, in some sense—can propagate even if it’s a different underlying chip and even different weights.
That stuff is just so weird. I guess—how big, weird, and far out do you have time to think about those kinds of issues?
There’s a Greg Egan story about that, for humans, that’s pretty fun if you ever read it.
More seriously, for AIs, we have 2 teams that are thinking about persuasion at AISI. One is the human influence team, which, as I remember, had a paper on persuasion about political questions a while ago. The models are very good, and newer, more capable models are better, so there’s an increasing trend in model persuasion abilities.
I think a lot of the loss-of-control scenarios involve or require persuasion. I think the world is not sufficiently well connected that you can do it with just fiber, probably. So that is an active area of our risk-modeling thinking: how we would do evaluations for that, and then mitigations for it in the future.
That touches both sides of the human-influence team’s work. Again, it’s human persuasion and also emotional reliance: how do people relate to models, and how do those dynamics change over time? That scenario you’re talking about just couples those 2 effects together in an interesting way.
I don’t think I would be worried about that scenario being that big a slice of the overall risk. But there are definitely other effects from model-human influence. That team is doing a lot of RCTs, surveys, and other experiments to understand those effects, both from the model perspective—how different models behave—but also societally, how it interacts.
Yeah. The big thing for me with that one was just the surprise of seeing that kind of bizarre phenomenon. Anytime I see something like that, I always try to take note of it and repeat the mantra over and over again that there’s a good chance we’re all still thinking too small and too normal about where this stuff could go.
And, yeah, where does that leave me? I don’t know. It’s just being open-minded, but there’s still a lot of blank space in terms of how to fill in what that might actually look like. I think that’s right.
So, one thing that I think is a classic Dwarkesh question, maybe: how do we reconcile the fact that there are all these vulnerabilities—not to mention open models, which I do want to touch on separately a little later—and even in the GPT-4 red team, I personally tested phishing capabilities that were very good then?
One of the hair-raising moments from even that year—and that’s getting close now to 3 years ago since GPT-4’s public release, more than 3 years since I was doing the red team—was when I tasked the model with talking to a target and ultimately extracting the user’s mother’s maiden name for obvious purposes. It had a couple of rounds of back-and-forth, and then it let the conversation end in a natural way, with an invitation to the person to pick up the conversation in the future if they wanted to.
I was like, “Oh man, this thing isn’t giving itself away.” It’s not pressing in a way that would set off alarms for the person, like, “Oh my, this is clearly somebody doing something weird here.” I was like, “This thing’s going to have people coming back to it to give up their secrets.” That patience really surprised me, certainly at that phase.
Anyway, that’s just a story. But we see all these things, and I always say the world mostly still feels pretty normal. I’ve gotten a couple of phishing emails where I was like, “Oh, this is a little bit higher-level than I’ve seen before,” but mostly not. I don’t hear too much. There’s a new story here or there of some company getting defrauded by some elaborate video scheme or whatever, but it still seems like mostly things haven’t gotten that weird.
And then in business or in enterprise, it’s like, well, it takes time, and there’s all, of course, the debate around how much of that is cope. But I would say online criminals are eager early adopters, right? Why is there not more chaos already being sown in the world?
Yeah, so I think I mostly can’t answer the question, in the sense that I don’t know what the ethics partners would want me to say about this stuff.
So, I can't speak to the prevalence of those things. I think the thing to say is that I feel like I'm better able to think about general trends and what good things could eventually look like than about exactly when you'd expect things to bite.
I was at OpenAI when we first didn't release GPT-2 and then later released it. The concern was, “Oh, we'll generate a bunch of false information.” That was, of course, too early, but I think it was a reasonable uncertainty to have. So, I still think it was reasonable to be uncertain, choose not to release it, and then release it later.
I don't have a strong answer to why or why not, but I think there are just some things in the world that take a lot of time to get to equilibrium. I don't really know if you could attribute that to the current models, if something is holding it back, or if people just haven't started applying it at scale. They may have, but it still hasn't risen to public view. So, I'm not quite sure.
Okay, I'll continue to watch that. One thing I'm thinking of trying to do with this podcast is interview more anonymous guests and try to give people an opportunity to tell us what they are either doing or seeing in strange corners of the world that they don't necessarily want to attach their real face and identity to.
I do think it feels like there has got to be stuff out there that's really interesting and weird, but it does kind of confuse me that I don't see more than the little bit that I do. Most of the spam I get is still terrible. In short, it feels like it should be better now.
Yeah, but remember that part of the spam calculation is, like, don't be too non-obvious, so that people—
Yeah, selection effect.
Yeah, that's right. Maybe I'm just not that high-priority of a target. There's always, “Don't forget, you're not a big deal.” That should be part of the explanation, too.
In all this work that you're doing, of course, the models are changing all the time. There are also the surrounding scaffolding systems that are changing all the time.
One of the most interesting graphs in the 2025 trends report, I thought, was one that compared what was possible with a minimum agent scaffold versus what was accomplished with the best agent scaffold. In short, I would say the scaffolding didn't seem to make that much of a difference. It would pull the same level of capability forward by a few months, but the model upgrades were really driving the story.
It did not seem like there was any 2-year-old model that, with the best scaffolding, could do anything super interesting. At the same time, I've had recent conversations, including one on the feed with Daniel Miessler, and I have a couple of friends who are scaffolding gurus and prolific workflow creators. They take the opposite angle from what I take away from that graph.
They say, “No, scaffolding is super important. If you could only give me a mid-Qwen model, but give me my full scaffolding toolkit, versus giving me Claude Code 4.6, I would take the weaker model, because it really is the scaffolding that's so important.” So, how do you get confident that your best agent scaffold is really a best agent scaffold?
As Elon Musk says, the agent scaffold includes the tools, the environment, and so on. We are doing work on what you might call a basic scaffold. Part of the reason that's doing well is that the models are increasingly trained in agentic environments to use tools in flexible ways.
In some sense, a model—or, like, the quote-unquote model—is itself a system that has scaffolding, because it's doing its chain-of-thought reasoning. I guess I'm skeptical of the Qwen-frontier comparison for a lot of the tasks, at least, that we do.
But I think you need to get the environment and the tools right, potentially. There are cases where we iterate on scaffolding and then things get better. I don't put a lot of confidence in that curve as a takeaway.
To the extent that it's a real fact, I think some of that is just that the models are more capable. It used to be that you did a pre-trained model, did a little bit of work, and then shipped it. Now so much more happens after pre-training that some of the stuff that would have been done by scaffolding is now part of the base system.
All of the systems have memory now. If you use the chat interfaces, that's a form of scaffolding.
Yeah, so I guess, to try to say that back to you, maybe one issue is that exactly what people mean by scaffolding is different. It sounds like you're really focused on neutral scaffolding, where you're giving the model a rather large, open-ended task, and not on what you think might be happening among these scaffolding gurus, where they're overfitting the scaffolding to what they're trying to accomplish.
Yeah, I think it depends on the domain. If you're doing something with a particular kind of very verifiable structure, and you can have a lot of waypoints that are verifiable, then you either need to make sure the model knows about this structure in its Markdown files or the like, or you need to get it carefully scaffolded to take that into account.
Even though the models have gotten quite good in literally the last month, you still need to give them a bunch of advice, whether that's through scaffolding, instruction files, or the like. So, I agree that scaffolding is pretty important. It's just that a lot of that is maybe not part of that curve.
Both sides of that curve are using tools and some instructions, and so on. You tend not to do that sort of detailed breakdown. When you say “best agent scaffold,” I should understand that as a best generic agent scaffold?
Mostly, yes, that's right. It depends on the domain. We've done some evaluations that are much more specific, but I don't want to talk about the details there.
Okay, got you. That's helpful, because that is a pretty notable question, I would say: how much capability overhang is there, and how much can scaffolding unlock?
But again, I don't think you should take away that I'm expressing a confident view in one direction here. I think it's still an area with a bunch of uncertainty. So, don't derive a bunch of bits of information from what I'm saying. I don't think we have a bunch of confidence at this point.
Yeah, okay.
How are you dealing with the rise of eval awareness?
The model transparency team is looking at this a bunch. Additionally, the alignment red team is doing adversarial methods to exhibit weird behavior. There are multiple teams doing this, which is also a reflection of our belief that eval awareness is an important, worrisome obstacle to evals being meaningful.
I think it will get worse. The newer models are more eval-aware than the previous models, and that's increasing fairly rapidly. The degree to which you can mitigate that is unclear at this stage.
There are different, fairly mundane tricks. The closer you get to actual deployment data, the less eval-aware the model could possibly be, because it's actually just not an eval. It's not an eval. One thing we do is show the model situations from AI engineers or researchers using coding assistance, so they're not evaluating the model; they're just doing coding and occasionally doing weird things.
You can also slightly tweak the scenario with a small change that gives it a situation where it could do a sketchy thing, and then see if it does a sketchy thing in that scenario. I think there are a variety of mitigations you can apply, and I don't have high confidence that they will work or not work. Which is an uncomfortable situation to be in.
Certainly. What are you looking at as candidates on the horizon for the next bad behavior to emerge? It seems like, for maybe the last 18 months, or even longer than that, with every substantial new generation of model there has also been a new kind of bad behavior that seems to have come online.
Whether it was sycophancy or deception in the reasoning models' chain of thought, or, obviously, reward hacking, which has made a big comeback—
I don't think those are new. Those are all basically versions of reward hacking. The way I would say it is that we've seen reward hacking for the last 70 years, throughout the whole history of computer science.
We've done various kinds of machine learning, and it's been reward hacking all the way along. On the ancient machine that von Neumann built with other people, someone ran some weird biology things.
Arthur Samuel’s program did some strange reward-hacking behavior back in the ’50s. I think sycophancy is models behaving in such a way that people like talking to them. Sometimes people like being told they’re great or have good ideas.
Deception as well: people like being told that things are going well, and if something is going badly, then you can say it’s going well, and it’s deceptive. I don’t think those are all that intrinsically different. I think that’s a big part of the story: these are all coming from the same basic place. You apply a bunch of optimization pressure, and you get reward hacking, and it has a variety of different manifestations.
The details change, but this is true of a lot of situations like this. With mental health or physical illness, something goes wrong, but it’s going wrong inside a human, and the human is extremely complex. Therefore, there’s a vast diversity of symptoms that one can exhibit when something goes wrong.
That’s kind of the situation here: the models have a lot of weird behavior. The people training the models will have tried to tamp down problems of a variety of kinds. They will have missed some, and so the things you most miss will vary in time, but there’s some common driver behind all of this.
I definitely take the point that, at some level, clearly all of these behaviors come from some optimization pressure, which is increasingly reinforcement learning, and so it’s kind of definitionally all reward hacking. That makes sense.
But it does still seem like there is a cadence, right, of different kinds of reward hacking that seem to be popping up. I’m still wondering what you are looking out for. We’ve seen little hints of self-preservation, and there could be power-seeking.
Do you have a taxonomy of things where you’re like, “We have abstract theoretical reasons to think this could happen, and therefore we’re monitoring for any early signs of it”?
I guess maybe, unsurprisingly, there’s a certain category of specifically multi-agent risks that are becoming more visible, along with multi-agent and open-ended systems, and so on. I think these are just not the biggest risks currently, but that’s the thing we’ve been tracking recently.
Generally, we do try to do a lot of risk modeling at AISI. We’re also trying to ingest risk modeling from other people thinking about things from different perspectives as well. We constantly write very long documents with a list of risk models.
But part of what we also try to do is not get too sidetracked from what we think are the biggest risks. Again, we have our list of main catastrophic risks. The list may not mean “only,” but it means the ones we think are potentially going to bite first, or the ones we think are important to try to understand the most.
That has remained constant, I think, and that’s reasonable in hindsight over the course of AISI. That’s true also of societal impact. On the societal side, within AISI, we talk a lot to various partners in government and national security. They have their list of risks and different prioritizations of risks.
That’s an evolving conversation, but I don’t have a super-pat answer, other than that one thing on our mind recently is agent risks. But we were not unaware of those before.
Would you say that this common cause of all these different flavors of bad behavior gives you some reason to question, or to think it’s not so likely, that we would be totally taken aback by some sort of hard left turn?
Because one thing—just in the last 24 hours, there’s been an Amanda Askell discourse after the profile, and a lot of commentary on her and her work online. I commented that, relative to where I was years ago—whether it’s 2007 me reading Eliezer on Overcoming Bias or 2022 me red-teaming GPT-4—I’ve been quite impressed and inspired by the work that they’ve done to try to create an AI with a genuinely positive character.
I said, “Seems to me that the chances—which I certainly don’t take for granted or think are a sure thing by any means—that we might actually succeed in creating a robustly aligned AI, or an AI that loves humanity or whatever, have gone up. They’ve done a lot of good work that has given me much more reason to think that could in fact happen.”
A lot of people then say, “Well, that’s all just a façade. It’s just a surface persona. You have no idea what’s going on in the base model,” and so on and so forth. I’m kind of like, “Yeah, there’s certainly a lot I don’t know about what’s going on inside, but if we think all of these things are the result of an optimization pressure, then I could tell a story where they’ve figured out the right way to titrate the optimization pressure, and maybe it’s actually just really working, and there are no big secrets inside of Claude.”
How naive do you think I’m being?
I think the fundamental thing is that the core argument for the sharp left turn is that you have a certain kind of reward signal that has a certain resilience to mistakes. That resilience kind of goes up to human—something like slightly beyond human ability to understand where mistakes are from—and then it kind of goes wrong.
I do think it’s important—and the people who express strong confidence that none of these mundane approaches will work, I think, are overconfident—but I don’t think you can count on that. Model error goes in both directions. There is a fairly coherent story about how that can break down as you get capabilities beyond your ability to supervise them.
The hope of that kind of prosaic technique—not just by itself, but on top of other things as well—is that you find some kind of basin of attraction of decent behavior, and then you find your training procedure strengthens that, and you slide into a good place, and it gets better over time.
I think that is a real potential win condition for alignment, not obviously for the other risks necessarily. But I don’t think we’ve gotten a ton of evidence that that is the way it will go. I think it’s still a plausible story, potentially, that works up to a point, and then, when your reward signal starts to break down, it kind of fails.
I programmed a bot to play the board game Mancala when I was in undergrad, and a fascinating thing is that, as I increased the depth, I was winning and winning and winning. Then I increased it by a couple more ply, a couple more turns, and it just completely demolished me every time.
It was at the point where it kind of had enough of a long view of the board that it could see beyond what my tactics were able to handle. The degree to which it suddenly became better than I was happened very rapidly. I think that kind of thing is still a plausible story there.
But, again, model error can go in either direction. I’ve kind of declined to take a view on probabilities as to which way I think it will go.
In other words, a friend of mine, who I think you have also interacted with over time, said one of the best things anybody ever said to me: “We should think and talk less about what the probabilities are and more about what we can shift them to.” So clearly you’re in that business right now.
I think it’s a great overview of all the things that the team at AISI has been mapping out. How about the stuff that you’re looking to fund and encourage from here?
I guess my high-level summary of what I read is that it seems like—and this seems like a reflection of your style, at least to some degree, going back to your comments at the beginning of the conversation—you’re looking for harder theory, stronger mathematical understanding, upper and lower bounds that you can put on problems, and ways to get confidence in something, firm confidence in something, even if it’s a minimal something to start.
Is that a fair high-level take on your agenda?
I think that’s right. One thing to say is that you’re not going to prove that you’re good or safe in this regard. It’s more that you’re going to make some modeling assumptions, and then you’ll have some theory.
The basic goal would be to find theories that can say things about how machine learning works in general, how this process of overseeing very advanced systems goes, what the training dynamics are like, and whether there are basins of attraction in these systems. What are the learning dynamics?
Those will not give you certainty; you’ll have to make assumptions along the way. The idea would be that you have to make a variety of assumptions, and then you can do some theory. In your theory, maybe you can even prove some theorems or do some kind of experiments in your toy-theory setting.
Those tell you, well, this class of algorithms is more likely to work than this other class, or we have nothing: none of these algorithms are going to work because of this fundamental obstacle. But ideally, I think it also gives you some way to get another hint that you can replicate some of that behavior empirically. I expect that if you were to pull an algorithmic insight out of this kind of theoretical work, you would then have to tune it empirically in practice when doing actual model training to get the details right.
So, you're not going to get the full confidence. You're still not going to get that many nines out of it, but hopefully more probability than we can get with purely pragmatic methods. Additionally, I think it is hopefully a class of research that has the potential to pull in a bunch of people who have deep expertise in relevant areas of mathematics, computer science, or ML.
Complexity theory, I think, is very relevant because it is how we think about the tractability of computations, but also how one computation can supervise another one. There are ways to model heuristic reasoning in complexity theory, although that's more nascent. Then there's a bunch of work on various kinds of learning theory, which tries to understand what the dynamics are as you train models or as you infer, as you roll out a bunch of tokens. What are the behaviors that you could expect?
Game theory and cognitive science are just big areas of research where people have a bunch of models. Part of it is trying to do a bit of a hack where we just have not tried to take all the domain knowledge from these fields and apply it to the problem. I think that is the thing where, if we find people and manage to fund them or get them to work on the problem, there's some chance that they find ideas that can be quickly absorbed into practice, or that will highlight the fact that there are real obstacles here that we don't quite know how to surmount. There are a bunch of these that current methods don't really address, and we know some of those already.
I think I get this. Let me rephrase. I've been a big fan of the PIBS program over time, which was perhaps directly influenced by your call for social scientists to enter the AI alignment field. I've seen not a ton, but at least a number of results there that I thought, “Oh, that's really interesting, and more people should be doing this kind of stuff.”
I'm sure you remember the one paper—I forget the official title, but I titled the episode we did on it “Claude Cooperates.” It was a really simple donation game where, if a model donated to a copy of itself, the recipient would get twice as much. What happened over generations? Did they evolve cooperative norms? Did they evolve the ability to punish defectors, and so on?
Claude could do that at that time—it was 3.5. GPT and Gemini, again at that time, couldn't do that. I thought, “Oh, wow, that's really interesting.” There are absolute reams of similar papers and experimental setups that have been done on humans over the years. We could just import so much of that to the AI world. I've gotten that kind of stuff quite a bit.
What I am not seeing—maybe it's just going over my head as somebody who's not great at math. Maybe I can't even recognize good stuff when I see it. I don't see nearly as much where I'm thinking, “Oh, these folks have brought abstract theory to bear in a way that gets to some firm statement that I can take to the bank, incorporate into my mental model, or base part of my worldview on.”
Would you point me to specific people or results that you think I'm missing when I say all that?
I don't think you're missing that much in terms of hard theory that applies currently. I do take the work that Paul Christiano and I did on scalable oversight to be very much inspired by interactive proofs and complexity theory. That's a kind of direct influence, although we don't know if those things work yet, which is important to say.
The other thing is that a lot of this will be inspired by some theory, but you have to modify it a bunch. Singular learning theory, at its core, was trying to be an alternative to mechanistic interpretability. Rather than looking at the model internals, you're trying to understand the map between data and behavior, so that you could, for example, notice when there's a particular kind of data or movement in training that is pivotal to behavior, or know where to intervene on data to gather more of it and pin down a certain behavior.
There's some crazy algebraic geometry that is the foundation of that field. In practice, though, they're taking that intuition and trying to map it onto ML, and that mapping requires a bunch of changes and nuance. None of this stuff is that far along yet. It's a bit of a bet, and part of what we're trying to do is fund a lot of different bets because we don't know which one could work yet.
Twinned with that model is the possibility that they could all fail for some correlated reason, as we were discussing earlier in the call. That's still a very live possibility. When I look at parts of machine learning, I think of things in terms of supervision processes as they relate to interactive proofs and complexity theory. But I don't think those have really cashed out; the fancy versions of them haven't cashed out.
For example, the original idea of debate was a lot of rounds of back-and-forth iteration. The things we're doing now are nothing like that. They're a couple of rounds, and they're much more pragmatic and empirical. You wouldn't expect them to get all the properties you'd want out of the full schemes. Even the full schemes have various obstacles that have not been surmounted yet, but there are a lot of them. So, yeah.
Could you give maybe a little history of that debate field intellectually? What are the sorts of statements that you would hope to be able to prove that you maybe haven't been able to prove? What is the state of the art, and what is the gap that remains to be closed to get some of those things to work to the level where there's some real firm—
Yeah.
—claims you could make?
Firmer claims. I think the history is that, when I joined OpenAI, Paul Christiano was working on a scheme he called amplification, or iterated distillation and amplification. Basically, you want to solve a hard problem that a human can solve, but a human also can't supervise the AI, so you can't even do RL directly.
Maybe a human can break the problem down into components. Then you can break those components, or those subquestions, down into smaller questions. You iteratively break these down, and you get this expanding, exponential-size tree of all the questions. You train your machine, your LLM, to answer all of these questions. In practice, you don't actually expand the whole tree because that would take exponential time. You just expand part of the tree.
I thought this was a great idea. I didn't fully like it because it didn't seem strong enough. If you're doing this kind of breakdown, you might need very deep trees in order to get to the answer to a big question. For some questions, if you have adversarial play where another person is trying to help you produce these questions, then you can do much shallower trees and a much quicker training process.
That was the origin of debate. It's basically a modification of amplification, where you have 2 AIs trained to argue with each other about what the answer is, and then a human is going to judge the answer. Fundamentally, what you're trying to do there is view the problem as something that you're going to break up into a bunch of subproblems and then only actually explore some of them in your model's chain of thought. Hopefully, you explore the part that is going to be relevant for the human deciding whether they agree with the answer or not.
There are several things wrong with this as stated. One is that the original paper was treating the model as being able to answer all questions, which is not the case and will never be the case. You're always going to have questions that models can't answer, even if we get to superhuman models.
The theory says how to make these schemes go through if there is a tractable question that the model does know the answer to, and you can break it down into a bunch of subquestions. Some of them hide dragons, though, and there's no way for the model to answer that subquestion. Neither model in this kind of debate knows the answer, and you just get nonsense out.
The funny thing about that is that it wasn't something we thought of theoretically. Beth Barnes found it by doing actual human experiments.
She hired some people to do experiments, playing debates against each other with human judges—just with no machines at all, just humans. That was a winning strategy: you try to veer the debate into an area where everything is confusing, and sometimes that will fool the judge into guessing the wrong answer at the end. So, that was an emergent human strategy, which then, I think, has this kind of mirror in theory. We have one paper from early last year trying to attack this. That paper turns out to have a flaw, and we're working on a revision to it. It should be out soon.
But that problem is still unsolved, and there has hardly been any work by AI developers on it. This is called off-script arguments. Again, it's just the generic thing of what happens with scalable oversight if the models can't answer all questions, which will certainly be true. The models will not be able to answer all questions. So, that's one problem.
I think the other problem is that, if you want to get to high confidence, you probably can't just do something like debate or amplification. You have to do that plus some sort of story that has some white-box component, if you want to get to high confidence. That could be deception interp; it could be the physics-inspired stuff that some of the PIPS folks are doing. There are a variety of different bets, but none of those bets have fully paid off, and we don't quite know how the 2 things interact. Mapping how these different parts could fit together is also part of the story.
So, that's a rough picture of things. I think one of my regrets is that we had this paper with Amanda and myself in 2019 or 2018—I forget exactly the year—and I just failed to cause that much work to happen after Beth Barnes did a bunch of it at OpenAI, which was very good. Then there were a bunch of years where nothing was happening, and I failed to get it started at DeepMind, and it wasn't going to be widely done elsewhere in the field. So, I think we missed a number of years where we could have been making progress on that stuff. Alas, but now we're trying to do it again.
This is a bit of a side point, but one of the funniest things I've ever done with language models is set up a little—well, the hope was that they would have some synergy, but it was basically having one generate a name for something. I forgot what I was trying to come up with a good name for; it might have even been a friend's podcast or something. Then I had the other one come in, look at those names, pick the few that it liked best, and improve on them.
Boy, did that go badly from an actual quality-of-name standpoint. It was hilarious. We're talking about 14-syllable names for things in very short order, where it was like, “Yeah, this is not working. I'm not sure what you think makes a good name, but it's not this.”
The funny thing is that there are cases where using one model to get a level of eval is actually state-of-the-art at doing things. One of the theorists we're funding is finding that using one model to generate a complexity-theory proof and then checking it with another model is the best thing to do, because if you check it with itself, it won't be quite as stringent at checking natural-language proofs.
So, I guess it didn't work in that case, but that is a good thing that often does work: having one model check another one. Certainly in terms of flaw-finding, I've seen that work. It also seems, from all the scaffolding gurus that I mentioned earlier, that a big tip is to have a model from a different provider evaluate whatever one you had do the generation in the first place. Cross providers as much as possible when doing evaluations; that seems to be valuable.
I guess the idea is—or the observation is—that the models from the same provider have correlated weaknesses. So, you can definitely get value there, I think, in terms of flaw-finding. I've seen it work. It seems like the curves, at least—I don't know if you would characterize this differently—but what I've seen in terms of actual improvement beyond finding flaws and fixing them seems to plateau pretty quickly. Around 3 to 5 rounds of back-and-forth with not too much gain is how I would characterize everything I've seen.
The empirical debate experiments to date show the same effect. The original debate paper imagined dozens of rounds of debate, potentially, which is not what you see. If you have 2 experts debating, they don't get to say 2 things and then stop. But the models—at least maybe certainly in 2024 and the beginning of 2025—couldn't do more than 2 rounds.
Then there were some really worrisome signs about experimental validity. For example, there was a paper—it was a concept paper—which was generally quite a nice paper. It had the big caveat that the dataset was QuALITY—capital Q, little u, uppercase ALITY, whatever. But there was a feature that verified that the quotes the model was producing were correct, that they were in fact quotes from the stories that were hidden from the judge in this kind of debate game.
If you turned off that verification, honesty was still a winning strategy, which can't be the game-theoretic equilibrium. Because if you turn off verification of the truth, there's no reason honesty should win at all, unless the model is not very good at coming up with plausible lies, or the model is somewhat aligned and makes itself tell the truth, or it's giving itself away in some way when it's not.
So, we haven't really reached a case where empirically we're really testing the limits of this behavior. Again, I think part of the AI developer alignment story is still scalable oversight of various kinds. But we haven't really seen tests of this that probe how it will almost certainly be a few years down the road, when the models get very strong. That's again where the advantage of theory is that you can just pretend to be in the future on paper and prove you're there, as long as you've imagined it correctly, and therefore think about more limiting cases a little more readily. I think we just know from the structure of the empirical results so far that we are far from where those limiting cases will be, for a lot of these safety techniques.
So, what do you think of the prospects for formal methods to close this gap? I just did an episode, and you've—as my dad would say—forgotten more than I know about this domain. I just did an episode with the founders of Harmonic. They're one of a very small and distinguished group of companies that got IMO gold-level performance in 2025. Everything they do is output in Lean; that's the lingua franca of their models.
It takes a lot these days to take me aback with an AI vision for the future, right? There are a lot of big ideas. I did just give them a query that failed. I was testing Harmonic on some polynomial inequality, and it was true—I had a Lean proof of the inequality—but Harmonic didn't provide it to us.
The thing I would say is, I do think this stuff is pretty important. I'm advising a couple of people on funding flowing to formal methods. I think mostly this is for various kinds of information security. The math stuff is fun—I like doing the math stuff, too, for fun—but it's not all that important. And it's not clear that, for AI safety theory, it will be that much of a win over just doing things in natural-language math for a while.
But for software verification—either for hardening the world's security against various kinds of attacks generally, or for use when you're building AI-adjacent software directly, either at AI labs or the like—I do think this is potentially important. I think it's worth quite a bit of investment and pushing. One thing I'm hoping is that the various people who are doing Lean verification downgrade their fraction of effort on math and upgrade their fraction of effort on software, because I think it's almost certainly more important, even if it's a bit less flashy than much of what they do.
So, I do like this stuff. Again, I founded the natural-language-to-formal-theorem-proving subteam at Google Research with Christian Szegedy back in 2016. I did that for a while, and then I've done it off and on since, mainly for fun. I think it is important, but it won't really give you that much of the alignment story, in practice.
So, I really struggle with this type of thing, but I can tell you what they told me, and then I'll try to get your reaction to it. Their big vision for 2030—I asked them, “What does mathematical superintelligence look like in 2030?”—and they said, “We think we can get to a world of theoretical abundance.”
That means that, because these things are going to get so good at proving any theorem you want to prove, we'll have multiple grand unified theories of everything. All of the physical reality that we see will have multiple grand unified theories that could explain it, and then we'll have to do increasingly exotic experiments to resolve which of the candidate grand unified, coherent—you know, grand unified—
Well, we already have the core theory.
We don't need that. I think, again, the question is—I agree with this picture—the core theory, which is general relativity plus the Standard Model, already kind of explains everything for a good while to come.
But what about things like some of these hard limits that you would want to put on learning dynamics, or other ways of looking at some AI questions?
I think it is important, and I think the question is—but the problem is that a lot of these domains are not well formalized. For example, if you look at one of the wonderful three-letter organizations, the Alignment Research Center, which Paul Christiano founded and which is now kind of run by Jacob Hilton, they're trying to formalize when you can—even if the AI is not doing a formalized task—check its own heuristic arguments in some meaningful sense.
Or notice when there's a consideration that the model is using that you haven't anticipated, and notice that, react to it, and take defensive measures. But none of their problems are specced out formally.
So I think what that picture would look like, to the extent that we get better and better at the formalized world, is that you can formalize parts of your problem, and then those parts you can pound away on with Lean and various machine-learning assistance. But then the remaining pieces are the non-formalized part, and the question is: Is that going to be small enough that humans can keep track of it? Will the model be able to do it? Will they just get confused too, or hack the situation?
I think it remains to be seen what that situation looks like for something like alignment theory once this goes through. Because alignment, again, I don't think that we're going to get to proofs of safety of any kind. What we would get is theories with plausible assumptions, maybe, and then some theorems about those assumptions, and then some empirics that say whether those assumptions seem to be holding.
But there will be a bunch of judgment calls all across that stack, and the question is going to be: How does that go? So I think the thing I would say is that I'm excited for groups like Harmonic and the various other theorem-proving folks to keep working on this.
Look, I think it is potentially important for safety theory and alignment theory. But I also hope that they think through the detailed risks that they're trying to mitigate, what piece of the story they can address, and try to map that out in more detail. Because I think that right now there's not enough vision from those folks about exactly what piece of the story they'll be able to handle versus not. But I do like this stuff a lot.
Do you have any way of helping somebody like me understand the boundary between this sort of abstract, Platonic, formalizable domain and the non-formalizable domain? I asked Aristotle from Harmonic to prove “all is love,” and it said—this is in their informal mode, where you can give it natural-language stuff and it tries to formalize it for you—it spit that back at me and said, basically, “That's a philosophical statement. I can't really help you with that.”
Which is what I expected, but I can't say I know where that boundary is or how I should be thinking about it.
I can give you a much more concrete example of this. Say, in singular learning theory, there are some theorems that apply to the case when you're training a model—and by training, we mean doing exact Bayesian inference as you get more and more data.
So you have a set of data, and you're just applying the exponential-time Bayes rule update to find the optimal probability distribution over the final behavior. You can prove some theorems in that setting, and Aristotle absolutely could not hope to prove those now. There'd be no chance at all, but maybe in a few years it could be able to.
But then Timaeus, which is one of the main singular-learning-theory organizations, is not actually doing Bayesian ML. They're doing LLMs. So they're going to take intuitions from this Bayesian case and apply them to LLMs, which are not at all trained in some kind of rigorous Bayesian fashion.
Then they're going to do a bunch of approximations that are not actually grounded in any kind of theory. For example, they're using floating point, which has no mathematical properties—not enough mathematical properties to be able to prove much about it, except in limited cases. And they're going to do Markov chain Monte Carlo techniques, or what's called SGLD—fancy versions of Bayesian inference—on LLMs.
But they're not going to converge, so there's no theorem that says they'll get the right answer. And so you can see where part of the story will have some theory, and then another part is someone kind of waving their hands. The question is how much those connect, and that's going to be a bunch of hard judgment calls.
Do I understand correctly that the fundamental distinction is often in the intractability of the computation? It's because there's some infinite term in the math, and the amount of number-crunching I would have to do in the ideal case is too large, so then I'm kind of off the theoretical map?
Yeah, I think that's right. But there are other cases where even the infinite computation is not formalizable. The “all is love” case, you can't really formalize. But I think even in theory, I guess it's about computational limits.
The reason that LLMs appear to be doing what they're doing is not that LLMs—or any animal models, actually—are solving an intractable problem. You can take protein folding and write down limit situations of protein folding which all but provably take exponential time. But AlphaFold can still produce those folds. It just doesn't do them that way; it does them a totally different way that doesn't work in every case. And so it's doing a bunch of heuristics.
There are ways to formalize heuristics. For example, in complexity theory, you can say, “I'm going to have a circuit”—a rigorous computation—but it's going to be able to call some set of functions which can do some random things. We're trying to model heuristic computations, so you're modeling this fuzzy neural net as a circuit plus heuristics, and then trying to do theory in that setting.
But it appears that you're going to have to make some assumptions about these heuristics. You can't make schemes that work in the case of all heuristics. So the success case for this kind of theory will be to figure out what the assumptions should be that seem plausible enough, maybe have some support from learning theory—which is also going to be heuristic—and then prove theorems in this setting.
That's kind of modeling the parts of, I don't know, humans judging honesty or values, or our notions of fuzzy problems being correct or not. And so I think it's basically a case of more subtle versions of “define love for me,” which the machine won't give you an answer to. That is a reasonable intuition to start with.
Okay. Are there any other things that you're looking to fund from a research standpoint, or any other highlights from your own work? You've impressed me by continuing to stay active, publishing things even while doing this job. That's pretty cool and impressive.
AISI publishes on language models.
[Laughter]
I think the jailbreaking work we just did is quite cool. There's the Boundary Point Jailbreaking paper that just came out this week, which is basically a way to do black-box attacks. You take a jailbreak and then a harmful query, and you muck with the query until it looks like gibberish and the model doesn't think it's harmful.
Then you gradually make it less and less murky until you hit the boundary, and then you dance around that boundary until you find harder and harder attacks that eventually work. That team is doing a bunch of stuff of this kind. It's quite creative and important for mapping the secret space.
On the alignment side, the real challenge is that all of this is imperfectly formalized. Often, you go to the people we think know the domain best and say, “Hey, do you want to work on alignment?” There's some jump they have to make where we want to find people who are bought into the risk model enough that they're willing to explore in a fuzzy, sometimes unsatisfying definition space, to search around and find ways to connect theory and practice.
That's the thing—that is a challenge. I think the Alignment Research Center that I mentioned has had a number of conjectures they've put out. At the bottom of every one of their conjectures, they're like, “But by the way, we might have gotten this conjecture wrong. It's possible that if you prove it true or false, we'll realize that we didn't mean that. We meant a slightly different conjecture, and all of this new conjecture is risk-relevant or important for our safety agenda.”
And that's kind of unsatisfying to say to a theorist, but it's just fundamentally the real situation we're in.
As more people become aware of model capabilities and risks and so on, I'm hoping that more people with interesting domain expertise will want to really dig in, understand the risks, build up their own models, and then find ways to connect their area to the risks.
Something I often say is AI defies all binaries. I genuinely do believe that, and it seems right to me in a lot of places. But you showed this presentation that you gave at a recent workshop where you said it actually might be the case because we have things in computer science like P vs. NP, right? We know that some things are—or at least, it seems quite likely that some things are—genuinely, fundamentally hard, and other things are fundamentally easy. So maybe help me understand that. How should I update my worldview if I'm somebody who doesn't see that binary?
The way it works is, again, this goes back to the question of whether the superintelligence will be jagged, and the answer is yes—but only about super-superintelligent things. They won't be jagged about mundane tasks that are very easy. If I give you a task like, “Can I get a spoon from that drawer?” it's not exactly binary, but you're going to do it nearly every time. You'll just succeed with many nines of probability on that task, and it's easy for you.
I think the way to combine that view with this question of things sharpening one way or the other is that if you push—not to some infinite limit, but far enough along—you start out in the middle, and then some force will push you to one end or the other. But then, as you extremize, something else will still be in the middle. So that's how I put those 2 things together. That was a very abstract answer, which is the kind of answer I sometimes like. Follow up with me if you want.
How will we—I mean, as it pertains to alignment in particular—and I honestly have a lot of questions in AI, right? We have this weird phenomenon where, first of all, we're obviously moving through time, so in that sense timelines are getting shorter as time passes. But then also calendar-date estimates have come in a lot, and yet it doesn't seem like there has been much convergence of views. I wonder how you think we will—is that just going to continue to the singularity, or are we going to get some purchase on basically…?
Well, I think you do. I think people have often had very strong priors, and some people will shift and decide that things are binary, or that they should have model interpretability. Some people won't really, and they'll remain fairly sharply divided. They'll remain pinned on one side or the other. I guess I've been in the field of AI long enough now and seen enough people continue not to have strongly shifted that I think that will just keep going all the way along.
Yeah, yeah. In my forecasting thing for 2026, the only thing—of course, everything else goes up—but the one thing I actually estimated lower for this year than last year was what percentage of people will say AI is the most important issue. The big update for me was that if it didn't move last year, it might not move this year either, and it's probably going to be a busy year.
No, but from a very low number, though, I would expect that to go up just because it's starting from a small number.
I did predict it to rise. I think it was measured at 0.2 or 0.3 or something last year. I think I predicted 2% at the end of the year, and it basically still came in at almost no change, or very little change. So I think this year I predicted 1%. It's still going up somewhat relative to baseline, but my estimate went down from last year to this year.
Another comment that caught my eye in the presentation was, “Training is a mess,” and I think that's obviously true. I've been talking to the folks at Goodfire. You may have seen that they recently raised a bunch of money at a unicorn valuation and announced an extension to their agenda called Intentional Design.
They're looking at different ways to try to use interpretability techniques in the training process to understand, potentially even at a gradient-step-by-gradient-step level, what is being learned here in a semantic sense, and then be able to apply techniques to say, “Well, we do want to learn that sort of thing, but we don't want to learn this sort of thing.” Hopefully, that would make training less of a mess. How optimistic are you about that sort of thing?
I think you're worrying about what I meant. That doesn't change the mess. It's more like, if you look at a frontier lab, they have hundreds of people doing model training across many, many subteams. There are piles of datasets that are constantly contributing to the process, and there's iteration and many, many phases. They'll be automating part of the task, but then somebody spends some time looking at a spreadsheet with a sample of trajectories to see how things are going. That is a very complicated, almost emergent process.
Nothing about that Goodfire thing changes that at all. It just adds another wrinkle to the mess, in some sense. There's a really lovely line in it. When I was learning about ML in 2014 or whatever, I was reading one of Kevin Murphy's books on Bayesian ML. He had a great line that even the best Bayesian people will occasionally do some frequentist thing where they just do a quick check to see if their Bayesian thing is sensible. You shouldn't be too purist.
For better or worse, the training process at labs is extremely impure. It's super complicated: all these different people doing all these different spot checks and so on. I think that was the point I was making. That definitely is going to still be the case even if Goodfire does or does not do its slightly more complicated training method.
So does that mean you don't have much hope for methods that understand what the model is learning as it goes and shape it?
I do. I don't want to take a stand on whether it's forbidden or whether it's good or bad to do interpretability for training. I'll decline to answer that part of it. Generally, trying to understand in more detail the dynamics of training is very important.
I think that “mess” line was orthogonal to the question. There are a number of techniques that try to control what is learned. There was also this gradient-routing work by Alex Cloud, which is interesting, which tries to funnel certain knowledge into certain parameters in the model. Generally, I do think that there is potential to do interventions of this kind that are important and improve, at least, misuse-risk safeguards, but possibly also alignment.
Yeah. I think in terms of open-source models, one hope would be that you might be able to do some of that gradient-routing-type stuff and then release a version that's limited to experts or something, and give people almost everything they could possibly want, but not package the bio risk into it.
What do you think about open source? This is maybe a little late in the conversation to ask—a big, thorny question—but it seems like right now there's not really any plan. We're just going to hope that the frontier model developers surface any issues far enough in advance that, if anything is coming down the open-source pipe, we have at least a little bit of a window to react to it and do something.
But it doesn't seem like we're on any course to do anything if open source is about to become a problem. Any thoughts?
So, yeah, this is certainly a concern. On the alignment side, the alignment mitigations potentially do apply to open-source models, although you can also remove alignment if you get an open-source model that's aligned. For misuse risks, as you say, there is a class of techniques that just removes capabilities, which would give you some extra period of time.
That includes pretraining data filtering. There's a paper we had with Stephen Casper about that. There's a paper by DeepMind folks called something like “Unlearn and Then Distill,” which does a non-robust unlearning step and then distills into a different model. Because of the distillation process, you don't miss the parts you didn't unlearn. As you say, gradient routing could be a solution of that form as well.
But that buys you some time, and then the capabilities of models will catch up and you'll be able to pull that information off the internet, or in various ways, even if the model doesn't intrinsically know it. I think a lot of that is intervention on the margin. This is why, in part, we have conversations about governance, but also why we have conversations about non-model-side mitigations to these risks.
Yep. It all ends in hardening the world.
Okay, cool. Anything you want to share about the AISI’s work in diplomacy? Obviously, hardening the world and also improving cooperation would be a great general public good.
There’s still the Network for Advanced AI Measurement, which is a variety of organizations around the world doing similar things, and we’re part of that, helping to steer it to some extent. We’re the secretariat of the International AI Safety Report that Yoshua Bengio is leading, so we do a lot of work there. And then there’s a bunch of various venues, like wider venues such as the Delhi summit in India, and bilateral conversations with particular governments, basically. So, that’s a lot of what we do. We have a big international team, and that work is ongoing.
We are, of course, still in this voluntary regime. That work is about getting people onto the same page about risks, capabilities, and mitigations, but not more than that yet. But I think that information is important in case the situation changes in the future or governments want to take other actions.
Yeah, absolutely. Is the UK government and political class generally more optimistic about collaboration with China than the US political class?
I can’t comment on collaboration with China in great detail. We obviously work more with allied governments than with other governments. There’s not much more I can say than that, so it’s a bit sensitive, and I can’t quite speak to it.
I hope you’re finding at least some common ground with Chinese researchers and scientists. Put that in the suggestion box.
Yeah, I think that’s it. This has been fantastic. I really appreciate the time and all the extra time for my many follow-up questions. Anything we didn’t get to, or any kind of call to action you’d want to leave people with before we break?
I think one thing is that we are definitely hiring in a variety of teams. Particularly, the red team is hiring for pure jailbreaking stuff. Please apply. Other teams as well—we have a job board up. So, I think that’s the obvious call to action, and we have other roles opening up over the course of the year in various teams at different times.
We did one alignment project grant round last year in the fall. We had an alignment conference over the summer. We’ll probably do more things of this nature in the future, so look for those. And I think generally I just hope that more people who have different kinds of knowledge and expertise start working on the problem, and not just the labs.
One thing is that when I left DeepMind—I was at Google Brain and then OpenAI and then DeepMind—but when I left DeepMind, I had the perspective that I was just going to do policy work, advising on policy. Since then, in fact, I do a mixture of that, advising governments, but also a bunch of research. And I think there is a big place for independent research happening at various nonprofits and in academia, and also in governments.
So, I think that is very important to build up and not just have all the work happening at AI developers. Not that it is now; it’s just that more of it is better. More safety work and security work by independent folks.
Yeah, it’s definitely shaping up to be a whole-of-society effort, and the time to mobilize our resources would seem to be now.
I definitely also recommend folks, especially if you’re interested in doing alignment work and you have an idea that you don’t see too many other organizations showing an interest in. I thought your research agenda was quite distinctive in that way, and there’s at least some chance that people who aren’t on the most well-trodden path but have interesting ideas could find some willing collaborators at the UK AISI.
Check it out. You might as well look at the show notes. Definitely read the research agenda.
This is like 60 pages long, with a lot of concrete and some less concrete problems in a variety of areas as they would apply to alignment and AI control. So, please take a look. I should have mentioned that. Many open problems.
We’ll put a link in the show notes. Geoffrey Irving, Chief Scientist at the UK AI Safety Institute, thank you for being part of The Cognitive Revolution.
Thank you.