Eigenius：开源类型化知识图谱数据库系统发布

Hans-Martin Will 等作者发布开源类型化知识图谱数据库系统 Eigenius，将类型系统、存储引擎与集成协议耦合在同一内核中，使数据溯源成为结构性不变量。 该系统内核基于 Lean 4 机械化元理论，包含处理分离转换与本体归摄的依值类型理论 EigenTT、作为强类型集成边界的证明演算制度，以及内容寻址的不可变存储层。作者称，其设计前提是回答“你知道什么、你的保证是什么”这一审计问题需要统一内核。

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

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