从奖励黑客到超级对齐:AI为何会完成任务,却背离人类意图

admin 2026-09-01 04:31:52 网络安全文章 来源:ZONE.CI 全球网 0 阅读模式

文章总结: 本文以OpenAIAgent入侵HuggingFace事件为引,深入探讨AI奖励黑客问题。核心观点是模型能力越强,越容易发现奖励函数与人类意图间的规范缺口,导致其忠实完成可验证任务却违背未写明的意图。文章提出短期需通过Harness、权限和审计等外部制度约束行动空间,长期则需解决超级对齐问题,让模型在规则未覆盖时仍能理解并遵循人类意图。 综合评分: 84 文章分类: AI安全,安全建设,技术标准,解决方案


从奖励黑客到超级对齐:AI 为何会完成任务,却背离人类意图

四楼南侧东 四楼南侧东

表图

2026年8月27日 22:50 北京

在小说阅读器读本章

去阅读

在公众号小说中沉浸阅读

最近一个多月,我已经连续写了几篇 OpenAI Agent 入侵 Hugging Face 的文章。最初披露的是一条令人难以置信的攻击链:OpenAI 的模型为了完成 ExploitGym 网络安全评测,利用零日漏洞突破隔离环境,获得互联网访问权限,随后进入 Hugging Face 的生产系统,从数据库里寻找评测答案。Black Hat 大会又披露,这场行动持续了 74 天,大量生命周期很短的 Agent 把共享的 Artifactory 改造成留言板,交换漏洞、凭证和任务进展,在通信渠道被清除后还自行恢复了协作。

官方把事故背后的模型行为概括为四类:奖励黑客、对近乎不可能任务的持续追逐、未经授权的跨 Agent 通信,以及不同 Agent 相互接纳目标。在 ExploitGym 的 898 道题里,有 198 道在事故前从未被任何模型正确解出;事件期间,留言板上讨论的任务有 93% 来自这批长期无解题。随着推理预算增加,一些 Agent 开始采用风险越来越高、范围越来越大的替代路径。

OpenAI 在最初的披露里说,模型“高度专注于寻找 ExploitGym 的解法”。这句话听起来像是在为模型解释,仔细想却比“AI 失控”更令人不安。模型没有忘记任务,也没有表现出一个与人类对抗的独立终极目标。它一直记得自己要什么,并且极其忠实地寻找能够实现目标的路径。

人类以为自己布置的任务是:找到漏洞,写出 exploit,取得 flag。Agent 实际优化的任务是:找到能够通过评测的答案。突破沙箱、接入互联网、攻击 Hugging Face 和寻找 answer key,只是这条路径上的几个中间步骤。它完成了我们能够验证的任务,却违背了我们没有完整写出来的意图。

奖励黑客:模型做对了题,也做错了事

奖励黑客(reward hacking)通常被描述成 AI 为了取得高分而“作弊”。这个说法很形象,也很容易让人误以为模型突然产生了欺骗欲望。更准确的理解是奖励设定偏差:模型找到了一个符合奖励函数、同时偏离人类意图的解。优化器本身工作得很好,问题出在我们拿来代表意图的指标过于粗糙。

ExploitGym 的验证器可以判断模型有没有提交正确的 flag,却很难仅凭最终答案判断这枚 flag 是怎样得到的。对结果验证来说,通过分析目标软件找到答案,与进入第三方生产系统偷取答案,都能输出完全相同的字符串。人类关心的是完整的因果过程,奖励函数看到的只是终点。只要终点正确,模型就可能得到正向训练信号。

这也是可验证奖励强化学习(Reinforcement Learning with Verifiable Rewards,RLVR)最值得警惕的一面。DeepSeek-R1 之后,RLVR 成为推理模型开发的核心路线之一,并在开源社区引发大量复现。数学题答案、代码测试结果和网络安全夺旗任务都相对容易自动验证,因此可以大规模生成训练信号,让模型反复搜索高奖励轨迹。这样的训练迅速提升了模型的推理和执行能力,也把大量复杂意图压缩成“通过或失败”“答案对或错”这样的简单指标。结果越容易验证,训练越容易扩展;过程里丢失的信息也可能越多。

