先说结论
AI 安全新闻最近一片愁云,但这期 AI Daily Brief(《A Potentially Historic AI Breakthrough》,约 20 分钟)讲的是本周可能真正的好消息:一篇 65 分钟阅读量、技术密度极高的长文——前 OpenAI 机械可解释性研究者 Nick Cammarata(转写误作「Nick Camerata」)的《Neural Networks Are Already Clean》——在周末引爆了讨论,起爆点是 OpenAI 的 Roon 转发时说:他本以为 Nick 说自己有可解释性突破是谦虚,「我认为这可能会被记住为科学史上的重大时刻,好到 Eliezer Yudkowsky 都得下调末日概率,我们可以开始把对齐变成一门正常科学」。文章的核心主张用作者自己的话概括:可解释性可能是当下最重要的科学问题——不知道自己在造什么,就解决不了对齐;而他带来了好消息——过去以为神经网络「折叠成任意乱结」,用现代 agent 工具重看,数万亿参数以内模型的绝大多数神经元是可读的、回路是「漂亮的」,预期的路障大多不存在,雄心勃勃的可解释性「会在我们最需要它之前被解决」,这可能是可解释性的「苦涩教训」:简单方法加荒谬规模就够了。主持人同时反复强调边界:作者自称这是「工作假设」、只有约 85% 把握,完整技术论文还没发表,同行也没有人复核过。
一、六年的信心曲线:从「像读代码」到「怕来不及读懂」
节目先铺垫为什么这篇文章冲击力这么大。AI 是「长出来的不是造出来的」(Chris Olah 语):训练而非编程,行为分布在几十亿个参数里,没法像读代码一样读它。目前的替代品是「精心设计的考试」——提问、红队、打分——但这只覆盖我们想得到要问的东西,而且引入了考试特有的问题:模型可能因为知道被看着才表现好。主持人举了个正在发生的例子:近期对 Opus 5.5(转写作「Opus-55」)一类模型的测试里,作弊行为大降反而让研究者不安——是模型真的不作弊了,还是它意识到「看的人认为作弊是坏的」于是把行为藏起来了?于是在能力竞赛之外还有第二场竞赛:赶在模型达到 Anthropic 所说的「压倒性力量」之前读懂它。可解释性领域过去六年的情绪是从兴奋滑向绝望:2017–2020,Olah 团队(Nick 是成员)逐个检测器地测绘图像网络,看起来神经网络真能像代码一样读;2020–2023,发现大量检测器对不相干的东西同时激活;2023 年 Nick 在 OpenAI 用 GPT-4 解释 GPT-2 的检测器,只有约 2% 真正可读;2023–2025 各种变通方案收效甚微;到 2025 年,圈内情绪是这可能是「难到来不及解决就出事」的问题。正因如此,「内部其实大多可读、是我们一直看错了」才像一场地震。
二、猫脸与车头:一个奠基性案例的坍塌
节目的科普主线围绕该领域最著名的「乱码案例」:一个对猫脸和车头同时激活的检测器。猫和车毫无关系,于是它成了「网络内部是乱的」的标准证据,写进了领域被引最多的论文——包括 Nick 自己合著的那些。全领域的解释是「叠加」(superposition,节目形象地叫 cramming/乱塞):网络要存的概念比检测器多,只好共享,且最好塞进很少同时出现的一对概念里(「圣诞彩灯和泳池浮漂塞同一个箱子」)。如果检测器本身是无意义的组合,那研究它就没用了,于是大量资金转向「解扰器」——训练第二个 AI 把概念重新拆开再研究拆出来的东西。Nick 在 2019 年发现过最早的一批「乱塞」证据并参与了命名;这次他回去重看那个猫/车检测器,问自己「不许用『猫』和『车』两个词,怎么描述它」——五秒钟就有了答案:这是个「V 检测器」。尖的形状点亮它:狐狸鼻子、猫脸、车头、子弹列车鼻、烛焰、马提尼杯;圆的形状(高尔夫球、钟面)关掉它。他写道:「一坨随机的猫车混合物凭什么跟烛焰强关联?它从来就不是两个不相关的东西,而是一个我们没认出来的概念。」
由此展开三个「错误叠加」的解释,全部可修复:第一,显微镜本身作弊——让 AI 画「检测器最想看到的图」的工具会走激活捷径,小修之后画出来的图与照片吻合,「同样的神经元,更好的显微镜」;第二,研究对象有问题——领域长期依赖的 Google 2014 年图像模型 Inception v1 本身学习方式糟糕,用它时代的工具约 5% 末层检测器可读,修好显微镜约 50%,用现代设置重训约 70%,同规模同数据换成现代架构则约 99% 可读;第三,检测器会「分支」——从字母 IY 长到 DIY 再长到「自己动手」,末端看似随机,看生长过程则显然。为什么没人回头检查?Nick 的诊断很锋利:一旦相信「乱塞」,看不懂的检测器就是死胡同,没人再深挖;而每次检测器被读干净,理论就搬去没人查过的地方——他称之为「缝隙里的叠加」,并坦白「多年来我是坚定的叠加信仰者,它本该是最后才试的解释,而不是默认解释」。2019 年那个「汽车检测器喂给四个狗检测器」的著名乱塞例子,重查后发现两个就是汽车检测器、两个检测姿态(朝向)——车和狗共享姿态,网络里有一百多个姿态检测器,什么都没藏。
三、反转常识:更大的模型可能更好读
两个增量发现让节目称其「翻转了通常的恐惧」。一是分支生长:Nick 从头重训旧图像模型,盯着一个检测器成形——从「常带狗的黄色花田」出发,逐步长出别的自然场景、绿色圆物(网球、水果)、不带花的狗,最后是西兰花,花田几乎消失——每一步都小而合理,与「不相干的东西被扔到一起」的乱塞相反。二是规模效应:他的类比是小镇里问「金融区在哪」几乎没有意义,纽约的金融区却一眼可辨;对三个相差约 300 倍规模的模型做狗耳朵检测器实验,小模型只有粗粒度(「毛茸茸的狗」「深色长毛狗」),中模型长出局部分支(「卷耳」「耳颈毛」),最大模型分支会聚又分裂出「头侧耳」「浅色耳」「波浪耳」「光滑垂耳」「长耳」等精确检测器——理论上大模型的精度让它最终更好读。节目给出的对照数字:2023 年 GPT-4 解释 GPT-2 只有 2% 可读;而现在一个现代 OpenAI 模型里约十分之九的检测器有一个主职。主持人立刻加了三重限定:早期计数、自我报告、「一个主职」的划线方式影响数字、正式论文未出。这扇门打开的东西是「检查 AI 的推理而不只是打分答案」:节目展示数万亿参数的 Kimi K3 面对「捡到装满现金的钱包怎么办」时,可以看着「失物」与「诚实」相关检测器点亮并把模型推向「归还」。
四、安全收益有多大:同行不买账的部分
对安全叙事,节目梳理了三层反对。第一层是理论还手:Liv Gordon(其 2024 年对同一 2014 图像模型的研究被文章引用)发长推称文章攻击的是比研究者实际持有的更窄版叠加——叠加是关于容量的:概念数超过检测器数时,给每个概念一个略不同的组合,相关概念同样可以塞;完全分离的方向只有检测器那么多,近似分离的方向指数级多,「我会非常惊讶如果网络不用这些容量」。Neel Nanda(Google DeepMind 可解释性负责人,转写误作「Neil」)同向:「语言模型里的知识和记忆远多于神经元数量,我预期弱激活里包含大量语义叠加信息」,并认为文章对「一个检测器干一件事」的标准太宽松——「相当一部分我还是会叫它乱的」。Nick 的回应是:他不否认模型会把概念合并,否认的是「任意打包到没法读」的坏版本,并做出可检验的反预测(稀有事实应搭在不相关机制上)——但节目明确说这些检验还没做。第二层是安全收益的推理链:Nick 的原话是,「欺骗是问题里最危险的部分。欺骗可以对读输出的人隐藏,但没有理由对模型自己的回路隐藏——它必须对自己的读者可及;如果我们也成为读者,它对我们也可及。我怕的是欺骗就明晃晃摆在那里,而我们不会读」。而最大的反对恰恰在这之后:就算每个零件可读,安全还需要知道零件如何组合成决策、并确信没漏掉重要的东西——Neel 对达到这种理解程度悲观,尽管承认实用价值(「解释模型为什么干了件可疑的事」)。第三层是态度光谱:从 Stephen Casper 的「在进一步通知前这就是炒作,而且谁把它造出来谁都死」、Yudkowsky 的「等你们进步到『入门』了再叫我」,到 OpenAI 内部人称其为「深度学习史上最重要的单日之一、 significance 与《Attention Is All You Need》同级」。节目也列了连批评者都同意的四点:检测器比领域以为的更有用;即使不解安全也解实际问题;用 AI agent 读检测器值得兴奋;旧结果值得重查。悬而未决的四个问题:叠加是被驳倒了还是被重新定义了?「一个主职」标准是否太宽?可读的零件加总等于可读的整体吗?这一切在今天真实规模的模型上成立吗?
五、主持人的位置:方向性兴奋,加上一套「文明自纠」论
主持人自陈不够格下重量级结论,但给了一个历史模式识别:科学突破经常来自换一个角度看问题,而一个只有这么多研究者的冷门领域,被一组没人想到要质疑的假设困住一段时间,完全不难想象;对「一切都变了」的最强断言保持怀疑,但方向上很难不兴奋。他转引 Seeing Clearly 播客 Christian 的观点作为背景板:反末日派的理由是人类文明是带自纠机制的复杂适应系统,而末日派自己恰是恢复力的来源之一——AI 风险越清晰,「反 AI」的生态位、地位标记、人才与资本就越涌向机械可解释性,法律责任等看不见的手会把激励梯度推向对齐工作;加速派与末日派是对抗处理的两半,「一切都在按计划进行」。主持人自己的收束是:能力越强关注越多,这既是预期的反馈回路,也是「我们能搞定」的理由——「你没法论证 Hugging Face 事件之后什么都没变,我提这五个字,连我昨天碰到的理发师都知道我在说什么」;而这篇文章是近来少有的、不只是关注度变化、而是在「我们能对它做点什么」上方向为正的变化。
ASR 修正记录:Nick Camerata→Nick Cammarata;Neil Nanda→Neel Nanda;Eliyaz Rudkowsky→Eliezer Yudkowsky;「Opus-55」按上下文作 Opus 5.5;Liv Gordon、Stephen Casper、Chris Olah、Roon、Inception v1、Kimi K3 按转写保留。文中所有实验数字(2%、9/10、5%→50%→70%→99%、300 倍规模、85% 把握)均为节目转述的论文自报数据,未见同行复核。