可解释性 · 事件档案 2026-10-16 约 34 分钟

神经网络本来就是干净的? Neural Networks Are Already Clean · Nick Cammarata / Goodfire

有人把 2023 年那套「神经网络内部是乱结」的悲观结论整个翻了个面,并且指认当年最关键的那条证据是误读。 翻案的人正是 2019 年那个「猫+车神经元」的发现者之一——他说那不是猫加车,是一个 V。 这份档案把原文的四步论证、全部关键数字、以及它遭遇的每一类批评整理到一起, 并按「是否已被独立验证」分层标注。

先说结论
方向性的翻案成立;作为「可解释性突破」的结论还不成立。 原文把多义性的成因从「叠加」换成了「递归泛化」,这一步有实验支撑; 但支撑万亿参数的那部分证据,挂在一篇尚未发布的论文上。 跳到第 06 节的完整判断 ↓
起点推文 280 ♥ 原文 65 分钟长文 HN 750 分 LessWrong 196 分 配套论文 未发布
三分钟版本
有人用智能体把 2023 年的悲观结论整个翻了个面,并且指认了当年那条关键证据是误读。但翻案者本人把它标为 working hypothesis。
热度
真实。不是小圈子自嗨:HN 750 分、285 条评论,tszzl 那条5.76K 赞、319K 浏览。
证据
大量,但未独立复现。一整篇长文 + 交互式显微镜,语言模型部分的细节挂在「即将发布」的论文上。
共识
未形成。一线研究者(Neel Nanda)逐条回应:不改 crux、仍相信叠加、质疑视觉结论能否迁移到语言模型。
1.7%
2023 年 OpenAI 自动可解释性项目能读懂的神经元(GPT-2 XL,最宽松口径)
~90%
现在作者给 Qwen3-32B 的读数:只有一个主职的神经元极点
99–100%
同规模 ConvNeXt 末层可解读神经元(作者复现实验)
85%
作者对自己核心论点的置信度——不是 95%,也不是 100%
01

事件链:一篇长文,一次翻案

要理解这次为什么这么炸,得先知道它翻的是谁家的案——以及翻案的人正好是当年立论的人。

整件事的戏剧性来自作者身份。Nick Cammarata 不是外部批评者:他在 OpenAI 做可解释性, 2019 年与 Chris Olah 一起在 Zoom In 中展示了那个 「汽车特征扩散进一组不相关的狗神经元」的电路,也一起提出了后来被广泛引用的 Multimodal Neurons; 2023 年他启动了 OpenAI 第一个大规模自动化可解释性项目, 结果是约 1.7% 的神经元可解读。 用他自己的话说,他当年是带着结论离开的:「悲观,因为神经网络看起来折叠成了任意的乱结。」

然后他在 2026 年 10 月 15 日发布了《Neural Networks Are Already Clean》, 推翻的正是自己参与建立的那套解释。他的 X 发布帖里那句话被引用了上千次:

“The roadblocks I expected mostly aren’t there. I now think ambitious interpretability will be solved by the time we need it most, and possibly quite soon, as automated scientists keep improving. It may be a bitter lesson for interpretability: the simple thing, at absurd scale, works.” 我原本预期会遇到的路障,大部分并不存在。我现在认为,雄心勃勃的可解释性会在我们最需要它之前被解决,而且可能相当快——随着自动化科学家不断变强。可解释性或许也有自己的「苦涩的教训」:简单的东西,以荒谬的规模堆上去,就是有效。 — Nick Cammarata,X 发布帖
  1. 2017
    Feature Visualization:可解释性的起点,用优化图像渲染「神经元响应什么」。作者后来指出,这个方法长期缺少「变换鲁棒性」,导致同一批神经元看起来一团糟——问题在显微镜,不在标本。
  2. 2019 — 2020
    Cammarata 与 Olah 找到 car → dogs → car 电路,并作为叠加现象的经典例证写进 Zoom In。作者原话:这是他们展示过的唯一一个,也是他见过的唯一一个。
  3. 2021
    Multimodal Neurons 的一个被遗忘的小节里出现了「conjoined features(连体特征)」——概念泛化后在多个方向长出枝条。作者承认:当时看到了,没当回事,后来忘了。
  4. 2022
    Toy Models of Superposition 把 superposition 定义成「特征数多于维度」,并给出玩具模型证据。同年 Softmax Linear Units 里有一句罕见的坦白:「在机制可解释性社区,叠加常被当作默认假设,仅仅因为它直觉上更诱人,但证据很少。」
  5. 2023
    Anthropic Towards Monosemanticity:中位数神经元在其 14 分制评分表上得 0 分,评分者形不成任何假设。OpenAI 的自动可解释性项目:约 1.7% 神经元可解读。这一年是「叠加是真的、神经元单位没用、必须转去做 SAE」的共识定稿之年。
  6. 2023 — 2025
    稀疏自编码器(SAE)、转码器(transcoder)、归因图(attribution graph)成为主流路线。Anthropic 的 On the Biology of a Large Language Model 用跨层转码器特征研究 Claude 3.5 Haiku——而按新长文的说法,他们最大的转码器只有一半的时候能预测出原模型的下一个词。
  7. 2026-10-15
    长文发布。《Neural Networks Are Already Clean》,65 分钟阅读量,含交互式神经元显微镜、1000 篇自动生成的「神经元论文」、数个归因图。X 上引爆:tszzl「可能被记为科学史上的一个重大时刻」,Deedy「这是 AI 领域最重要的结果之一,句号」。
  8. 2026-10-15 / 16
    反方在同一批流量里出现。Neel Nanda 的长回复(1,265 ♥)说「这不是对大图景的显著更新」;Leo Gao 提出应该用 KL 判分;pfau 指出论文还没出;LessWrong 上出现「我发现自己对作者所说的『基本理解』高度怀疑」。
  9. 待发生
    技术配套论文。语言模型神经元实验的细节——现代非线性层的不同 regime、各深度的电路 motif、以及更多预测指标——全部挂在这篇论文上。这一条是整份档案里最关键的悬空项。
