公开知识图谱记录
Lean
记录摘要
交互式定理证明器，用于将数学论证形式化并验证其正确性。
来自项目知识图谱的有来源实体；具体工具属性仍需补齐。
资料覆盖
知识图谱当前记录了 6 个已知资料维度，另有 13 个维度尚未记录，关联 6 篇公开资料。这些数字只描述资料覆盖，不代表模型性能或适配性已经验证。
相关公开记录
- internal OpenAI system — 采用
- 形式化数学证明 — 支持
- 局部平滑猜想 — 采用
- 指数时间假设的反驳 — 评测于
- Astra — 集成
—
—
———
已记录
还没被证明
空白项不是负面结论，只表示公开记录还不足以判断。
来源与关系
—有具体观察？
可以把补充、错配或待核验信息留在这个实体的公开讨论里。留言不会改写知识图谱。