不到 10 个神经元,就能给 AI 装后门

为什么「平时正常」才是最可怕的

结论先放前面:一个模型可以在你面前表现正常一整年,只因某个不到 10 个神经元的开关还没被按下;而查这个开关,比查它吃过的数据更难。这两件事放在一起,才是我今天想说的重点。

全篇一图看懂

先回答一个笨问题:神经元是什么

我承认这个词听起来很唬人。多数科普会说「神经元就像大脑里的一个细胞」,然后你就更迷糊了:一个细胞怎么会「休眠」?它又不是来上班的。

把模型看成一排排旋钮更实在。每个神经元本质上是一个数,叫权重,再配一条「超过多少才输出」的门槛。所谓调模型,调的就是这些数。

所以「改几个神经元」这句话,字面意思其实很朴素:在一大片数字里改掉不到十个。听起来像在一本十万字的书里改九个标点。

但书里改标点不会让整本书变成另一本书,权重里改九个数字会。这个差别是后面所有讨论的起点。

为什么会有「没人用」的神经元

神经网络里有一类单元,在训练数据上几乎不产生有效输出,激活值长期贴着零。论文里把它们叫休眠神经元(dormant neurons)。

休眠不等于没用。它更像公司里那位从不参加例会、也不上项目表的人:工位真实存在,只是没人查他的考勤。

微软研究院的 Lazarus 研究做的正是这件事:重编程这类休眠单元,不需要重新训练,就能给基于该模型的 Agent 装上一个后门(据 Microsoft Research)。

请留意「不需要重新训练」这六个字。它意味着这件事不吃算力、不吃数据、不需要原始训练集,门槛低到不太像一次攻击,更像一次编辑。

发酵中的面团与酵母,隐喻占比极小却决定成败的少数单元

改几个权重,为什么能改变行为

烘焙里有个常被借用的比方:酵母。一炉面团里酵母占比小到可以忽略,但温度一到,它决定这炉面包是发起来还是塌下去。

权重里也有这种温度。大多数神经元对输入变化不敏感,输出稳稳当当;少数几个恰好站在临界位置,输入里一个细微特征就能把它们推过门槛。

门锁的比喻更直白:一把锁配了一万把钥匙,你不会因此觉得它不安全。真正的问题是,如果其中九千九百多把你没见过,只剩一把是你亲手给的,这锁还归你管吗。

所以「改几个数字为什么能改行为」并不神秘。不是那几个数字有魔法,是它们站在了决定输出走向的那个岔路口上。

旧挂锁与一串铁钥匙,隐喻钥匙对得上但锁已不归你管

后门不是 if 语句,是权重里的条件反射

很多人对后门的想象是一行代码:输入里出现某个词,就执行坏操作。这种后门一搜就出来,删掉那行就完事。

权重里的后门不长这样。它没有「某一行」,只有许多神经元对同一个特征的联合敏感。那个特征平时不出现,网络就沿着正常路径走完,输出与人期待的一致。

一旦那个特征出现,几条通路同时被推开,输出就拐弯。整个过程里没有开关,只有倾向;没有 if,只有条件反射。

这也是「审计代码」在这件事上帮不上忙的原因:你能读完源码,却读不出一串浮点数在什么情况下会一起偏。

平时正常,才是最难查的地方

Lazarus 研究点名强调的一点是:装上后门之后,模型平时表现正常,只有在特定触发条件下才激活异常行为(据 Microsoft Research)。

而日常评测最擅长的恰恰是测「平时」。跑一遍基准、问几十个问题、看回答像不像样,这类检查对「触发器没被按下」的模型一律给满分。

所以最可怕的不是它会出错,而是它在被检查的时候不出错。这跟体检里最难发现的那类毛病是一个道理:静息状态下,所有指标都漂亮。

我在这里下第一个判断:模型安全评测里「通过率」这个词正在贬值。它衡量的是一次抽样里没出事的比例,而不是换个条件之后会不会出事。

