openai / math

OpenAI 模型生成的数学研究手稿与证明材料集合，部分附有 Lean 形式化证明；各结果的验证程度不同。

仓库 Star

17,358总榜 #2,706

Fork

1,962

最近推送

7 天前更新

仓库创建

2026 年创建