Eigenius 知识图谱 DBMS 论文发布修订版 v3

Hans-Martin Will 等在 arXiv 发布了 Eigenius 论文的修订版（arXiv:2608.04457v3），作者注明仅为对上一版稿件的小幅更正。Eigenius 是一个开源的类型化知识图谱 DBMS，其元理论在 Lean 4 中机械化，核心包括依赖类型理论 EigenTT、证明演算制度以及内容寻址的不可变存储层。 论文的核心主张是：回答审计问题（“你知道什么，凭据是什么”）需要一个统一的内核。

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

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