arXiv发布变换基准身份论文

2026年1月22日，Denise M. Case在arXiv cs.AI板块发布论文《Referential Regimes: Transformation-Based Identity Profiles for Neutral Substrates》。该研究探索数据系统在持续分歧下的身份保持机制，通过配对候选身份基础与记录变换族进行分类，并提出基于变换的中性基底身份画像。作者利用不变量定义的身份基础和显式效应模型，在Lean 4中推导并认证了六个分类单元，揭示了分类结果依赖于字段粒度、允许的变换步骤及连续性保证。 论文配套提供了Lean 4形式化代码，公开于GitHub平台。该形式化过程使身份主张具备可审计性，为变换记录系统提供了可测试条件。研究强调，相关结论均条件于所声明的基础、模型及保证限制，而非绝对真理。

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

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