OpenAI开源Lean证明证书

OpenAI新建热门仓库ten-proofs，提供数学与理论计算机科学证明配套的Lean证书。项目获409星，显示形式化证明与AI数学推理方向持续受关注。

事件进展（1 篇报道）

1. 2026-08-04 00:12
   GitHub 热门新项目 openai/ten-proofs — Lean certificates accompanying proofs in mathematics and theoretical computer sc

← 返回首页