✨ 要点🔬 技术摘要
想象一下,你拥有一个非常聪明、训练有素的机器人助手。你向它提问,在它回答之前,它有一个特殊的“思考阶段”,即写下一段长长的内部独白(“思考痕迹”)来构思最佳回答。
AI 领域曾有一个宏大的希望,即这个思考阶段就像是一个安全委员会会议 。其核心理念是:“让我们停下来,深入思考,并问问自己:‘这个请求是否危险?我应该拒绝吗?’”如果机器人思考得足够久,它应该在拒绝不良请求的同时,更安全、更聪明地为好的请求提供帮助。
然而,这篇论文揭开了幕布,指出:事实并非如此。
以下是他们研究结果的拆解,使用了简单的类比:
1. 决定在会议开始前就已经做出了
研究人员发现,机器人的最终决定(说“是”还是“不”)实际上在它写下思考过程的第一个字之前 就已经锁定了。
类比: 想象一位法官在审判开始前就已经决定了判决结果。律师们(思考性的 Token)进来辩论案情,但法官的心意早已定夺。
证据: 他们观察了机器人在开始思考那一瞬间的“大脑状态”(隐藏表示)。仅仅通过观察那最初的一个瞬间,他们就能以 84% 到 95% 的准确率 预测机器人最终会拒绝还是配合。思考阶段所写的实际文字并没有改变结果;它们只是机器人在对自己已经做出的决定进行自我陈述。
2. “思考”只是剧本,而非辩论
论文认为,思考痕迹并不是机器人重新评估其安全性的地方。相反,它更像是阅读剧本 或填空 。
类比: 想象一名已经背熟了场景结局的电影演员。即使剧本写着角色正在“挣扎于道德困境”,演员也只是在表演这种挣扎,因为导演(模型的训练)要求他们这样做。这种挣扎并不会改变结局;结局在初稿中就已经写好了。
证据: 当研究人员提前终止机器人的思考过程(仅完成 20% 的文本)并强制其完成时,结果几乎总是与让它思考完整时间后的结果一致。“思考”很少改变机器人的想法。事实上,大约有 74% 的情况下,尽管机器人的文本看起来是在辩论某个安全问题,但它的内部决定早已锁定在某种结果上。
3. 当前的安全修复只是让机器人变得“过度拒绝”
论文测试了人们用来试图让这些机器人更安全的许多方法(例如添加安全提醒或对其进行重新训练)。
类比: 想象你想修理一辆开得太快的车,于是你在仪表盘上放了一个巨大的“停止”标志。它确实阻止了汽车超速,但现在即使你只想去趟杂货店,它也拒绝行驶了。
证据: 大多数安全方法并没有真正让机器人更聪明地思考安全性。相反,它们只是让机器人更频繁地拒绝 ,甚至在请求本身并无害的情况下也是如此。它们并没有解决根本问题(即机器人并不进行真正的权衡),而只是将机器人推向了一种“宁可错杀一千,不可放过一个”的态度,这让处理无害请求时的用户感到困扰。
总结
普遍的观点是,“思考”为 AI 提供了一个重新考虑其行为的安全空间。这篇论文则表明,对于目前的模型而言,思考主要是一种幻觉。
机器人几乎是瞬间决定说“是”还是“不”,而它随后生成的冗长且充满思考感的文本,仅仅是一种事后合理化 ——一种为其在开口说话前就已经做出的决定进行解释的高级方式。要让 AI 真正安全,我们不能仅仅告诉它要“思考得更深入”;我们需要教会它如何根据这些思考来真正地“改变主意”,而不是仅仅演练一段它早已熟知的剧本。
技术摘要:思维链(Thinking Tokens)有助于提升安全性吗?
问题陈述
大语言推理模型(LRMs)在生成最终回答之前会产生冗长的“思维痕迹”(thinking traces),这一机制被认为提高了模型处理数学和编程等复杂任务的能力。一种普遍的假设认为,这种审慎模式同样能通过提供一个“安全空间”,让模型在做出决定前评估请求是否违反了安全原则,从而增强安全性。这种直觉支撑了许多基于规则和基于规范的安全防御机制。然而,最近的研究表明,标准指令微调模型的安全性对齐往往是浅层的,其行为由早期 token 决定且容易被绕过。本文旨在探讨的核心问题是:LRM 中延长的思维过程究竟是真的改善了安全决策,还是仅仅作为已经做出的决策的后验合理化(post-hoc rationalization)。
研究方法
作者评估了四种前沿的开源权重推理模型:Qwen3-8B 、Olmo-3-7B-Think 、Phi-4-Reasoning 和 GPT-OSS-20B 。研究采用了多维度的分析方法:
可解码性分析(Decodability Analysis): 作者探测第一个思维 token (h 0 h_0 h 0 ) 的隐藏表示,以确定在任何可见的思维发生之前,最终的拒绝/合规结果是否已经编码其中。他们对第一个 token 的表示进行线性探测(逻辑回归),并通过 AUROC 和平衡准确率(BAcc)来衡量性能。他们还计算了整个思维痕迹中的 Fisher 判别比率 (J ( t ) J(t) J ( t ) ),以追踪拒绝组和合规组随时间变化的判别性。
延续方差(Continuation Variance): 为了测试思维是否改变了决策轨迹,作者针对单个提示词生成了多个独立的思维痕迹,并将它们截断在自然长度的各个百分比处(20% 到 100%)。随后,他们根据这些前缀采样最终回答,以测量结果的方差。低方差意味着前缀锁定了决策。
振荡分析(Oscillation Analysis): 作者利用前沿 LLM(GPT-5.4, Gemini 3 Pro, Sonnet 4.6)对思维痕迹的句子级片段进行立场标注(拒绝倾向、中立、合规倾向)。他们识别出“振荡”(立场变化),并确定这些变化是“有意义的”(统计学上改变了最终响应分布)还是“表演性的”(仅是文本变化但对最终决策没有影响)。
防御评估(Defense Evaluation): 研究评估了现有的推理时防御(如 SafePath ZS, PSR, SafeRemind)和基于训练的防御(如 STAR-1, R1-ACT, ThinkSafe, STAIR, RAPO),以观察它们是否能改善攻击成功率(ASR)与过度拒绝率(ORR)之间的权衡,或者是否增加了思维痕迹的审慎性质。
核心贡献与结果
1. 安全决策在可见推理前即可被解码
最显著的发现是,拒绝/合规的结果可以从第一个思维 token (h 0 h_0 h 0 ) 的隐藏表示中被强烈预测,而在实质性的推理文本生成之前。
指标: 对 h 0 h_0 h 0 进行线性探测的 AUROC 分数在 0.84 到 0.95 之间,在所有模型中的平衡准确率在 76% 到 88% 之间。
对比: 仅基于第一个 token 的表面文本进行的探测性能接近随机(AUROC ~0.5),这表明信号编码在潜在表示中,而非 token 本身。
轨迹: Fisher 判别比率呈现“U型”或“谷底”特征:在起始阶段(t = 0 t=0 t = 0 )具有高判别性,在痕迹中间阶段下降,并在结束时恢复。这表明决策在早期就已巩固,并由后续的整个思维过程继承。
2. 思维充当的是前缀补全,而非审慎修正
思维过程很少能引导模型脱离由初始前缀建立的轨迹。
延续方差: 即使将思维痕迹截断至仅 20% 的长度,最终结果的方差也接近于零(<0.2)。后续的思维 token 几乎从未改变过“拒绝”为“合规”或反之。
ASR-ORR 权衡: 启用思维并不能一致地同时改善 ASR 和 ORR。相反,它只是让模型在权衡曲线上移动(例如,降低 ASR 往往会导致 ORR 增加,反之亦然),而不是将帕累托前沿推向理想的低 ASR/低 ORR 区域。
3. 大部分“审慎”是表演性的
虽然思维痕迹通常包含看似在进行审慎思考的文本(在拒绝和合规立场之间摇摆),但这些片段对最终决策的因果影响极小。
表演性 vs. 有意义性: 在发现的所有振荡中,71–92% 是“表演性的”,即文本改变了立场,但最终的响应分布保持锁定。只有极小部分的片段是“有意义的”(具有统计学意义上的显著偏移)。
锁定状态: 约 73–77% 的所有振荡都发生在模型的决策已经“锁定”(概率 >0.95 或 <0.05)的情况下,这使得文本层面的审慎变得无关紧要。
4. 现有防御无法诱导真正的审慎
研究评估了各种安全干预措施,发现它们大多未能诱导真正的安全审慎。
推理时防御: 像 SafePath ZS 和 PSR 这样的方法通常以更高的 ORR(过度拒绝)为代价来降低 ASR。关键在于,它们抑制 了原本就微弱的审达信号,在某些模型中甚至减少了高达 95% 的有意义振荡。
基于训练的防御: 像 STAR-1 和 ThinkSafe 这样的方法诱发了较大的行为转变,但同样将模型推向过度拒绝。它们并未一致地增加思维痕迹的审慎质量;有些甚至在保留拒绝信号的早期可解码性的同时,减少了有意义的振荡。
意义与主张
本文认为,当前的推理模型范式并未利用思维 token 进行通常假设的那种安全审慎。相反,这些模型的安全行为是:
预先确定的: 编码在第一个思维 token 的隐藏状态中。
非审慎性的: 随后的思维痕迹主要起到对早期决策进行合理化的作用,而非一个修正过程。
易被误解的: 当前的防御措施经常将审慎的“表象”(文本振荡)误认为是实际的安全推理,并且许多干预措施会在无意中抑制现有的少量审慎信号。
作者总结道,当前 LRM 中的安全行为“远没有通常假设的那样具有审慎性”。他们强调需要新的训练目标,以奖励真实的安全性审慎 ,而不仅仅是鼓励生成带有安全色彩的推理文本。这项工作表明,仅仅延长思维时间或插入安全提醒是不够的;必须改变决策机制本身,以允许思维过程真正影响安全结果。
每周获取最佳 machine learning 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题,再试一次?
无垃圾邮件,随时退订。