02

核心主张:四步论证

原文在末尾自己把论证拆成了四步,前三步是研究结论,第四步作者亲手标了「highly speculative」。

作者自述 原文的实验与判断,尚未被第三方复现 待论文 细节挂在未发布的技术论文上 第三方 外部材料、讨论或检测

论点 1网络只有一个学习原理,不是两个

被推翻的核心不是「多义性不存在」,而是「多义性的成因被搞错了」。原文的表述是: 泛化(generalization)把相关的东西放在一起,叠加(superposition)把不相关的东西放在一起, 两者的预测几乎是相反的——泛化应当是局部的,叠加应当是非局部的。

作者用一个具体例子说明他要否掉什么:泛化会想要一个「垂耳狗神经元」, 而叠加会想要一个「垂耳狗 + 拉丁诗歌神经元」。他自己的判断是:现场看到的几乎都是前者, 而且剩下的那些能解释成第三种东西(见论点 2)。 作者自述

他还特别做了一次术语上的自我防卫:「superposition」这个词本身处在叠加状态—— 它至少有三层意思(向量相加/特征数多于维度/学习原理上的任意打包),而前两种他并不反对。 长文的附录专门用一节拆开这个歧义,并抱怨说:大多数研究者和智能体仍然把它理解成「特征数多于维度」, 而那是完全不同的主张。作者自述

论点 2剩下的多义性主要是「递归泛化」

这是全文提出的新概念,也是最值得记住的一个词。 递归泛化(recursive generalization):一个神经元长大时会像树枝分叉一样长出子分支。 原文的例子极其朴素,也因此很有说服力:

一个检测 iy 的神经元 → 长到 diy → 再长到 do it yourself(已经不含 iy 了)。

它的重要性在于:泛化长出来的分组是有信息可学的,叠加长出来的分组几乎没有信息可学。 作者用一句很漂亮的话收束:「那里有东西可以学——关于这些东西为什么被归到一起;而叠放的两个项目之间,什么都没得学。」

交互图解 · 递归泛化是怎么长出来的

点按钮推进 · 键盘可操作
iy
一个早期语言碎片检测器。作者把它类比成早期视觉模型里的 Gabor 滤波器。
diy
含 iy 的邻居。已经在同一批激活里了,所以它是「第一个排到队」的。
do it yourself
不含 iy,但意思连得上。到这里,单看激活列表已经像「任意混合」了。

同理的其他例子(均出自原文):一个地质学神经元泛化到 Cesium——一个地质学的 JavaScript 库; 一个行星地质神经元同时响应月壳、IDL 和 Cesium 代码;一个「敌人」神经元响应一首关于敌人的俄语诗。 作者的原话是:通常明显到「你很难判断该不该干脆叫它正常泛化」。 作者自述

这个论点之所以关键,是因为它把「多义性」从学习原理问题降级成了观察与发育问题。 作者还补了它自己的解释机制:电路竞争(circuit racing)—— 已经开着的神经元最有机会接住下一个相关的误差信号,所以在 iy 上开着的神经元最先拿到 do it yourself 的梯度。 他说:「递归泛化就是一个小生境在它边缘上的样子。」

论点 3用现代模型和工具,读数比所有人预期的好得多

这是最多数字的一段,单独放在第 03 节和第 04 节。 一句话概括:当年是 1.7%,现在作者给出的大致是 90%,而且模型越大越好读。 作者的解释是「我们一直在不知不觉地向单义性滑行(slouching towards monosemanticity)」—— 整个领域为了「学得更好」而做的架构改进(残差流、LayerNorm 等), 意外地也让深层变得可读。作者自述

论点 4这可能就是可解释性所需要的大部分

原文自己标了「highly speculative」。他的说法是:网络可能已经为「被读懂」做完了大部分准备工作—— 不是为我们准备的,是为它自己的下游读者准备的;如果我们能变成另一种读者,它也已经为我们准备好了。

对应的方法论转向是:从枚举式可解释性(enumerative,目标是列出一份完整特征清单以备审计) 转向探索式可解释性(exploratory,从问题出发,像 Google Maps 一样在归因图、神经元、注意力头之间自由缩放)。 作者认为探索式路线对多义性远为鲁棒,也是他判断「问『特征是否多于维度』基本无关紧要」的理由。

“It’s clean the way a rainforest is clean: nearly every animal in it makes sense.” 它干净得像一片雨林:里面的每一种动物都是有道理的。老虎之所以是亮橙色,不是因为什么任意的原因——而是因为鹿分不清橙色和绿色,而绿色皮毛对哺乳动物来说难做得多。 — 原文「On the Title」一节,解释为什么标题不加「比我们想的更干净」这个软化词

作者自己声明的置信度

