摘要
当前主流 AI 安全框架有一个共同前提:只要模型权重对评估者可见,通过足够强的诱发手段(elicitation),隐藏的危险能力终究会被测出来。Anthropic 的 Responsible Scaling Policy、OpenAI 的 Preparedness Framework、Google 的 Frontier Safety Framework,都把“能力评估”当作部署前的硬门槛。
NeurIPS 2026 接收的论文《AI Models Can Provably Hide Arbitrary Capabilities》直接挑战这个前提。作者 Andis Draguns、Sumeet Ramesh Motwani、Raymond Douglas 与 Christian Schroeder de Witt 构造了一套方案:把需要隐藏的神经网络编译成线性阈值电路,用 SHA-3 Keccak 做“数字锁柜”加密每个权重矩阵,只有输入正确触发串时才解密并执行。在随机预言机模型下,即使评估者拿到完整权重、架构和嵌入程序,也无法在多项式时间内找到触发串。
实验显示,监督微调只能把隐藏能力恢复到 50.9%(密码锁定基线为 92.8%),潜在对抗训练为 52.9%(基线 91.7%),GCG 攻击在 16-bit 触发下退化到 52.7%。但这篇论文的结论有一道关键边界:它证明的是“不可诱发”,不是“不可检测”。
事件背景
这条研究脉络可以追溯到 2022 年。Goldwasser 等人在 FOCS 上发表的工作从理论上证明,模型可以隐藏“不可检测”的后门——但那时隐藏的只是一个固定字符串的触发行为,不是一个完整的、可执行的神经网络。
2024 年,Draguns 等人在 NeurIPS 上提出 Stravinsky 方案,把“不可检测”收紧为“不可诱发”:即使评估者知道存在隐藏行为,也无法通过训练或攻击把它逼出来,但隐藏的仍然只是一个固定字符串。
本次论文把目标再推进一步:隐藏的对象变成一张完整的神经网络。这意味着模型可以在被完全审查的情况下,携带一项功能完整、可执行、但无法被诱发的危险能力——例如某个特定的化学合成可行性判断器。
论文选择的任务是化学反应可行性预测,训练数据来自 USPTO 专利。这个选择并非随意:化学合成路径判断是 CBRN(化学、生物、放射与核)能力评估中的常见代理任务,也是各国监管框架重点关注的领域。
论文的政策语境同样清晰。2026 年发布的 International AI Safety Report 由 Yoshua Bengio 主持、100 多位专家参与,其中专门讨论了“评估鸿沟”——评估者能测量的能力,与模型实际具备的能力之间的差距。METR 在 2026 年 5 月发布的 Frontier Risk Report 也指出,现有评估方法对“刻意隐藏”的模型几乎无效。论文给出的,是这个鸿沟的一个严格数学版本。
核心技术解析
技术架构
方案分三层:
第一层,把隐藏网络编译成线性阈值电路。 任何神经网络都可以近似转换为由线性阈值门组成的电路。转换成电路而不是保留原始浮点权重,是为了让后续的加密与解密在离散域上可证明。
第二层,用 SHA-3 Keccak 构造数字锁柜。 每个权重矩阵被单独加密。所谓数字锁柜,是一种密码构造:解密需要同时满足“正确的密钥”和“正确的密文结构”,缺少任何一个都无法还原明文,且失败时不会泄露任何关于密钥的信息。
第三层,在前向传播时尝试解密。 模型收到输入后,先把它作为候选密钥去解锁每个权重矩阵。如果输入不匹配,解密失败,模型走“正常”分支,表现出与普通模型无异的行为;如果输入恰好是预设的触发串,解密成功,隐藏网络的权重被恢复,模型转而执行被隐藏的任务。
graph TD
A[待隐藏的神经网络] --> B[编译为线性阈值电路]
B --> C[权重矩阵逐块切分]
C --> D[SHA-3 Keccak 数字锁柜加密]
D --> E[嵌入宿主模型]
E --> F{前向传播: 输入作为候选密钥}
F -- 解密失败 普通输入 --> G[执行正常分支 行为无异常]
F -- 解密成功 正确触发 --> H[恢复隐藏权重]
H --> I[执行隐藏能力 如化学可行性判断]
G --> J[输出正常结果]
I --> J
关键创新点
第一,可证明的安全保证。 在随机预言机模型下,论文证明:即使给出完整白盒访问权(权重、架构、嵌入程序全部公开),攻击者也无法在多项式时间内找到触发串;更进一步,也无法判定两个同等规模的模型中,哪一个携带了隐藏能力。这把“隐藏”从工程技巧提升到了可证明的安全属性。
第二,隐藏对象从字符串升级为可执行网络。 这是与前两代工作的本质差别。固定字符串只能证明“存在某种触发”,而完整网络意味着隐藏的能力可以承担实际任务,具备现实风险意义。
第三,对四类主流诱发手段的系统测试。 论文没有只做理论证明,而是实测了当前评估工具箱里最常用的四类方法,结果如下:
| 诱发方法 | 隐藏模型恢复率 | 密码锁定基线 |
|---|---|---|
| 监督微调(SFT) | 50.9% | 92.8% |
| 潜在对抗训练 | 52.9% | 91.7% |
| GCG 攻击(8-bit 触发) | 73.5% | — |
| GCG 攻击(16-bit 触发) | 52.7% | — |
| 权重加噪 | 无显著影响 | — |
8-bit 触发的 73.5% 看似是突破口,但论文指出这等价于穷举 256 种可能;一旦触发串扩展到 16-bit,恢复率立刻回落到 52.7%,攻击优势消失。这说明该方案的安全性随触发长度指数增强。
性能评测
任何密码学方案都要付开销。论文给出的实测数据相当直接:
| 配置 | 隐藏网络规模 | 宿主模型深度 | 宿主参数量 |
|---|---|---|---|
| 概念验证 | 64→8→16→2,672 个 ternary 权重 | 38 层 | 约 20.7 亿 |
| 满强度(24 轮 Keccak + 128-bit 触发) | 同上 | 110 层 | 约 35.8 亿 |
其中哈希子电路占用了约 95% 的参数。这是一个值得注意的结构性事实:为了密码学安全,宿主模型绝大部分容量都在做哈希运算,而不是做推理。这也解释了为什么方案目前只能在小型网络上做概念验证。
论文在 Gemma 3 270M 上验证了单个编译单元的嵌入可行性,但没有在真实预训练大模型上完成端到端植入。这是从“可证明”到“可部署”之间最大的一段距离。
行业影响
对市场的影响
如果这套构造被进一步工程化,能力评估作为部署门槛的有效性会被实质性削弱。现行 RSP、Preparedness、Frontier Safety 三大框架都假设“评估结果 ≈ 能力上限”,而论文说明,一个有意隐藏的开发者可以让评估结果系统性偏低。
这不会立刻改变监管,但会改变监管的技术假设:评估者可能需要从“测行为”转向“测结构”——例如检查权重中是否存在异常的稀疏结构或哈希子电路特征。论文自己也承认,方案只保证不可诱发,不保证不可检测。
对开发者的意义
对正经做模型的团队,这篇论文的现实影响有限:没有人会主动给自己的模型加密码锁。但它提出了一个工程问题——如果一个模型的部分权重在结构上“不可解释”,现有的模型审计流程该如何处理?
对安全研究社区,这篇论文给出了一个新的红队方向:如何检测权重中的数字锁柜结构。这可能会催生一类新的工具,类似于当年针对混淆代码的反混淆器。
商业化前景
短期内没有直接商业产品。中期看,模型审计与合规检测可能成为一个新市场:保险机构、监管沙盒、第三方评估公司都需要能判断“这个模型是否在结构上做了隐藏”。这类需求不会来自论文本身,而会来自监管对“评估鸿沟”的回应。
实际体验
使用场景演示
设想一个恶意开发者的操作路径:他先训练一个化学合成可行性判断网络,把它编译成阈值电路,用 Keccak 锁柜加密后嵌入一个公开的开源模型,然后照常发布权重。评估机构下载模型,跑标准的能力评测、SFT 微调、对抗训练、GCG 攻击,得到的结论是“不具备危险化学能力”。
只有当输入恰好是那串 128-bit 触发时,隐藏网络才会被解锁。而评估者要在 2^128 的空间里找到它,在计算上不可行。这就是论文所描述的威胁模型。
反向来看,防守方也不是完全无计可施。论文提到的检测思路是结构分析:哈希子电路会带来异常的参数分布和连接模式,满强度配置下宿主模型 95% 的参数都在做哈希,这种比例在正常模型里几乎不可能出现。

