Crab Research

Proof Engine

数学研究计划

旗舰研究计划探索如何用 AI 可靠地开展数学研究。独立论文涵盖计算机科学、经济学、伦理与治理。

两种互补框架。Proof Engine 1.0：围绕命题、证明与证据组织证明开发。Proof Engine 2.0：围绕问题、已有工作与目标组织研究治理。

1.0/证明开发

命题、证据与依赖关系

构造、验证并连接数学结果。

2.0/研究治理

问题、贡献与不断调整的目标

组织探索、追踪贡献并调整研究方向。
研究纲领与方法论
数学结果论文
16
仅依赖基础公理的证明（Kernel-Only）全部定理依赖均经检查
9
公开方法框架 Proof Engine 1.0 与 2.0
2

同行评审成果

已发表与已录用

最新数学案例

全部数学结果（16）