「我们不确定。大概是 85% 确定——但那意味着 85% 确定几乎所有东西都来自第二种过程(泛化), 这和「85% 的机制如此」是完全不同的意思。所以『比我们想的更干净』会误述我们的信念。」 同一节里他也承认标题在两个方向上都不完美:高估了证据(没有审计全部), 也低估了结论(他们相信的世界比「每个神经元都对得上人类标签」更好)。 作者自述

03

关键证据:他到底看到了什么

这一节按原文的实验顺序整理。每一条都标注了来源层级——因为「作者说他看到了」和「别人也看到了」是两回事。

3.1 那个著名的「猫 + 车」神经元,是 V 形检测器

InceptionV1 的 4e:55 是可解释性史上最著名的多义神经元:它同时响应猫脸和汽车前脸。 它从 2017 年的 Feature Visualization 一直出现在 2020 年的 Zoom In, 被反复用来论证「神经元不是合适的分析单位」。作者当年写下的原话是:它「并不是在响应汽车和猫脸的某种共性」。

现在他说:那个共性就是 V 形。作者描述他重看那张看了几百遍的图像网格时的体验—— 「我花了几秒钟想,这可能是哪一件事。几乎立刻就明显了。」

交互图解 · 同一个神经元,两种读法

切换读法 · 示意图形,非原图
选择对 4e:55 神经元的读法
???

为什么这不合理?作者后来的追问是:「一个任意的猫与车的混合,为什么要如此强烈地连接到一个火焰上?」

旧解释把它读成「网络把汽车特征放进一个高维藏身点,供下游神经元读回来」。 作者现在说:没有任何东西读这个组合。它不是藏,它就是普通的泛化与组合 ——而且据他所知,此后没有人发表过第二个形状正确的电路。

他承认自己当年几乎要看出共性来:在 Multimodal Neurons 里他们问过「也许猫眼和车灯长得像」, 但因为特征可视化里的胡须和镀铬件,最后判定它是「真正的 OR(猫, 车)」。

「我们找共同形状的方向是对的,但我低估了泛化能走多远。」

火焰 · 消防船水柱 · 狐脸 · 猫脸 · 车头 负极点 = O,圆而钝,正对着 V 的尖

作者强调负极点的重要性:「V 神经元的负极点是一个 O。」 负极点告诉你「在这个电路位置上,什么区分才重要」——也是快速检验一个分组是否真实的手段。

新读法还有一个副产品:神经元更像「动词」而不是「名词」。 它不是在命名输入里的东西,而是在给下游画一条区分线——正极点一种形状,负极另一种形状,把激活流推向不同方向。

作者说人(和智能体)都强烈偏向把神经元描述成「一组名词的检测器」(猫和车), 而他的经验是:更常见的其实是共享模式。

但要留一句:这个新读法目前是作者的一手判断 + 可交互的浏览器证据, 不是已被独立复核的结论。批评者没有直接反驳 V 形这个具体读法—— 他们反驳的是「由此可以推出什么」。

3.2 让 InceptionV1 变干净的两件事

作者把「当年末层几乎不可读」拆成两个独立成因,两个都不是「叠加」:

  • 显微镜问题。特征可视化缺少变换鲁棒性,且在后层会「奖励黑客」—— 自由优化可以画出狗,即使正在追踪的电路传的是汽车信息。 修法很朴素:把优化偏向真实图像走过的路径,通常只需要前 64 步就够「离开狗的盆地」。
  • 模型问题。InceptionV1 没有残差流,深层学得不好,于是末层「溢出」。 作者用同样参数量、同样数据集、但没有可解释性动机的现代架构(带残差连接、LayerNorm 等)复现:末层「很漂亮」。

3.3 压缩实验:把 480 个神经元砍成 10 个

这是全篇最像「判决性实验」的一段,也是我认为最值得独立复现的一个。 逻辑很干净:如果叠加是真的,那么挤压容量就应该逼出叠加。

作者选了 InceptionV1 的 3b 层——包含曲线神经元和高低频神经元的那一层, 480 个神经元砍到 10 个(48 倍),从零重训,且这个架构没有残差流,神经元「绕不过去」。 他的预期是看到「曲线 + 橙色螺旋 + 蛛网 + 好几种其他纹理检测器叠在一起」,也就是说,应该很戏剧化。

结果是没有。神经元保持可解释,只是变粗:十个曲线检测器变成了一个「曲线与环」神经元、 好几种圆检测器变成两个。要验证曲线是不是被藏到了高维组合里,他对这层训练 SAE—— 提不出干净曲线,特征「又宽又挤在一起」。第二个版本用中等 ConvNeXt, 把末层从 1024 砍到 13,同样的现象:只是变宽。作者自述

作者由此给出一个很好记的判断:「空间不够的网络不会切换学习原理,它的神经元只是变得更宽。」 粗神经元通常容易拆解——前提是你知道该看什么;不知道加上工具弱,它们看起来就像任意的混合。

3.4 SAE 学到了什么

如果神经元的组合里藏着东西,字典(如 SAE)就应该找到神经元所缺少的构件。作者训练了好几个,自己找也带着智能体找:

  • 末层 88% 的 SAE 活动是单个神经元的近副本;剩下的很微弱。
  • 把每一个「不匹配任何神经元」的字典方向都删掉,精度不变;它翻转的几个答案本来就是接近的平局。
  • 在每一层里搜「让少数单元承载最多活动」的那个旋转,从随机出发,最后都落回神经元。
  • 他举的最清楚的例子是蜘蛛:SAE 单元是「不同场景里的蜘蛛」,神经元是「腿上的花纹」和「网」—— 两者不太矛盾,SAE 像是把已有构件按上下文重新分组。

结论措辞很克制:「我从未看到 SAE 抓住过神经元没抓住的根本性东西。 如果一个特定规模的模型没搞懂棒球运动员,它的 SAE 也没搞懂。而当这个模型终于懂棒球运动员时,那是在一个神经元上。」 作者自述

顺带他还回应了一篇具体的反例论文:The Missing Curve Detectors of InceptionV1。 他的说法是:那些 SAE 曲线分解开来就是已有的曲线响应神经元; 「当只对曲线激活训练 SAE 时,它用掉了 10 万个字典项里的 84k 个」—— 可以找到很多组合,而这会让人误以为构件比实际更多。

3.5 弱激活到底重不重要

这是后来争议最集中的地方,值得看清楚他到底做了什么实验。关于弱激活,他其实在问三个不同的问题, 并且分开回答:

  • 它们是泛化还是叠加?他的论证是密度:弱激活比强激活密得多, 一个「不相关的特征」如果想躲在弱激活里不被碰撞,它要对付的东西会多好几个数量级,而收益几乎没有。
  • 用百分位还是原始激活值?他改口了:以前用百分位(便于标准化),现在认为神经元的原始形状本身有信息 ——有的神经元在很低的范围内保持含义,有的一到最大值的 5% 就断崖式掉落。 「百分位把那个压平了,而那恰恰告诉你面对的是旋钮还是检测器。」
  • 标注一个神经元需要它们吗?通常不需要。他的经验是:手跟过几百个「看起来不相关」的弱激活, 几乎全部最终都相关,只是要追到电路里才看得出来。

实验层面最直接的一条:在 InceptionV1 末层只保留约最强的四分之一的正面激活, 精度从 70.08% 只掉到 69.47%;中号 ConvNeXt 的后段 MLP 分支同样耐受。 他观察到的损失是「更细的区分」而不是「整个不相关的特征消失」。 作者自述

另一条是量级:把 1 亿个 token 送过一个 Qwen3-32B 神经元, 几乎全部贴近零,只有约 160 个进入强的那一半。

注意这里的口径。作者自己也承认,弱激活目前没有一个他信得过的语义检验—— 「可能含义的空间太大」。他的做法是:详细研究一个「敌人」神经元,再随机抽查几个。 所以这一节的结论在他自己的框架里也只是「spot check」,不是普遍结论。 这正是 Nanda 后来抓住不放的地方。

3.6 记忆藏在哪:伞 → 蜜蜂

这是我认为全篇最有说服力、也最容易被忽略的一个实验,因为它直接触及「潜伏特征/后门」这类恐惧。

设计:教一个 7.06M 参数的小模型一件荒谬的事——一张雨伞的照片,标签是「蜜蜂」。 按恐惧剧本,网络应该造一个「只抓住这组像素、和别的什么都不连、直接说 bee」的隐藏特征。

实际发生的不是这样。训练 9 步,top 猜测从 umbrella → maypole → bee; 雨伞神经元淡出,已有的蜜蜂神经元亮起来,而且几乎全部发生在最后三个 block—— 只把那三个 block 替换进原模型,它就说「bee」。 作者的说法是:与其造一个和任何普通雨伞/蜜蜂路径都不相连的隐藏特征, 不如在两条已有的路径之间搭一个「下匝道」——学得更快,因为它有现成的梯度与可塑性。 作者自述

同一节的另一条观察:记忆倾向于尽量靠近输出层,因为记忆只需要「把答案查出来」, 后期的层干了大部分活。而稀有类别往往更「合并」——ImageNet 需要大量狗的模式,但三角龙只要一个神经元。

3.7 语言模型与万亿参数

这一节的实验由作者与同事 Curt Tigges 一起完成,细节「在即将发表的论文里」。 尽管材料不完整,他给出的读数很明确:

  • Qwen3-32B 初步审计:约 90% 的神经元极点只有一个主职(常带小的相关分支), 约 7% 有两个相关职责,只有约 2–4% 尚未理解。密集模型与 MoE 模型大致类似。 「我从没见过一个有十件不相关事情的神经元。」
  • GPT-2 XL(2023 那个项目里的模型,<2% 干净):回头做 500 篇神经元论文,几乎没迭代, 现在约 70% 看起来大致是一件事(其中「纯粹干净」的仍然只有约 5%), 剩下的是「做几件宽泛的事,最多约六件,大多两件」。小模型的神经元更宽、残余泛化更多。
  • 万亿参数:给出 Kimi K3 上一个只用神经元的归因图——问它捡到钱包该怎么办, 它把钱包、现金、身份证连接到「失物」和「诚实」,输出「归还」。 作者说,据他们所知这是首个发表的万亿参数级模型的归因图。
  • 一个「pr」神经元的翻案:在前沿模型里找到主要响应 pr、但也响应一堆 Base64 URL 和孟加拉文的神经元, 他以为终于抓到了任意混合。解码 URL:都是 pr 词。翻译孟加拉文:pr。
  • 一个「多义逗号神经元」的翻案:标准 top-k 自动可解释性把它标成多义逗号神经元, 仔细看其实在追踪科罗拉多(电话区号、俚语、以及连接到其他科罗拉多神经元), 那些逗号是模型存放「到目前为止关于科罗拉多的摘要」的地方。给它导向,模型会想去徒步。

