Eigenius 发布可验证科学知识基底的类型论基础论文
热点事件持续更新
Eigenius 发布可验证科学知识基底的类型论基础论文
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
Hans-Martin Will 在 arXiv 发布论文（arXiv:2611.15108），提出 Eigenius 这一面向可验证科学的知识底座的类型论与制度基础。论文称，Coq、Agda、Lean 4 等证明助手的判断性证明无关性（judgemental proof irrelevance）与可验证科学存储不相容。
AI 根据报道生成 · 2 小时前更新
最新进展11月14日 13:00
Eigenius：面向可验证科学的证明相关类型理论基础报道时间线
沿着报道，了解事件的不同侧面。
11月14日
- arXiv cs.AIEigenius：面向可验证科学的证明相关类型理论基础
arXiv 论文提出 Eigenius 可验证科学知识底座的类型论与制度基础，指出 Coq、Agda、Lean 4 等证明助手的判断性证明无关性 incompatible with 可验证科学存储。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。