论文提出变换下身份档案的形式化分类
热点事件持续更新
论文提出变换下身份档案的形式化分类
1 篇报道1 个报道来源4 小时前更新
先了解这件事
AI 综述
Denise M. Case 发布论文 v3（arXiv:2601.16152），提出基于变换的身份档案分类方法，并用 Lean 4 对六个分类单元进行推导与证明。论文研究记录在变换下的身份保持问题，构建在其此前 Neutral Substrates 论文（arXiv:2601.14271）的条件性中性结论之上，将候选身份基底与记录变换族配对，划分为保持、破坏、中性或不适用四类。 作者称这种形式化使身份声明可审计，但结论依赖于所声明的基底、模型和担保，其对特定指称对象的适用性仍需独立论证。
AI 根据报道生成 · 1 小时前更新
最新进展10月31日 12:00
Referential Regimes：基于变换的中性基底身份刻画研究报道时间线
沿着报道，了解事件的不同侧面。
10月31日
- arXiv cs.AIReferential Regimes：基于变换的中性基底身份刻画研究
这篇 arXiv 论文研究记录变换下的身份保持问题，构建 Neutral Substrates（arXiv:2601.14271）之上的引用机制框架。作者将候选身份基底与记录变换族配对，划分为保持、破坏、中性或不适用四类，并用 Lean 4 对作用域分解、规则细化和分叉的六个分类单元进行推导与证明。形式化使身份声明可审计，其结论依赖于所声明的基底、模型和担保。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。