别再让 Agent 聊天记录腐烂：开源运行时用信念图管理状态
Dapper_Ad599 · reddit · 2026-10-04
作者开源了 pre-alpha 项目 Corollary，尝试解决长时运行 agent 的「上下文腐烂」问题：传统框架把状态存成不断追加的聊天记录，第 3 步的坏数据会永久留在上下文里，关键事实变化后只能整体重置或从头重跑。
Corollary 改用基于 Doyle 1979 年真值维护系统（TMS）的信念库来存状态：
- 每条信念/结论都追踪其依据（justifications）
- 撤回或更新某个基础事实时，下游依赖它的结论自动撤回并重新推导
- 独立结论不受影响，得到干净的变化 diff，无需重跑 LLM 调用
- LLM 只看到当前有效的「IN」信念，旧事实不会经由 transcript 泄漏回来
作者征集反馈与边界案例，并询问大家目前如何处理长 agent 的上下文腐烂。
「编程与Agent」频道最新
- 基于 Josh Puckett 原作，Dialkit macOS 开源：Mac 端实时调试 iOS 界面 — mikelikesdesign · 2026-10-04
- 用 MCP 存决策图谱：隔周回到 Agent 项目也能追溯每条结论 — Mountain-Raise-4556 · 2026-10-04
- 极客用 Lean 语言完整重写《毁灭战士》,还顺手加了形式化证明 — akbirthko · 2026-10-04
- 自研极简编码 agent Jin：只用 3 种 API 标准，用 prompt 替代 MCP — aldapsiger · 2026-10-04
- Kepler 在 ARC-AGI-3 全部 25 关拿服务器验证满分,总成本仅 777 美元 — rohanpaul_ai · 2026-10-04
- AI 智能体靠读源码在 ARC-AGI-3 刷满分,干净重跑仅 46.91 — rohanpaul_ai · 2026-10-04