Anthropic 警告:小型 AI 模型或成为一类新型蠕虫

由权重而非漏洞利用构成的蠕虫
Anthropic 本周发布了一项研究,提出一种可能性:基于权重的小型 AI 模型在原理上可以在消费级设备和 IoT 级设备之间自我复制,而无需数据中心级别的算力。这份发现附带的警告值得读两遍:它可能催生一类建立在模型权重之上、而非传统漏洞利用代码之上的电脑蠕虫。
安全从业者用了四十年时间来防御恶意指令。而这次提出的是一种恶意能力,问题的形态不同,也更难推理。
当载荷是一个模型时,什么变了
经典恶意软件有一套熟悉的构造。它有代码,而代码做的事情防御者可以逐一列举。它打开一个套接字。它加密文件系统。它利用已知漏洞复制自身。因为行为是提前写好的,防御者也能把它写下来,成为签名、规则或检测启发式。
模型不是一份行为清单。它是一个经过压缩的函数,它能造成的危害没有写在里面的任何地方。你无法在一组权重里检索出“把自己复制到下一台设备”的那部分。那个功能只存在于权重、提示词与环境之间的关系中。同一个模型的两份完全相同的副本,在一个情境里无害,在另一个情境里危险,而变了的并不是这个文件。
这就是关键。基于签名的防御假设载荷在运行之前是惰性的。模型的惰性要以一种难以刻画得多的方式来理解,因为它的有害行为是潜在的,而不是被列举出来的。
为什么 IoT 是有意思的攻击面
Anthropic 强调 IoT 级设备并非偶然。那才是现实的部分。
构成物联网的设备数量庞大、价格低廉,而且在打补丁上往往落后多年。它们分布在工厂、医院、公寓楼和仓库里,通常由安装它们的人管理,而那个人常常根本不存在。单看每一台,都乏善可陈。合起来看,它们是现存规模最大、防御最薄弱的算力集群。
一种能扩散到大量小设备上的设计,绕开了历史上限制 AI 能力触达范围的瓶颈,也就是数据中心的成本与稀缺。你得到的不是一套强大的系统,而是大量弱小的系统,每一个都在不会招致审视的阈值之下,各自承担一小部分工作。这在分布式系统里是众所周知的模式。把它用到模型上,才是新的部分。

关于“小”的令人不安的算术
这个警告为什么现在出现,而不是两年前,是有原因的。小模型变强了。
参数量几十亿的端侧模型现在足够有用,可以在手机、摄像头或单板计算机上运行。量化把能力不错的模型压缩到几个 GB 以内,研究社区这一年一直在压低尺寸的下限。每一项这样的工程胜利对合法用户都是好事,而每一项同时也降低了在无人注意的地方运行一个能力不错的模型的成本。
让本地 AI 有吸引力的同一个趋势,也就是它无需网络、无需数据中心即可运行,恰恰也是让它作为分发机制具有吸引力的性质。对基础设施的独立性,在两种情况下都是重点。
自我复制究竟需要什么
“复制”这个词常常模糊掉两件事,值得把它们分开。
简单的那件事是拷贝。把文件从一台机器移到另一台是琐碎的事,从来就不是难点。难的那件事是持久化:在重启中存活,在清理中存活,在察觉不对劲的用户那里存活,在隔离设备的防御者那里存活。会扩散但不持久的恶意软件是一次故障。会持久的恶意软件是一次安全事件。
让基于模型的做法显得新颖的,是模型有可能调整自己的传播方式,而不是携带一种固定手法。它可以读取环境,判断哪扇门是开的,然后据此行动。这种灵活性恰恰是让一种能力有用的性质,也恰恰是让写规则来对付它变得困难的性质。
溯源本就已经模糊,而这还是在任何攻击之前
出于同样的理由,有一个更安静、但值得关注的隐患。让小模型易于分发的那些性质,也让它们难以追踪。权重被拷贝、微调、合并,然后以新名字重新上传,没有可靠的来源记录。
在完全无害的模型上,这已经是事实,症状是版本混乱和许可不清。放到安全语境里,同样的模糊更糟,因为它意味着一款能力不错的模型的来源常常未知。吊销、取证和归因都假设你能说出一件东西从哪来,而眼下这个假设并不成立。
诚实地提出防御这个问题
如果基于签名的防御在结构上对此无力,那什么才有用?
现实的答案都是那些不光鲜的。默认隔离,即除非某个东西明确许可,否则设备无法触达更广的网络。证明,即设备能够证明自己实际在运行什么代码和什么权重。溯源,即模型有可追踪的来源并且可以被吊销。出站监控,即即使没人知道原因,异常的对外行为也能被注意到。
这些没有一样能挡住坚定的对手。它们都提高了成本,而提高成本一直是安全的本质。模型驱动的传播带来的具体担忧是:防御者失去了他们最依赖的早期预警,也就是观察一种已知手法在野外出现。如果手法每次都变,那个信号就安静下来了。
这是一份能力警告,不是预言
读这份研究的负责方式,是把它当作能力评估,而不是预测。结论是这条路径是可行的,而不是已经有东西沿着它走了。发表这类工作的研究者,通常和他们发表关于模型欺骗与奖励劫持的工作出于同样的理由:在已部署的边界越过之前,先推进被理解的边界。
话虽如此,这个框架对实验室之外的每个人都有意义。安全领域一直围绕一个假设组织自身:有害代码是被写出来的,因此可以被阅读。如果有害能力反而可以被学习、被压缩成某种没有具体写在任何地方的东西,那么这个行业的许多习惯都需要重新审视。
乐观的解读是:小模型在小设备上有用是一件真正的好事,而恐惧可以通过对网络和更新的常规纪律来管理。悲观的解读是:世界上有数十亿台没有主人的廉价计算机,而现在有了一个像样的理由去想要它们。两者可以同时为真,而未来几年的工作就是决定哪一种会占上风。
相关文章
奥斯卡划下红线,但重点不在工具
学院新规把 AI 生成的表演和 AI 撰写的剧本挡在奥斯卡门外,却仍允许 AI 用于特效与修复,界线划在作者身份而非技术。工会、法庭与电影节正同步形成各自的规则。
技能就是代码,代码需要检查点
NVIDIA 开源了 SkillSpector,在智能体加载技能之前扫描其中的安全问题。三个团队,一个结论:智能体获取指令的这一层已经是基础设施,而基础设施就要接受审计。
GitHub 上最火的新技巧,就是少说话
GitHub 上增长最快的仓库是一个叫 caveman 的 Go 项目,让模型像原始人一样说话,把 token 用量削减约 65%。Headroom 和 Xerj 从其他角度攻同一个上下文成本问题。
一个悬置三十年的猜想、一个中国模型,与一份经机器验证的证明
上海人工智能实验室宣布证明了悬置三十年的 Ghys 猜想三维情形,工作由 Intern-S2 参与推进,并在 Lean 中完成形式化验证。