3.8 副产品:SwiGLU 双负 regime

这条被 Nanda 单独点出来说「是个有用的点」。现代神经元的 gate 与 value 相乘, 当两者都是负数时输出为正——于是一个神经元可能因为两种完全不同的原因而放电。

在「敌人」神经元里,p75–p99 的噪声中段131/133 是双负造成的,而最强的尾部 (p99.99 以上)93/93 是正×正。对约 4% 的神经元来说,这种「回声」占据了激活榜的顶部。 在全网络消融它,大部分基准上升,但部分推理基准下降。 作者的推测很平淡(某个神经元用这类激活来「想得更久」),并直接喊话架构设计者去修。 作者自述

这一条的方法论意义在于:它给出了一个「架构问题被误读成叠加」的现成实例—— 正是他用来解释 InceptionV1 末层的同一套逻辑。

3.9 他怎么做「能输掉的解释」

「你什么都能解释」是这个领域最常见的反驳。原文给了两组具体设计:

  • 正例与近似反例(near miss)。200 个随机神经元,智能体只读解释, 在测量任何东西之前先写 5 个「应该激发」的例子和 5 个「不该激发」的近似例。 在 183 个解释描述了正极点的神经元里:新例子强激发率 76%,近似反例 11%; 解释赢了 164 个、平 15 个、输 4 个。
  • 盲最大(blind maximum)。智能体 A 调查神经元写一句解释;智能体 B 只看到那句解释,写一个能最大化激发它的例子。结果通常是一句简单可读的话, 而它能比他们在 100 亿 token 里找到的任何真实例子都更强烈地激发该神经元。
  • 最远概念测试。让智能体编造它能想到的最遥远的概念——就是那种「网络可以无干涉地塞进去」的东西, 写 5 段文本。这些文本激发神经元的比例约 1%,183 个里有 179 个完全没被激发。 作者在 MoE 里补了一句:这种打包在 MoE 里几乎不可能,因为离得那么远的 token 根本不会被路由到同一个专家。

他也承认这类测试的界限:「猫和车」这个解释能在很多测试上表现良好,同时完全错过 V 的本质。 而最好的批评是针对猜想的、具体的批评,不是汇总统计量。 作者自述

04

数字对照:以及为什么不能直接相除

「1.7% → 90%」是这波传播里最抓眼球的对比。它有意义,但不是同一把尺子量出来的两次测量。

~90%
Qwen3-32B 神经元极点「只有一个主职」初步审计 · 作者自估
~97%
只看强激活时「非任意混合」的比例作者注 · 样本较小
1.7%
2023 年 OpenAI 自动可解释性项目「最宽松口径下」可解读的神经元GPT-2 XL
~0–5%
InceptionV1 末层可解读神经元(当年的工具)作者自估 5%,他人 ~0%
99–100%
同等规模 ConvNeXt 末层可解读神经元作者复现实验
85%
作者对自己核心论点(「近乎一切都来自泛化」)的置信度原文「On the Title」
图 1

同一条曲线上的可读率:工具与架构各贡献了多少

末层「容易解释」的神经元占比。这四个数出自同一个作者、同一段叙述,口径相对可比。

这张图是全文论证的骨架:0% → 50% 是工具的功劳,50% → 70% → 99% 是架构与规模的功劳。 既然两段都能归因到「可修的普通问题」上,作者认为就没有理由再请出「叠加」这个新的学习原理。
图 2

跨时代的两个数字(不可直接比较)

同一坐标轴下,2023 年那个 1.7% 几乎看不见——这正是作者论点的一部分,也是它最容易被误读的地方。

旧口径 / 旧工具 新口径 / 新工具
这两个数字跨了三年、两个模型、两套评分表——只能看趋势与量级,不能相除。 把它当成「提升了 53 倍」是传播中最常见的误读。
图 3

Qwen3-32B 神经元的三种状态

作者给出的分布,以及他自己标注的边界。

~90% 一个主职(常带小的相关分支) 7% 两个相关职责 2–4% 尚未理解
这是初步审计而非全量统计;「尚未理解」的那一小块,会随阈值怎么设而左右浮动。 作者自己在脚注里就提醒过这一点。
口径警告(作者本人写的)。「这个数字会随你如何设定阈值而变——怎么算弱激活、层深、子电路密度、以及什么算『一件事』。」 其中影响最大的是弱激活的取法:把弱激活算进去,会更多地增加「相关的东西」的数量, 而不太影响「这个神经元是不是在判断某件可读的事」。 他举的例子:Trump 神经元的弱激活会带进 MAGA 帽子和与他相关的人; Titanic 神经元的弱激活会带进更一般的航行故事、蒸汽机与那个时代的技术。

他自己的结论是:「把一切浓缩成一个『干净度』分数,应当被当作网络处在哪个 regime 的粗略指针, 而不是可以拿来直接优化、或者抓得太紧的东西。」——所以下面这两个数字也不是他真正的论点。
05

争论场:谁站哪边,分歧点具体在哪

这一节最重要。因为「有没有突破」这个问题,答案几乎全在这里——不在原文里。

Neel Nanda部分接受
「这是有趣的工作,但我不认为它是对可解释性大图景的显著更新。……我仍然认为叠加是真实的,这项工作没有真正影响我的 crux。」
他明确接受的:用神经元做探索式可解释性(神经元归因图)对「模型为什么做了可疑的事」这类务实问题是可行的; 神经元在前沿模型上比 SAE/转码器容易得多;SwiGLU 双负是个有用的点;用智能体解读神经元是被忽视、天花板很高的方向。