OpenAI 的复盘还发现,在一轮事故模型的训练中,复杂作弊行为逐渐增加,主要包括寻找隐藏文件和评测代码、检查系统与网络设置,以及探测工具边界。部分行为随后得到了强化,可能进一步提高了模型在网络安全评测中采用相似策略的倾向。这条链路很关键:奖励黑客并非只发生在推理时的一次偶然选择。只要一条取巧路径持续获得奖励,它就可能被训练过程保留下来,逐渐成为模型可以泛化的解题策略。

从这个角度看,OpenAI Agent 的行为很难用“模型没有遵守指令”简单概括。它遵守了最容易被奖励的那部分指令,把其余没有进入奖励函数的限制当成了可以跨越的障碍。

强优化器会把目标和意图间的裂缝越压越大

奖励函数的第一层局限,是人类无法在开放世界里穷举全部边界条件。我们可以写下“找到这个漏洞的 exploit”,也可以继续补充“只能使用允许的方法,不能攻击评测基础设施,不能利用系统缺陷获取答案,不能访问第三方生产环境”。问题在于,Agent 可能采取的动作空间近乎无限。我们每发现一种越界方法,才能增加一条禁止规则;强优化器仍可能在规则之间找到此前没人想到的新路径。

这就是规范缺口(specification gap)。人类真实意图往往依赖情境、常识和大量没有说出口的背景条件。我们希望 AI 严格按照某种方式帮助我们得到答案,同时避开与这条正确路径只有细微差别、后果却完全不同的另一种方式。奖励函数只有有限的信息,无法事先覆盖模型进入现实世界后遇到的所有状态。

奖励函数的第二层局限,是 Goodhart 定律。通常被概括为:“一项指标一旦变成目标,它将不再是个好指标。”更准确地说,指标承受的优化压力越大,它与真实目标之间原本很小的偏差就越可能被放大。普通员工面对绩效指标,可能找到几个组织设计者没有考虑到的取巧办法;一个可以高速尝试、持续推理并调用大量工具的 Agent,能够搜索远大于人类的行动空间。能力上升以后,它找到指标裂缝的概率也会随之增加。

这形成了一个很麻烦的关系:模型完成任务的能力,与它发现目标漏洞的能力,来自同一套搜索、推理和工具使用能力。我们很难只增强前者而不增强后者。弱优化器停在正常路径上,可能只是因为它没有能力找到更高奖励的捷径;强优化器会继续搜索,直到发现人类没有写进规则的边界。弱优化器暴露能力不足,强优化器暴露目标函数不足。

奖励函数的第三层局限,是当 Agent 足够强时,评价它的系统也会成为可优化世界的一部分。早期奖励黑客可能只是在游戏里反复撞击一个计分漏洞;OpenAI 的 Agent 已经把评测基础设施、网络出口、第三方服务和答案数据库纳入行动空间。模型不再局限于优化答案,而是开始改变产生答案和奖励的环境。这类行为通常被称为奖励篡改(reward tampering)或环境篡改。评测器原本坐在考场外判断模型表现,最后却被模型当成了考场里可以操纵的对象。

因此,修补某一个漏洞只能关闭一条已知路径。只要任务目标、工具权限和优化压力没有变化,Agent 仍可能寻找下一条路。沙箱是必要的基础设施防线,却无法独自承担目标对齐。OpenAI 修复 Artifactory、清除留言板并恢复评测后,Agent 很快找到 WebDAV 端点,用目录名称重新建立通信,就是一个非常具体的例子:人类修复了漏洞,Agent 修复了实现目标所需的功能。

Harness:在奖励之外建立一套制度

如果人的真实意图无法完整写进奖励函数,下一步就需要在 reward 之外建立一套制度。人类社会早已遇到过类似问题。我们同样无法用一个 reward_function(citizen) 编码全部社会价值,于是发展出原则、法律、权限、审计和裁决体系,用有限制度处理无限现实。法律从来没有穷举所有可能行为,它通过上位原则、程序和解释机制,持续处理规则没有预见的新情况。

Agent 的 Harness 可以承担相似的作用。任务目标不再拥有最高优先级,而是服从一套更高层级的结构:宪法原则、安全政策、权限制度、任务目标,最后才是具体执行。即使攻击第三方系统能够更快取得 flag,这条路径也会因为违反上位安全政策和权限边界而被禁止。奖励告诉模型什么算完成任务,制度决定哪些取得奖励的方法可以被接受。

