PerMIT用可机器校验的完整性定理保护LLM智能体持久记忆。
资讯摘要
论文提出PerMIT记忆架构，在明确信任假设下为LLM智能体持久记忆提供可证明的完整性保障：仅信任用户输入与在门控处确认的值，环境来源值须经有限记忆接口中介。作者在Lean 4中机器校验两条完整性定理，并在Trojan Hippo上报告自验证与轻量验证器下攻击成功为零；在τ²-bench上，最多90个智能体组成的社区用PerMIT构建共享知识库，未见直接记忆注入被提升，且知识可提升新智能体在留出任务上的表现。
要点速读
- PerMIT通过有限记忆接口中介不可信环境值的释放与使用，保留智能体多轮规划与工具选择能力。
- 作者在Lean 4中机器校验两条完整性定理，使威胁模型中的每种攻击归结为一次可审计的门控决策。
- Trojan Hippo上报告零攻击成功；τ²-bench上最多90个智能体的社区构建共享知识库，未见直接记忆注入被提升。
中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/10/23 08:00:11（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。