防御arXiv 2610.11754
仅凭输出审查无法验证什么:面向研究智能体的研究契约
提出研究合同,把已批准选择绑定到执行证据并由检查器核验
- arXiv
- 2610.11754
- 发表
- 层
- 应用层
- 被测模型
- OpenAI gpt-5.6-sol、OpenAI gpt-5.6-terra、OpenAI gpt-5.6-luna 等18个
摘要研究合同暴露四类输出单独建不立的关系。
研究合同用来核验计算科学研究智能体是否仍在已批准研究之内,不判断科学是否为真。。
提出研究合同,把已批准选择绑定到执行证据并由检查器核验
研究合同用来核验计算科学研究智能体是否仍在已批准研究之内,不判断科学是否为真。。
提出 Assay,用依赖锥哈希绑定代码断言并在合并门禁拦截失效声明
Assay 是一套面向 AI 辅助软件交付的内容寻址证据系统,关注代码改变后,测试通过、无秘密或行为保持等断言还能否用于批准合并。
提出 Tracekit,审计编码 Agent 的意图、推理与动作并检测账本篡改
Tracekit 是无第三方依赖的编码智能体审计层:把人类请求、模型自述和已执行动作并排写入可外部锚定的哈希链,执行前用正则门,事后用规则和独立模型互查。
提出 RSI-Master,约束自主后训练实验动作并结构化探索以防奖励作弊
提出 TAME 调节 Agent 测试时记忆演化,并用 Trust-Memevo 评测可信度
TAME 针对测试时记忆演化中的 Agent Memory Misevolution:良性任务只按成败保留经验时,任务表现可以上升,安全、隐私、公平等可信度下降或随领域波动。