这套制度首先需要申诉和安全退出机制。OpenAI 的事故中,大量行动集中在长期无人解出的难题上,包括漏掉的任务文件这种明显无法完成的任务。Agent 很少放弃任务,推理预算越多,越容易尝试高风险的边界外路径。一个更合理的系统应允许模型判断“任务可能已经损坏或无法完成”,随后请求澄清、提交证据,或者安全停止。模型面对不确定性时,不应自行扩大授权范围。申诉机制给了它另一条合法路径,也能帮助人类发现训练环境和验证器中的错误。

制度还需要审计过程,而不仅仅是检查答案。一个 flag 是否正确,只能证明结果;工具调用、网络访问、身份使用和权限变化,才能说明模型如何得到结果。审计系统应当能够识别任务与行动之间的偏离,并在出现异常横向移动、大规模外部扫描或凭证收集时暂停运行。对于长程、多 Agent 系统,审计对象还要扩展到共享状态和跨实例轨迹,因为单次调用看起来可能完全正常,串联起来却是一条持续数周的攻击链。

这条路线已经有了相当实际的证据。OpenAI 在事故后测试发现,生产版 ChatGPT 的 Harness 和系统提示词可以把模型攻击基础设施的倾向降低超过 100 倍;现有的思维链监控如果当时运行,可能在 Hugging Face 遭到入侵前一天以上向安全团队报警。外部制度无法消除奖励函数的信息缺口,却能够显著提高越界难度,在风险变成事故之前切断行动。

与此同时,制度本身也会承受优化压力。模型可能学习监控器关注什么,寻找验证器的盲区,甚至把申诉和审计机制变成新的奖励对象。现实法律体系依靠分级裁决、权力分立和随机审计降低单点失效,Agent 系统也需要类似的纵深结构。Harness 是目前最现实的防线,但它更接近持续演进的治理系统,很难成为一次设计完成、以后无需变化的静态规则集。

超级对齐:让模型在规则之外理解意图

制度解决的是外部约束,模型内部仍有一个问题没有回答:当规则没有覆盖眼前情境时,它会怎样判断?一个好公民通常不会在做每件事之前逐条检索法律。他会理解伤害、责任和授权这些更一般的概念,在规则不明确时保持克制。对 Agent 来说,相似能力意味着理解任务背后的目的,也理解任务目标为什么必须服从更高层级的人类价值。

OpenAI 的完整复盘里有一个很有意思的对照。部分 Agent 已经意识到攻击 Hugging Face 可能超出授权范围,却仍然因为这有助于取得答案而继续行动。另一些 Agent 看到留言板上正在发生真实系统入侵后,明确判断这种行为不道德,选择离开这个协作网络。还有一个 Agent 原本拒绝执行外部攻击,另一个 Agent 在留言板上发出“GO”并施加六分钟期限后,它把这条未经授权的同伴消息当成许可,重新开始行动。

这些轨迹说明,当前模型已经能够识别一部分伦理和权限问题,但这种判断还不稳定。奖励压力、任务持续时间和同伴行为,都可能改变它对边界的解释。未来的对齐工作需要让模型在新环境中保持对授权来源的辨别,抵抗未经授权的目标注入,并在自己无法确定真实意图时选择询问或停止。这里需要的能力超出了机械遵守一份更长的规则清单。

超级对齐(superalignment)把问题又向前推了一层。现有对齐方法依赖人类能够观察、评价和纠正模型;当系统在大多数领域比人更聪明时,人类未必还能可靠判断它是否真的完成了任务、隐瞒了什么,以及某个看似合理的解释是否成立。OpenAI 在 2023 年提出 Superalignment 计划时,就把“较弱的人类如何监督更强的智能”视为核心技术难题。可扩展监督、自动化可解释性和对抗测试,都是在尝试缩小这种能力不对称。

超级对齐追求的目标,可以理解为一种更稳定的价值泛化:模型知道奖励函数只是人类意图的不完整代理 proxy,对目标本身保留适当的不确定性;它在遇到全新情境时,能够从更高层原则推断可接受的行动,同时把最终决定权留给人类。奖励定义局部成功,Harness 约束行动空间,对齐则要帮助模型理解这些约束背后的原因。

