主要证据
- The QED ManifestoS1 · 主要研究来源 · 社区来源 · 1994-05-15
QED Manifesto 提出共享机器检查数学知识库愿景
QED 是领域建构愿景而非单一软件发布，主张围绕共享形式数学知识开展广泛协作。
发生了什么？
1994 年 5 月 15 日的宣言提出 QED Project：建立表示重要数学知识与技术的计算机系统，内部采用严格形式表示并机械检查证明。
为什么重要？
该宣言预示了后来的大型形式数学库、互操作愿景以及在机器可读数学上训练和评测的 AI 系统。
重要性说明：QED Manifesto 提出把重要数学知识形式表示并机械检查全部证明的共同愿景，使形式化数学成为共同体规模的基础设施目标。
历史脉络
更早进展
—
后续进展
—
相关里程碑
—
证据与状态一览
- 重要性
- H2 · 领域里程碑
- 验证状态
- 论文已发布
- 证据等级
- E2 · 研究记录
- AI 角色
- 不适用
- 形式保障
- 无形式保障
贡献与验证
- 数学新颖性
- 不适用
- 接口
- 不适用
- AI 贡献
- 该节点属于共同体愿景与治理文献，不是 AI 系统执行数学任务。
- 人类贡献
- QED 社群提出共享形式数学知识基础设施的愿景。
- 验证状态
- 论文已发布 · E2 · 研究记录 · 无形式保障
- 最后审阅
- 2026-09-15
技术细节
- 系统
- —
- 机构
- —
- 数学问题
- —
- 方法
- —
全部来源与工件
- The QED ManifestoS1 · 主要研究来源 · 社区来源 · 访问于 2026-09-15
验证历史
- 1994-05-15 · 论文已发布 · E2 · 研究记录
带日期的宣言直接记录了 QED 项目及其目标。
更正
当前没有记录的更正。