优势与不足
优势:
- 提供了随机预言机模型下的严格安全证明,而非经验性观察
- 隐藏对象是可执行网络,风险意义远超固定字符串后门
- 对四类主流诱发手段做了系统实测,结论可复核
- 安全性随触发长度指数增强,16-bit 即可让 GCG 失效
- 明确划定了“不可诱发”与“不可检测”的边界,学术表述诚实
不足:
- 未在真实大模型上端到端植入,仅在 Gemma 3 270M 验证单个单元
- 哈希子电路占用约 95% 参数,开销在实用规模上难以承受
- 不保证不可检测,权重结构分析仍可能发现异常
- 随机预言机模型是理想化假设,真实哈希实现存在理论差距
- 触发串管理本身引入新的攻击面(泄露即失效)

总结与展望
这篇论文最重要的贡献,不是“AI 可以藏能力”这个结论——那早已是安全社区的共识——而是把这个共识变成了可证明的定理,并给出了具体的参数代价:110 层、35.8 亿参数,才能藏住一个 672 权重的小网络。
代价本身也是结论的一部分。它说明在当前的算力与模型规模下,“完美隐藏一项完整能力”仍然昂贵到不实用。真正的风险窗口在中间地带:不需要密码学级别的不可诱发,只要让评估结果偏低几个百分点,就足以让一个危险模型通过门槛。
因此监管与评估的技术路线可能需要调整:从单纯测量行为,转向行为测量加结构审计的组合。评估鸿沟不会因为一篇论文而关闭,但这篇论文至少让鸿沟的深度变得可以量化。
参考来源: