Eigenius类型化知识存储理论发布
热点事件持续更新
Eigenius类型化知识存储理论发布
1 篇报道1 个报道来源23 小时前更新
先了解这件事
AI 综述
2026年11月6日，Hans-Martin Will在arXiv发布论文《Typed Knowledge over Constructive Institutions》，提出Eigenius理论。 该理论定义了一种在构造性机构上进行类型化知识存储的形式系统，核心是基于累积宇宙依赖类型论，并将证明无关性设为公理。 论文配套Lean 4形式化验证了系统一致性，利用正交重写系统保证判定性，支持证据追踪与类型化知识图谱构建。
AI 根据报道生成 · 21 小时前更新
最新进展11月6日 13:00
Eigenius 理论：基于构造性机构的类型化知识存储报道时间线
沿着报道，了解事件的不同侧面。
11月6日
- arXiv · AIEigenius 理论：基于构造性机构的类型化知识存储
论文提出 Eigenius 理论，定义了一种在构造性机构上进行类型化知识存储的形式系统。 核心内核为累积宇宙依赖类型论，将证明无关性设为公理而非转换规则，利用正交重写系统保证定义等价的判定性。 配套 Lean 4 形式化验证了系统一致性，通过子判断处理宇宙累积性与类包含，支持证据追踪与类型化知识图谱构建。
本事件热度走势
- 可比范围当前
- 5
- 可比范围峰值
- 911月6日 15:00
- 近 24 小时变化
- –
02.557.510
18:0011月7日06:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。