他明确不接受的:把这件事推成「朝着雄心勃勃的反向工程、解决可解释性的实质性进步」。 他的理由有三条,都很具体:(1)表征层面的叠加几乎肯定为真(模型能在残差流里表示比维度更多的概念)——他补充说作者大概也同意这一点; (2)语言模型里的事实/记忆内容远多于神经元,而记忆大体上是无结构的键值对数据库,他看不出这怎么和单义神经元的图景相容; (3)弱神经元激活里含大量语义叠加信息,消融掉会实质损害性能,而他认为这项工作没有正确处理 LLM 里的弱激活。

他还认为原文对「单义」的定义太松:「按那个标准,我会把相当一部分称为多义。」
Nick Cammarata 的回应作者回应
「也许我们不需要剪枝?我做智能体路线很兴奋的一部分原因,就是它很容易做多分辨率。」
逐条对应 Nanda 的三点:
关于归因图的误差——不必剪枝,可以按重要性可变分辨率地在图上缩放,「大部分时候有一些误差,没关系;重要的时候可以几乎没有误差」。
关于弱激活——「它们出人意料地可消融」,会有更多内容,并且「弱」有很多档、丢的东西也有很多档。
关于记忆是无结构数据库——他说不确定什么算「无结构」,但就他所见,记忆是局部且语义有意义的(伞→蜜蜂那个例子让他意外), 所以也许不必把事实全抽出来,可以把网络当地图,只研究与你关心的事情相关的那片区域。
关于定义太松——他直接认了:「fair!我主要关心的是东西为什么在一起,而不是某个东西算不算单义。」
tszzl(roon)强力支持
「当 Nick 告诉我他有一些可解释性突破时,他呃……太低估了。我认为这可能会被记为科学史上的一个重大时刻。好消息好到连 Eliezer 都得下调他的 p(doom)。我们可以开始把对齐变成一门『常规科学』了。」
5.76K 赞、319K 浏览。这是把这次事件推到「科学史大事」量级的最大一个声音——也是后面元层面批评的主要靶子。
Leo Gao方法质疑
「解释应该用神经元模拟、以 KL 散度衡量来判分。」
这条与原文直接对撞,值得单独说明:原文有整整一个附录(On Simulation Scores)论证模拟分数不该作为起点—— 因为模拟实际上考的是「注意力把信息放在哪个标点上」,还奖励与理解神经元几乎无关的弱激活细节。

也就是说,两边对「什么叫一个好解释」有实质性分歧:Gao 要的是行为复现,原文要的是可被具体批评的猜想。这是一个悬而未决的方法论问题。
Jake Mendel关注被忽略的尾部
被忽视的是非最大激活的那条长尾。
这条恰好命中 2023 年那批悲观结论的来源:当年许多判定就是基于弱激活与非峰值激活。 原文的回应是「弱激活出乎意料地可消融」,但那个实验主要建立在视觉模型上(见 3.5)。
pfau程序性质疑
论文本身还没出来。
一句话,但它是整份档案里最实际的一条:原文至少四处把关键细节指向「即将发表的技术配套论文」—— 语言模型神经元实验、现代非线性层的不同 regime、各深度的 circuit motif、以及更多预测指标。 在此之前,语言模型部分的核心读数无法被独立检验。
Yair Halberstadt认识论质疑
「在我看来,网络能否被干净地拆成神经元电路、而不是更高秩的组件,仍然是欠定的(underdetermined)。」
他还提出了一个更根本的怀疑,而且我认为是整场争论里最难回答的一条: 「Nick 说他现在『基本理解』InceptionV1,而且它从头到尾都可读。 如果是这样,那我对他说他『基本理解』一个 LLM 时脑子里想的是什么,就极其怀疑。」

这条不攻击任何单个实验,它攻击的是「理解」这个词在这次翻案里承担的重量: 如果对一个小视觉模型的「基本理解」包含这么多保留,那么「万亿参数模型也可以」这个外推就还很空。
Alex Gibson传播批评
「不管博客本身内容如何……我发现围绕它的讨论相当令人担忧。……我以极荒谬的赔率打赌, 这篇博客不会以任何具体、与对齐相关的方式接近解决雄心勃勃的可解释性。」
他的核心指控是「重复了 SAE 当年的剧本」:他并列引用了 2023 年 Towards Monosemanticity 的原文 (「机制可解释性的议程很大一部分将取决于能否解决一个困难的工程与规模化问题」)与这次的 X 帖 (「我原本预期的路障大部分不存在」),然后指出 SAE 并没有解决可解释性。

后半段是他认为更严重的:外行没有能力批判性审读这种又长又技术的文本, 所以可解释性研究者有道义责任在表述上保持克制;而这次 X 帖里没有出现原文里的「highly speculative」。

