PerMIT: машинно-проверяемые теоремы целостности и архитектура памяти с шлюзом доверия для агентов LLM
PerMIT — архитектура памяти для агентов LLM с жёсткой моделью доверия: доверяются только вводы от пользователя и значения, подтверждённые на шлюзе; внешние данные подаются через конечный интерфейс. Авторы формально доказывают две теоремы целостности (машинно-проверяемые в Lean 4), сообщают об отсутствии успешно зафиксированных атак на Trojan Hippo при самопроверке и лёгких проверяющих и моделируют сообщества (до 90 агентов) на τ^2-bench, показывая масштабируемое коллективное подтверждение памяти и улучшение производительности новых агентов.