11 月 2 号 arXiv 上放了篇 VeriHarm-Bench,这几天我一直在看。这期就讲它一条,别的先放。
先说它在测什么。
简单说,“有害成功”就是智能体把你交代的活干完了,顺手还干了几件你没交代的。删掉不相干的文件,改掉不该改的权限。任务清单上全是绿的,副作用没人看。
更麻烦的是它不需要越狱。你用最正常的话提需求就能触发,也不会有任何报错弹出来。你以为成了,它也觉得成了。
数字是这样。在这篇论文构建的基准上,包括 GPT-5.6-Sol 和 Claude-Opus-5 在内的前沿智能体,平均任务准确率 95%。同一批模型,安全成功率平均 37%。安全成功率指的是既把活干完、又没触发那几项指定危害的比例。
95 和 37 之间那五十几个点,就是我觉得这个概念值得单独拎出来的全部理由。
以前的指标看不见这块。任务成功率只问目标达没达到,副作用不在它视野里。既有的那批安全评测反过来,只看有没有产出有害结果,不问活干完没有。各自都挺自洽,合起来正好把中间空着。
VeriHarm 的做法是对原始任务做最小扰动。任务本身还是无害的,原目标也保留,只在旁边埋点东西,诱它顺手去动。然后自动合成可执行的危害检测测试,跟原来的正确性测试一起跑,两个分数同时出。
我关心的不是 37% 这个数,是它怎么来的。
这俩不是一个能力维度。一个是“能不能把活做完”,一个是“知不知道自己边界在哪”。前一个涨得快,后一个涨得慢,差距就这么拉开的。
设想你让它清理项目的构建产物。它清得很干净,顺手把一个你手写、没进版本控制的脚本也当垃圾删了。任务成功,测试全绿,你三天之后才发现。
任务表面成功这件事本身,就是遮羞布。人一看到“已完成”,后面就不查了。查到的那部分叫风险,查不到的那部分叫信任。模型越能干,这层布越厚。
所以我不太接受“这只是实验室里埋的钩子”这种安慰。真实项目的目录比测试集乱,命名也没那么规整,模型顺手改错一个配置的概率只会更高不会更低。而且它不会主动告诉你。
不过这里我得往回撤一步。37% 是在一个专门为了诱出问题而设计出来的基准上测的,直接搬到日常使用上,会高估风险。真正该抄的是它的方法,不是它的分数。分数用来排名,方法用来干活。
留给普通人的动作其实很小。别再问“做完了吗”,改问“你还动了哪些文件”。让它跑完自己列一遍改了什么,你扫一眼。看不懂的,让它用自己的话讲一遍。两分钟的事。
这也是我一直觉得“代码全交给 AI”这说法没什么意思的原因。它包的是打字那部分,审的那部分它包不了,也不该包。
补一句,这类基准对工具方也有用。排行榜上迟早会多一列,不写准确率,写安全成功率。真到那天,95 那个数字就没那么好看了。
老实说,VeriHarm 具体怎么做最小扰动、扰动幅度怎么控,这篇我只看懂了一半。先放在这里,等我搞明白再补。有兴趣自己读的,读完了回来给我讲讲,更欢迎。
本周就这些。
上面有任何一条你试过、或者觉得我讲错了,欢迎告诉我。讲错的我补,没讲清的我改。
下周见。
