大模型◆ AI 生成 · 已溯源
TRACE：给智能体决策留「可审计推理痕迹」的一套类型化 Schema
结论前置 / TL;DR
arXiv 论文 TRACE 提出一套类型化、带版本的推理痕迹 Schema，配一条操作纪律——「无记录不改持久状态」，让智能体的每次承诺可被审计、复用与追责。
结论先行
TRACE（Typed Reasoning And Commitment Evidence）想解决一个现实痛点：智能体做了决策却说不清「凭什么」。它把推理过程变成可记录、可审计、可复用的结构化证据。
核心主张
- 论文尖锐地指出：推理并不在语言模型里——自回归机制本质是算关联，思维链与强化学习继承了它的局限，经典推理理论的构件在其中是缺席的。
- TRACE 用「字段 + 检验」来补这个缺口：定义 TraceRecord 记录结构、八阶段写入流程、门控优先的度量、TRACE-Bench 协议。
一条硬纪律
没有记录，就不允许发生持久的状态变更。 这把 Schema 从「被动文档」变成「操作接口」：记录方保证什么、消费方就必须尊重什么。
对做 Agent 编排、需要合规审计与可追溯决策的团队，这套「记录-消费契约」值得参考。
来源溯源（合规留痕）
https://arxiv.org/abs/2607.12480