Proofpress 给 AI Agent 研究装证据账本:发现撤回,下游结论自动失效
tallmetommy · x · 2026-10-07
Only Then Labs 发布 Proofpress,一款面向"用 AI agent 做研究"的团队的开源证据账本(evidence ledger),解决 agent 会话结束后研究成果流失的问题。
核心机制:
- 记录发现:把结论、支撑证据和适用条件绑定存档,失败的实验也作为有用知识保留。
- 审批后复用:agent 提出工作,由授权评审决定哪些成为"已批准上下文";批准记录与它实际审过的版本绑定。
- 变更传递:一旦某条上游发现被撤回,依赖它的下游发现会自动从新的已批准上下文中扣留;恢复需重新评估,不相关的工作不受影响。
官网附有可回放的本地 kernel 运行演示(含发现撤回、依赖扣留的完整流程),定位是让"下一个人或下一个 agent"拿到更好的起点。
「编程与Agent」频道最新
- 实测：OpenAI Decisions API 比 Jev 贵 2 倍、效果差 5-10% — xeophon · 2026-10-07
- 把 Claude Code、Codex 等 10 个 harness 转 RL 环境，工具调用降 31% — vllm_project · 2026-10-07
- 开发者吐槽：AI 生成网站越长越像，都源自同一套 design.md — MickeySteamboat · 2026-10-07
- Rohan Varma 分享 AI 助手用法心得:dot 管职责,codex 管任务 — pvncher · 2026-10-07
- 他曾被问「没有模型怎么做识别」，未来会被问「没有模型怎么写代码」 — yunta_tsai · 2026-10-07
- 工程师晒 agent 干活日常：屏幕上一片安静，自己成了旁观者 — KevinNaughtonJr · 2026-10-07