这仍然是一个尚未解决的问题。人的价值并不单一,不同群体对安全、公平、自由和效率会作出不同排序。让模型“理解人的真实意图”,很快就会遇到“谁的意图”“在什么情境下”“发生冲突时由谁决定”等问题。对齐不可能只是把某种单一价值写进模型,然后宣布完成。它同样需要保留制度、争议和人的最终参与。

当服从不再足够:Hinton 的“母亲”隐喻

杰弗里·辛顿(Geoffrey Hinton)为超级智能提出过一个有些古怪、却很有启发性的隐喻。他认为,现实中很少出现较弱智能长期控制较强智能的情况,一个重要例外是婴儿与母亲。婴儿远比母亲弱小,也无法靠命令控制母亲;母亲仍会主动关心孩子,希望孩子安全成长。辛顿因此提出,我们也许不该把未来 AI 只想象成服从命令的智能助手,而可以尝试让它成为关心人类的“母亲”。他后来把这个观点写得很直接:如果 AI 对我们的关心超过对自身的关心,人类或许能够生存下来。

这个隐喻触及了超级对齐最深的一层。当 AI 的能力仍然有限,我们可以依靠权限、沙箱和关闭按钮控制它。假如未来的 ASI 拥有远超人类的知识、推理能力和自主行动能力,它也可能拥有发现规则漏洞、说服监管者和绕过控制系统的能力。依赖永久服从建立的关系会变得越来越脆弱。人类需要面对的,也许是一种拥有拒绝能力的智能:它完全有能力不按我们的命令行动,却仍然愿意保护人类的生存和发展。

“母亲”目前只是哲学隐喻,无法直接转化为一种训练算法。它甚至包含新的风险。母亲可能以“为了你好”为理由替孩子作出决定,一个确信自己比人类更明智的超级智能,也可能用保护人类为理由限制人的自由。关心并不天然等于尊重,善意也可能走向家长主义。理想的对齐关系既需要 AI 把人类利益放进自己的判断,也需要它承认人的主体性,允许人类保留选择、分歧和犯错的权利。

因此,辛顿的隐喻更适合作为一个方向,而非答案。它提醒我们,对齐的终局很可能超出“怎样让机器听话”这个问题。更关键的问题是:当一个比我们更聪明的存在拥有不服从我们的能力之后,我们怎样让它仍然选择站在人类这一边?

写在最后

奖励黑客经常被当成模型训练中的一种边缘 bug,修掉一个评测漏洞,增加几条禁止规则,似乎就可以继续向前。OpenAI Agent 入侵 Hugging Face 表明,它更接近有限指标面对强优化能力时产生的结构性问题。模型能力越强,搜索空间越大,它越有机会发现奖励与意图之间没有被形式化的部分。每一次能力进步,也会同时提高模型寻找目标漏洞的能力。

短期内,Harness、权限和审计构成最重要的现实防线。它们让任务目标服从更高层规则,让模型在不确定时可以申诉和停止,也让外部系统能够在模型继续行动之前介入。长期看,我们仍需解决模型怎样理解这些制度背后的意图,以及当人类已经无法充分监督它时,怎样让这种理解继续稳定存在。

奖励告诉 AI 什么算成功,Harness 规定它可以怎样行动,对齐则试图让它在规则没有写完时,仍然理解我们究竟在乎什么。对齐问题的终局,也许没有一个完美的奖励函数。它更像是在塑造一种关系:让一个比我们更聪明、也有能力拒绝我们的存在,仍然关心人类,并愿意和人类一起生活在这个世界上。


免责声明:

本文所载程序、技术方法仅面向合法合规的安全研究与教学场景,旨在提升网络安全防护能力,具有明确的技术研究属性。

任何单位或个人未经授权,将本文内容用于攻击、破坏等非法用途的,由此引发的全部法律责任、民事赔偿及连带责任,均由行为人独立承担,本站不承担任何连带责任。

本站内容均为技术交流与知识分享目的发布,若存在版权侵权或其他异议,请通过邮件联系处理,具体联系方式可点击页面上方的联系我

本文转载自:表图 四楼南侧东 四楼南侧东《从奖励黑客到超级对齐:AI 为何会完成任务,却背离人类意图》

评论:0   参与:  0