Eigenius 类型化知识存储理论论文发布

Hans-Martin Will 在 arXiv cs.AI 提交论文，提出 Eigenius——一种建立在构造性机构之上的类型化知识存储理论。其核心是一个带累积宇宙、命题内涵宇宙、归纳族和内涵恒等类型的依赖类型理论。 与数学或程序验证中只需命题成立不同，Eigenius 将证明无关性设为带显式见证的公理而非转换规则，从而保留“谁在何种假设下、通过何种推导或外部工具确立该主张”的记录。

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

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