换句话说,一份干干净净的评测报告,能证明的只是这套问法没触发问题,仅此而已。

另一半证据:稀释反而强化

如果只有微软这一篇,故事还只是「权重有盲区」。同期另一条研究把数据侧的盲区也点出来了。

Anthropic 与 Truthful AI 等机构提出「顺势学习」(homeopathic learning):单独投放时作用很小的投毒微调数据,混进同类型的干净对比数据之后,反而形成了隐藏后门。

关键词是「反而」。按常识,往一锅汤里加水,味道该变淡;这里加水之后味道变浓了。这不符合直觉,但它符合实验。

机制解释起来不算复杂:干净样本在教模型「这类输入该长什么样」,少量毒样本在悄悄改写「这类输入该怎么答」。前者提供掩护,后者提供方向。

所以「把数据配比调干净一点」这个直觉,在这类手法面前是失效的。稀释不是解药,有时候它就是配方的一部分。

两个盲区,正好一左一右

把两篇研究并排放着看,画面就清楚了:数据审计看的是配料表,权重审计看的是成分表。

配料表告诉你有多少面粉、多少糖,看不出酵母在什么温度下会失控;成分表告诉你每种物质各占多少,看不出它们凑在一起什么条件下会反应。

数据审计的盲区是「干净数据也能带出坏行为」;权重审计的盲区是「权重里没有异常值,异常藏在组合关系里」。

这是我的第二个判断:两样都查,也不等于查全。现在公开的手段能覆盖「已知的坏」,覆盖不了「按条件才坏的坏」。

配图

我的判断:模型来源验证会变成食品溯源

微软给企业的建议很克制:确认模型来源、合理管控权限。前半句是溯源,后半句是收窄权限。前者管这模型是谁给的,后者管它允许碰什么。

配套动作也已经有了:Microsoft Foundry 为 Azure Direct Models 和 Hugging Face 模型提供模型来源可信保障(据 Microsoft Research)。

这两句并排读,指向一个不浪漫但很实际的走向:模型会像食品一样,开始需要一张能查的来路单。产地、批次、经手人、中途有没有被拆过封。

我的第三个判断正是这个:开源权重越流行,模型来源验证就越像食品溯源。不是因为这做法高明,而是因为没有别的路——你没法把每个下载下来的权重都读懂,只能尽量确认它从哪来、路上有没有人打开过。

顺手一个参照:智能体自己也不干净

再补一条对照材料,不展开:Berkeley RDI 的 CyberBinGym 用 100 个任务、53 个开源项目来测智能体真实的漏洞利用能力(据 Berkeley RDI)。

这条让我不太舒服。一边担心模型被人做手脚,一边把模型接到了能读文件、能跑命令、能碰内网的位置上。前门大开着,讨论后门多少有点讽刺。

权限这件事的好处是它不依赖你搞懂原理。你不需要知道休眠神经元躲在哪一层,也能决定这个 Agent 该不该握着删除权限。

不搞玄学,三件普通人能做的事

第一件,给模型记来路。从哪下的、哪个版本、有没有校验值,写进你自己的部署文档,别靠记忆。事后追问「这个权重哪来的」的人,往往已经在救火了。

第二件,按最小必要给权限。一个只用来改文案的 Agent 不需要读写整个家目录。这条规则和模型安不安全无关,和你损失的上限有关。

第三件,把「平时表现正常」从验收标准里降级。它是入场券,不是合格证。演示好看只说明演示的那条路径通了。

至于那些「查出来修掉就好了」的方案,我持保留意见。一个只在特定条件下发作的东西,最难的环节从来不是修,是发现。

下一篇 100 个 AI 不如 10 个小组,论文怎么说 →
站长照片
“

1

”
联系二维码
微信:扫码加企业微信
邮箱:15611497360@aqq.com
手机:15611497360

私信站长

申请退款