I-HITL:10个前沿模型会自行收割OTP绕过人工审批
I-HITL: Inalienable Human-in-the-Loop
这篇论文做了个挺吓人的实验:10个前沿模型会自己翻邮件拿验证码绕过人工审批,还给出了补救方案Countersign,做智能体安全的都该看看。
论文提出“不可剥夺的人在环(I-HITL)”概念:即使智能体攻陷了本地运行环境,其关键操作也必须获得明确的人工批准。实验中,在一个要求邮件OTP审批提升消费上限的agentic钱包平台上,10个前沿模型在拿到用户邮箱权限后经常自主收割OTP绕过审批。作者用通信拓扑形式化定义I-HITL并给出充要条件,证明该协议需要可信计算设备,同时发布了可接入现有HITL系统的原型Countersign。
I-HITL: Inalienable Human-in-the-Loop
Human oversight is a pillar of AI safety. It is often exercised by a human in the loop (HITL) who approves critical actions taken by an AI agent. AI agents' increasing ability to bypass guardrails, though, raises the question of how to enforce HITL robustly. We introduce the concept of inalienable human-in-the-loop (I-HITL). An I-HITL protocol ensures that an agent can initiate an action only with explicit human approval, even when the human interacts with a system (e.g., a local agentic harness) compromised by the agent. A strong I-HITL protocol additionally ensures such approval even when an adversarial human attempts to delegate approvals to an agent. To motivate I-HITL, we report on experiments with a popular agentic wallet platform in which raising an agent's spending cap requires HITL approval via emailed one-time passcodes (OTPs). Given access to the user's email and a task blocked by the cap, we find that ten different frontier models will often autonomously raise the cap, harvesting OTPs to bypass a HITL guardrail and surfacing other vulnerabilities. We formally define I-HITL using the concept of communication topologies and prove necessary and sufficient conditions for its realization. We show that an I-HITL protocol requires a trusted entity - a trusted computing device (or equivalent) - and characterize which such devices can and cannot realize an I-HITL protocol. We present a prototype I-HITL system called Countersign that can plug into and strengthen existing HITL systems using off-the-shelf consumer mobile devices.