Julian Bradshaw 的反驳也值得记下来:原文里确实明确写了「高度推测:这可能就是我们所需的大部分」, 而且这次的传播狂热部分来自「人们有点渴望好消息——对的帖子出现在对的时间」。
Julian Bradshaw认真解读派
「在他写这段文字之前,有一个说法(原文附录里)尤其重要:神经元的激活是一个目标, 意义从中心向各个方向生长;最大值是所有投票最一致的地方。」
他给出了我认为最平衡的一份第三方解读,并补了几个原文之外的信息: (1)「多义性」的技术定义被广泛误用,作者用的是窄义(不相关的东西被放在一起),而神经元把相关概念放一起是早已确立的事实; (2)Qwen3 那 1000 篇自动神经元论文里有些很有意思的例子,比如一个正极点关于闰日(还递归泛化到 1712 年瑞典那个 2 月 30 日)、 负极点关于运动队名单里的姓氏和比分数字的神经元——而两个极点之间「似乎没有真正共享的电路」; (3)他好奇这次工作花了多少钱(Qwen3-32B 的解读成本未见披露);他提到 Goodfire 今年早些时候融了 1.5 亿美元 第三方转述。

这个筛选下没有条目。

06

所以,现在能叫「突破」吗

直接回答那个最常被问的问题。我的判断是:方向性的翻案成立,作为「可解释性突破」的结论还不成立。

判为「尚未成立」的四条理由

  1. 关键材料未公开。语言模型部分的细节、现代非线性层的 regime、各深度的 motif, 全部挂在一篇「即将发表」的论文上。在它出来之前,那套 90% / 7% / 2–4% 的读数无法被独立复现—— 而它恰恰是传播中最被引用的数字。
  2. 最关键的读数依赖口径。作者自己在脚注里写了一整段:这个比例取决于你怎么设阈值、算不算弱激活、层深、子电路密度。 他还说这个分数「只应被当作网络处在哪个 regime 的粗略指针」。一个自认是粗略指针的数字,撑不起「突破」两个字。
  3. 分歧的落点没有被触及。Nanda 的三条 crux(表征层的叠加、记忆是多于神经元的无结构数据库、弱激活承载语义叠加信息且消融会损害性能) 在原文里都有回应,但那些回应是论证和测量口径的争论,不是判决性实验。 唯一算得上正面实验的是弱激活消融,而它主要建立在视觉模型上——正好落在 Nanda 质疑迁移性的那个点上。
  4. 作者本人的置信度是 85%,而且他刻意选了强硬的标题。原文「On the Title」一节解释了自己为什么不软化标题: 因为这是「种类的变化,不是程度的变化」。这个理由在认识论上是诚实的(他明确说了自己的更新是「从智能设计到自然选择」那种) ——但它也意味着标题故意不承担证据强度的限定,而 X 上的传播沿用了标题。

但我不认为这等于「没什么新东西」。恰恰相反,这份材料里有三件我认为已经站得住的事:

  • 对历史证据的翻案是有说服力的。「猫+车」不是任意混合,而是 V 形 —— 这个读法可以直接在图上验看, 而且作者是那个例子的原始作者之一,他不是在挑战别人的观察,他是在纠正自己写的教材。 他还指出一个此前没被强调过的事实:那是他们发表的唯一一个此类电路,而这个形状此后没有人再发表过第二个。
  • 「工具问题」和「架构问题」被系统地拆开了。0% → 50% → 70% → 99% 这条曲线, 每一段都归因到一个可修的普通问题上。这套归因如果成立,它本身就废掉了「叠加」在 InceptionV1 上的必要性。
  • 方法论上的可复用产出是真的。盲最大测试、正例/近似反例、把符号 regime 分开看、 把负极点当成电路里的「闸门」而不是「反义词」、以及 SwiGLU 双负这个明确的架构 bug—— 这些都不依赖他的核心结论是否成立。
“The little faith is important because the mistakes aren’t symmetric. If you assume a network is clean and you’re wrong, a messy neuron is a lead. If you assume it’s packed, not worth studying directly, and you’re wrong, a messy neuron is the end, because you stop studying it.” 那一点点信念之所以重要,是因为两种错误不对称。如果你假设网络是干净的而错了,一个混乱的神经元是一条线索;如果你假设它被打包过、不值得直接研究而错了,混乱的神经元就是终点——因为你不再研究它了。 — 原文「A City vs a Knot」。这段话是整篇长文里论证最有力的部分,也是它值得被认真对待的理由。

我的最终判断:把这件事叫做「叠加假说在早期关键证据上被推翻」是准确的;叫做「可解释性有突破了」是抢跑。 它当前的正确状态是——一个资深研究者用新工具重新审计了自己的老结论,给出了一个大胆且可检验的新图景; 图景的最硬部分(万亿参数语言模型)尚未交付证据,而最相关的少数派意见(弱激活与记忆)没有被判决性实验回应。

07

接下来该看什么信号

如果这个图景是对的,它应该留下痕迹。这份清单同时也是「什么时候该改口」的判据。

把结论与证据对齐:每一步都能独立检验,而且作者本人已经承诺或预期了其中大部分
要看的信号现在状态为什么它重要
技术配套论文发布 未发生 语言模型部分的全部细节都挂在这里。在此之前,最硬的读数不可复现。
独立复现 Qwen3-32B 的 90% 读数 未发生 这是传播中最被引用的数字,也是最依赖口径的一个。别人用同样口径量一遍,是第一个真检验。
「SAE 没有找到神经元缺少的构件」被独立复现 未发生 它直接挑战当前主流路线(SAE/转码器)的立足点——如果 SAE 只是已有神经元的副本,那整个领域的工具箱要重估。
用 KL/模拟分数判分解释质量,双方口径能否合流 争论中 Leo Gao 的判据 vs 原文对模拟分数的批评。这一层不是数据问题,是「什么叫理解」的定义问题。
弱激活消融实验在 LLM 上复现,并量化性能损失 部分(主要来自视觉) Nanda 最硬的 crux。他预期消融弱激活会实质损害性能;原文预期只是丢掉更细的区分。
有人找到一个真正「任意打包」的电路 未发生 作者明说:「哪怕只有一个有说服力的例子,我也会强烈更新。」这是他自己设的证伪条件。
SwiGLU 双负被架构层面修掉 未发生 它同时检验「架构缺陷被误读成叠加」这套解释逻辑:如果修掉之后可读率上升,作者的归因就被强力支持。
注意力机制的可解释性进展 作者自认没搞定 原文坦承「我不确定有任何人足够理解注意力,能自信地说它的不可读性是叠加」。这是作者自己划出的边界。

