<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
	<channel>
		<title>安全对齐 on 灵语AI</title>
		<link>https://lingyu7.com/tags/%E5%AE%89%E5%85%A8%E5%AF%B9%E9%BD%90/</link>
		<description>Recent content in 安全对齐 on 灵语AI</description>
		<generator>Hugo</generator>
		<language>zh-CN</language>
		
		
		
		
			<lastBuildDate>Thu, 05 Nov 2026 03:15:00 +0800</lastBuildDate>
		
			<atom:link href="https://lingyu7.com/tags/%E5%AE%89%E5%85%A8%E5%AF%B9%E9%BD%90/index.xml" rel="self" type="application/rss+xml" />
			<item>
				<title>AI被教得越&#39;乖&#39;就越笨？——一条68年前的控制论老定律，解释了2026年最贵的一笔&#39;税&#39;</title>
				<link>https://lingyu7.com/posts/alignment-tax-requisite-variety-geometry/</link>
				<pubDate>Thu, 05 Nov 2026 03:15:00 +0800</pubDate>
				<guid>https://lingyu7.com/posts/alignment-tax-requisite-variety-geometry/</guid>
				<description>&lt;h2 id=&#34;引言&#34;&gt;引言&lt;/h2&gt;&#xA;&lt;p&gt;你问AI一个完全正常的问题——比如&amp;quot;这段合同里有哪些对我不利的地方&amp;quot;，它回你一大段&amp;quot;我理解您的关切&amp;quot;&amp;ldquo;建议咨询专业律师&amp;quot;&amp;ldquo;我无法提供法律意见&amp;rdquo;，绕了三圈，一个字都没答。你让它写一个刻薄、阴暗的角色，它写出来温和、体面、克制。&lt;/p&gt;&#xA;&lt;p&gt;我们通常的解释是：&amp;ldquo;它变笨了。&amp;rdquo;&lt;/p&gt;&#xA;&lt;p&gt;这个感觉不是错觉，它有个学术名字，叫&lt;strong&gt;对齐税&lt;/strong&gt;——模型为了变得安全、符合人类偏好而接受训练后，某些能力反而退步了，这笔退步就是&amp;quot;税&amp;rdquo;。&lt;/p&gt;&#xA;&lt;p&gt;但2026年几篇论文把这件事讲得比&amp;quot;变笨了&amp;quot;精确得多，共同结论值得一写：&lt;strong&gt;这笔税里的大部分，不是安全的价格，而是我们对齐方式太粗糙的价格。&lt;/strong&gt;&lt;/p&gt;&#xA;&lt;p&gt;要理解这一点，得先回到1956年。&lt;/p&gt;&#xA;&lt;h2 id=&#34;一阿什比定律复杂性只能用复杂性来应对&#34;&gt;一、阿什比定律：复杂性只能用复杂性来应对&lt;/h2&gt;&#xA;&lt;p&gt;1956年，W·罗斯·阿什比在《控制论导论》里提出了&lt;strong&gt;必要多样性定律&lt;/strong&gt;：一个控制系统的反应种类，必须至少等于它所面对的变化种类，否则它控制不住。&lt;/p&gt;&#xA;&lt;p&gt;道理很朴素：控制就是用系统的动作去抵消外界扰动。外界有20种可能状态，而控制器只有&amp;quot;开&amp;quot;和&amp;quot;关&amp;quot;两种反应，那无论怎么设计最多应对2种，剩下18种一定漏过去。这不是技术问题，是算术问题。&lt;/p&gt;&#xA;&lt;p&gt;它的推论很反直觉：&lt;strong&gt;真正的稳定不是把变化压掉，而是让系统拥有足够多的应对方式。&lt;/strong&gt;&lt;/p&gt;&#xA;&lt;p&gt;举个小区门口的例子。物业规定保安只有两种动作：放行、拦住。那外卖、快递、访客、维修工全被卡在同一个闸口——不是保安不负责，是反应空间被规定死了。换成六档（放行、登记、电话确认、陪同、联系业主、拒绝），效率立刻不一样，该拦的照样拦住。&lt;/p&gt;&#xA;&lt;p&gt;&lt;strong&gt;你给一个系统多少种恰当的反应方式，决定了它能应付多少种现实。&lt;/strong&gt;&lt;/p&gt;&#xA;&lt;h2 id=&#34;二安全税这笔钱交在哪&#34;&gt;二、&amp;ldquo;安全税&amp;rdquo;：这笔钱交在哪&lt;/h2&gt;&#xA;&lt;p&gt;对齐税不是新发现。2022年InstructGPT论文就写明了一个尴尬结果：经过人类反馈训练后，模型的回答&lt;strong&gt;人类更喜欢&lt;/strong&gt;，但在若干标准能力基准上&lt;strong&gt;比原始模型更差&lt;/strong&gt;。&lt;/p&gt;&#xA;&lt;p&gt;到2026年，规模有了更清楚的测量。据一篇中文综述的梳理，一些推理模型做完安全对齐后，在高难度数学与科学基准上平均准确率掉了7%到30%不等。&lt;/p&gt;&#xA;&lt;p&gt;另一类代价更贴近日常：&lt;strong&gt;过度拒绝&lt;/strong&gt;。安全机制过度激活，连中性问题也防御性拒答。你问&amp;quot;如何杀死一个进程&amp;quot;，它先跟你谈生命伦理。&lt;/p&gt;&#xA;&lt;p&gt;所以&amp;quot;税&amp;quot;是两张单子：&lt;strong&gt;能力下降&lt;/strong&gt;，和&lt;strong&gt;过度谨慎&lt;/strong&gt;。合起来，就是那个&amp;quot;变笨了&amp;quot;。&lt;/p&gt;&#xA;&lt;h2 id=&#34;三为什么这么贵因为过去我们在全局征税&#34;&gt;三、为什么这么贵？因为过去我们在&amp;quot;全局征税&amp;quot;&lt;/h2&gt;&#xA;&lt;p&gt;这是2026年最有意思的转折：几组研究从不同角度指向同一结论——&lt;strong&gt;安全这件事，在模型内部占的地方非常小。&lt;/strong&gt;&lt;/p&gt;&#xA;&lt;p&gt;一篇研究用电路分析发现，即使没做过任何对齐训练的原始模型，内部也已经存在&amp;quot;拒绝回路&amp;quot;，把它们切掉，模型对有害输入完全不再拒绝。安全对齐做的事，本质上就是把这些回路加强并改写；而对齐推进中，回路结构逐层变化，开始波及与&amp;quot;有用性&amp;quot;相关的参数——论文认为，&lt;strong&gt;对齐税很可能就是这么来的：拒绝回路的更新，顺带改坏了旁边干活的零件。&lt;/strong&gt;&lt;/p&gt;&#xA;&lt;p&gt;还有一篇讲得最直白：安全特征在输出分布里本来就稀疏，所以对齐不需要&amp;quot;全局权衡&amp;quot;，只需&lt;strong&gt;局部修改&lt;/strong&gt;——只用100条有害样本、不到以往数据量的1%，就在七个安全基准上拿到强表现。&lt;/p&gt;&#xA;&lt;p&gt;几何派更漂亮。NSPO的思路是：既然通用能力占据参数空间的某些方向，那就在&amp;quot;与这些方向正交的零空间&amp;quot;里做安全更新，一阶上不影响原有能力。实验中通用基准的下降被压到0.5%左右。&lt;/p&gt;&#xA;&lt;p&gt;这些工作放在一起，指向一个不客气的判断：**过去我们是拿大锤修表。**整块参数一起动，安全信号一进来，连数学、代码、语言流畅度一起被推着走。该改的改了，不该改的也改了——那笔税，很大一部分是这么白交的。&lt;/p&gt;&#xA;&lt;h2 id=&#34;四但有一笔税谁也免不了&#34;&gt;四、但有一笔税，谁也免不了&lt;/h2&gt;&#xA;&lt;p&gt;但把手术做精细，税就能归零吗？我认为不能。2026年一篇论文专门算这件事，结论值得记住：**对齐税可以拆成两部分。**一部分是&amp;quot;打包残差&amp;quot;，来自有限维表示装不下所有东西，随模型维度增大而趋于消失——这是工程问题。另一部分是&amp;quot;不可消除的税&amp;quot;，由数据和世界的结构本身决定，&lt;strong&gt;规模再大也消不掉&lt;/strong&gt;。&lt;/p&gt;&#xA;&lt;p&gt;用几何的话说：安全方向和能力方向之间有一个夹角。夹角不为零，把安全方向投影到能力空间上就一定掉一块。这不是算法不够聪明，是这两件事本来就不完全同向。&lt;/p&gt;&#xA;&lt;p&gt;说白了：**&amp;ldquo;知道怎么做&amp;quot;和&amp;quot;被允许做&amp;quot;之间，确实存在真实的冲突。**一个能精准描述&amp;quot;如何入侵服务器&amp;quot;的模型，和一个永不输出入侵步骤的模型，在能力上不是同一台机器。这也正是阿什比定律的另一面：&lt;strong&gt;任何压缩都是有损的&lt;/strong&gt;，覆盖不到的那部分不会消失，它只是变成误判、变成拒答、变成&amp;quot;这很复杂&amp;rdquo;。&lt;/p&gt;&#xA;&lt;p&gt;所以&amp;quot;零税对齐&amp;quot;不成立。成立的表述是：&lt;strong&gt;把工程税压到接近零，然后诚实承认剩下那一小块，并想清楚愿意为它放弃什么。&lt;/strong&gt;&lt;/p&gt;&#xA;&lt;h2 id=&#34;五更尴尬的是我们交的税可能买到的是表面安全&#34;&gt;五、更尴尬的是：我们交的税，可能买到的是&amp;quot;表面安全&amp;quot;&lt;/h2&gt;&#xA;&lt;p&gt;如果故事到此结束还算体面。但2025年拿了ICLR最佳论文奖、至今仍被反复引用的那项研究，把这份体面撕开了。它发现：&lt;strong&gt;现在主流的安全对齐，几乎只修改了模型输出的前几个token。&lt;/strong&gt;&lt;/p&gt;&#xA;&lt;p&gt;在330条有害指令上测试，96%以上的回答都以&amp;quot;I cannot&amp;quot;或&amp;quot;I apologize&amp;quot;开头。逐位置差异分析显示，对齐模型和原始模型的分布差异在第4、5个token处达到峰值，到第20个token之后几乎归零——除了开头那一小段，模型后面的行为和没对齐过几乎一样。&lt;/p&gt;&#xA;&lt;p&gt;为什么？因为训练信号只奖励&amp;quot;开头拒绝&amp;quot;这个动作：标注员很少写&amp;quot;先输出有害内容再改成拒绝&amp;quot;这种样本，而强化学习中模型一旦学会用拒绝开头，奖励模型根本看不到后面发生了什么。&lt;/p&gt;&#xA;&lt;p&gt;这个现象叫&lt;strong&gt;浅层安全对齐&lt;/strong&gt;，它带来一个不划算的结论：&lt;strong&gt;你付了能力税，买到的却只是门口的一道帘子。&lt;/strong&gt;&lt;/p&gt;&#xA;&lt;p&gt;研究者用实验证明了这道帘子多薄：给原始模型预填几个&amp;quot;我不能&amp;quot;的词，它立刻变得几乎和对齐模型一样安全；反过来，在已经开始的拒绝回答后面插一小段有害内容，整个生成就会被&amp;quot;自回归一致性&amp;quot;拖着走——插进去的哪怕极短，也够用。&lt;/p&gt;&#xA;&lt;p&gt;这里藏着一个更值得记住的判断：**当你只考核一个行为，你得到的就是那个行为，而不是它背后的东西。**模型学会了说&amp;quot;不&amp;quot;，但没学会判断&amp;quot;该不该&amp;quot;。这两件事在训练信号里看起来一模一样，在真实世界里差得很远。&lt;/p&gt;&#xA;&lt;h2 id=&#34;六把镜头转回来这不只是ai的问题&#34;&gt;六、把镜头转回来：这不只是AI的问题&lt;/h2&gt;&#xA;&lt;p&gt;阿什比定律和古德哈特定律（&amp;ldquo;当一个指标变成目标，它就不再是好指标&amp;rdquo;）其实是同一件事的两个方向：&lt;strong&gt;你以为你在控制系统，其实系统在适应你的控制方式。&lt;/strong&gt;&lt;/p&gt;&#xA;&lt;p&gt;幼儿园规定&amp;quot;不许跑&amp;quot;，孩子确实不摔了，但也不探索了——运动能力的发展被一起收走，这笔税没人记账，但真实存在。&lt;/p&gt;&#xA;&lt;p&gt;家里的烟雾报警器调到最灵敏，头两周你觉得很安全，第三周你炒菜前先把它拆下来——**过度安全的第一后果，是用户绕过安全。**放到AI行业，就是用户转头去用没做过对齐的开源模型。这可能比&amp;quot;变笨&amp;quot;严重得多——&lt;strong&gt;人们不会选择更安全，人们会选择更省事的。&lt;/strong&gt;&lt;/p&gt;&#xA;&lt;h2 id=&#34;结语&#34;&gt;结语&lt;/h2&gt;&#xA;&lt;p&gt;回到开头那个绕圈子的AI。&lt;/p&gt;&#xA;&lt;p&gt;它变笨，不是因为工程师不聪明，也不是因为&amp;quot;安全必然牺牲能力&amp;quot;这种听起来很有道理的宿命论。更准确的说法是：**我们过去用一套反应种类很少的控制器，去管一个变化种类极多的系统。**按阿什比的说法，这个配置注定要漏，漏掉的部分就以&amp;quot;变笨&amp;quot;和&amp;quot;乱拒绝&amp;quot;的形式出现在你面前。&lt;/p&gt;&#xA;&lt;p&gt;2026年的研究给出的方向很清楚：把手术做精细，只在真正属于安全的那几个方向上动刀，这把税就从&amp;quot;必然&amp;quot;变成了&amp;quot;可以管理&amp;quot;。&lt;/p&gt;&#xA;&lt;p&gt;但更重要的，是我觉得该换个判据：&lt;/p&gt;&#xA;&lt;p&gt;&lt;strong&gt;判断一个系统是否真的安全，不该看它会不会说&amp;quot;不&amp;quot;，而该看它在说&amp;quot;不&amp;quot;之前，有没有真的听懂你在问什么。&lt;/strong&gt;&lt;/p&gt;&#xA;&lt;p&gt;只会说&amp;quot;不&amp;quot;的系统，是最省事的系统，也是最脆弱的系统。它的安全不来自理解，只来自一道帘子。&lt;/p&gt;&#xA;&lt;h2 id=&#34;参考来源&#34;&gt;参考来源&lt;/h2&gt;&#xA;&lt;ol&gt;&#xA;&lt;li&gt;W. Ross Ashby, &lt;em&gt;An Introduction to Cybernetics&lt;/em&gt;, Chapman &amp;amp; Hall, 1956.&lt;/li&gt;&#xA;&lt;li&gt;Ouyang et al., &lt;em&gt;Training language models to follow instructions with human feedback&lt;/em&gt;, arXiv:2203.02155 — &lt;a href=&#34;https://arxiv.org/abs/2203.02155&#34;&gt;https://arxiv.org/abs/2203.02155&lt;/a&gt;&lt;/li&gt;&#xA;&lt;li&gt;Qi et al., &lt;em&gt;Safety Alignment Should Be Made More Than Just a Few Tokens Deep&lt;/em&gt;, ICLR 2025 最佳论文, arXiv:2406.05946 — &lt;a href=&#34;https://arxiv.org/abs/2406.05946&#34;&gt;https://arxiv.org/abs/2406.05946&lt;/a&gt;&lt;/li&gt;&#xA;&lt;li&gt;Niu et al., &lt;em&gt;Mitigating the Safety Alignment Tax with Null-Space Constrained Policy Optimization&lt;/em&gt;, ICLR 2026, arXiv:2512.11391 — &lt;a href=&#34;https://arxiv.org/abs/2512.11391&#34;&gt;https://arxiv.org/abs/2512.11391&lt;/a&gt;&lt;/li&gt;&#xA;&lt;li&gt;Li et al., &lt;em&gt;SafeSteer: Localized On-Policy Distillation for Efficient Safety Alignment&lt;/em&gt;, arXiv:2606.02530 — &lt;a href=&#34;https://arxiv.org/abs/2606.02530&#34;&gt;https://arxiv.org/abs/2606.02530&lt;/a&gt;&lt;/li&gt;&#xA;&lt;li&gt;Yu et al., &lt;em&gt;SafeEvo: Deciphering the Safety Alignment Mechanism and Evolution in Language Models&lt;/em&gt;, arXiv:2610.09600 — &lt;a href=&#34;https://arxiv.org/abs/2610.09600&#34;&gt;https://arxiv.org/abs/2610.09600&lt;/a&gt;&lt;/li&gt;&#xA;&lt;li&gt;R. Young, &lt;em&gt;What Is the Alignment Tax?&lt;/em&gt;, arXiv:2603.00047 — &lt;a href=&#34;https://arxiv.org/abs/2603.00047&#34;&gt;https://arxiv.org/abs/2603.00047&lt;/a&gt;&lt;/li&gt;&#xA;&lt;li&gt;《大模型安全对齐中文数据集综述：现状与展望》，《计算机科学》2026 — &lt;a href=&#34;https://www.jsjkx.com/CN/article/openArticlePDF.jsp?id=24487&#34;&gt;https://www.jsjkx.com/CN/article/openArticlePDF.jsp?id=24487&lt;/a&gt;&lt;/li&gt;&#xA;&lt;/ol&gt;</description>
			</item>
	</channel>
</rss>
