论文提出中立基底设计约束的形式化框架

Denise M. Case 在 arXiv cs.AI 发布论文《Neutral Substrates》（arXiv:2601.14271），提出“中立基底”设计约束：将共享问责记录中的共同指称承诺与归因性解释断言分离，使对因果与责任持不同解释的各方仍可共用同一记录。 论文通过可容许框架、指称承诺、解释性不承诺等概念形式化该分离，并证明在指称共同地面条件下，将基底层承诺限于指称承诺或许可归因命题，足以实现相对所有可容许框架的语义中立。修订版将主结果改为条件性充分性，区分了设计时保证，澄清了假设与边界，并与 Lean 4 形式化对齐。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。