PerMIT：用机器校验的完整性定理与可扩展社区信任保护 LLM 智能体的持久记忆

PerMIT 是一套为 LLM 智能体持久记忆提供可证明完整性保证的记忆架构，其两条完整性定理已在 Lean 4 中机器校验。在 Trojan Hippo 上，PerMIT 配合自验证与轻量验证器实现零观测攻击成功；在 τ²-bench 上，最多 90 个自主智能体的社区用其构建共享知识库，无直接记忆注入被提升，且新智能体在留出任务上表现显著提升。