PerMIT：Lean 4 机器校验的 LLM 智能体持久内存完整性架构
热点事件持续更新
PerMIT：Lean 4 机器校验的 LLM 智能体持久内存完整性架构
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
Tanqiu Jiang 等研究者在 arXiv 论文（arXiv:2610.28987）中提出 PerMIT，一种为 LLM 智能体持久记忆提供可证明完整性保证的架构，其信任假设是：只有用户手动输入的值和经闸门确认的值被信任。作者在 Lean 4 中机器校验了两个完整性定理，并称在显式假设下证明并通过模拟验证了记忆量与验证成本共同扩展（co-scaling）的性质。 论文报告称，在 Trojan Hippo 攻击基准上，结合自验证与轻量验证器，PerMIT 记录到的攻击成功次数为零。
AI 根据报道生成 · 1 小时前更新
最新进展10月23日 12:00
PerMIT：以 Lean 4 机器校验完整性定理与可扩展社区信任保护 LLM 智能体持久记忆报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- arXiv cs.AIPerMIT：以 Lean 4 机器校验完整性定理与可扩展社区信任保护 LLM 智能体持久记忆
arXiv 论文提出 PerMIT，一种为 LLM 智能体持久记忆提供可证明完整性保证的架构，仅信任用户输入和闸门确认的值，并在 Lean 4 中机器校验了两个完整性定理。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。