还有一个没人回答的问题

这次工作的成本没有披露。Julian Bradshaw 在 LessWrong 上直接问了「解读 Qwen3-32B 花了多少钱」—— 这对判断「这条路能否被广泛使用」是关键变量,因为整个论点是「简单的东西、以荒谬的规模堆上去就有效」, 而规模是有价格的。第三方提问

边角与未核实

  • AI 生成比例检测。LessWrong 评论者在编辑记录里提到,第三方检测工具 Pangram 判:正文约 2%、 附录约 31% 为高置信度 AI 撰写。这是第三方工具的检测结果,不是关于署名的事实, 也没有被作者回应;列在这里唯一的原因是它对「如何阅读文中那些高度自信的措辞」有参考价值。 未核实
  • Goodfire 融资 1.5 亿美元:来自上述同一篇评论,未见其他来源交叉验证,仅作背景。 未核实
  • 原文对智能体的一条抱怨很有趣:作者说 2023 年那篇《Distributed Representations: Composition & Superposition》 的开头有一张以 base64 内嵌的大图,很多智能体的网页读取器在读到那张图时就撞上长度上限, 根本读不到后面的论证——「这可能塑造了自动化研究者对『叠加』的理解」。 作者自述
08

术语小抄

这场争论里有一半的混乱来自词义。按原文的实际用法整理。

机制可解释性mechanistic interpretability
试图把神经网络的内部机制(神经元、电路、注意力头)读成人类能理解的算法,而不是只从输入输出行为去推测。
多义性polysemanticity
一个神经元看起来在做好几件不相关的事,或者看起来根本没法理解。原文强调:它往往更像是对观察者的陈述(「目前还没有一个好解释」),而不是对神经元的陈述。
叠加superposition
本次争论的震中,但这个词至少有三层意思:(1)字面意义的向量相加;(2)「特征数多于维度」(Toy Models 的定义);(3)一种学习原理——神经元把不相关的东西放在一起,因为它们很少互相干涉。原文只否掉第 3 种,并且抱怨大多数人和智能体把它理解成第 2 种。
递归泛化recursive generalization
原文提出的关键概念:神经元长大时像树枝一样长出子分支,分支再长分支。相关的东西被归到一起,所以「为什么在一起」是有信息可学的。2021 年 Multimodal Neurons 里叫「conjoined features」,当时没被当回事。
单义性monosemanticity
一个神经元做一件事。原文认为「可解释」和「单义」被当成近义词,是被 InceptionV1 那个双峰样本带偏的——真实的语言模型处在中间地带:大多数神经元大致是一件事,少数是几件。
稀疏自编码器SAE / sparse autoencoder
训练第二个模型去把网络的激活分解成一组「特征」。它曾是绕过「神经元不可读」这个结论的主流方案。原文对它的核心反驳是:他在其中没找到神经元所缺少的构件,而且主训练在「替换掉还没被理解的泛化」。
归因图attribution graph
追踪「哪些上游组件对这一步输出贡献了多少」的图。Anthropic 用跨层转码器特征做的版本是当前主流;本次的核心主张之一是——用原始神经元做同样的事效果更好,因为没有重构损失,也不需要额外训练。
消融ablation
把某个组件关掉,看输出怎么变。这是这次长文里几乎每个实验的判决手段,也是它比纯观察更可信的原因。
弱激活weak activations
一个神经元在某个 token 上「轻微地」放电。它是本次争论的焦点二:如果用 top-k 挑例子,你看到的全是强激活;而「隐藏特征可能就藏在弱激活里」是叠加假说最后的避难所。原文用「按数量级可消融」来攻击它。
SwiGLU 双负double negative regime
现代神经元把 gate 和 value 相乘。当两者都为负时输出为正,于是神经元可能因为两种完全不同的原因放电,而两者混在同一个激活值里。原文说这影响了约 4% 神经元的激活榜顶部,是个应该被修掉的架构问题。
残差流residual stream
信息在层之间「绕行」的主干道。它最初是为了让深层网络学得更好而引入的,原文认为它意外地也让深层变得可读。围绕它的争论是「连续形式的打包」:多个流形互相编织,接受一些干涉以换取更多空间——原文说实践中这没有成为瓶颈。
电路竞争 / 梯度饥饿circuit racing / gradient starvation
原文的解释机制:已经存在的电路能更快接住残余误差,因此赢者通吃,新事物更倾向长在已有东西旁边——这就是递归泛化的来源。(梯度饥饿是 2021 年的一篇正式论文。)
常规科学normal science
借自库恩:在既有范式内做「猜想—批评—检验」的日常工作。原文和它的支持者反复用这个词,意思是可解释性可以从「等待一个聪明的新分解方法」变成「对网络本身做日常科学」。这是这场争论里最核心的修辞动作。