正在自动登录…
← 返回项目列表openai/
openai/
该仓库包含由内部OpenAI模型生成的数学手稿及配套证明工件，用于模型评估，并附带Lean形式化证明和推理摘要。 仓库收录719篇手稿，分为372个家族，按数学学科分类，并提供概述、目录、预印本和Lean形式化目录。 仓库发布模型推理的摘要，覆盖多个数学结果，并说明生成过程、版本和引用方式。
AI 中文解读 · 根据仓库描述与 README 生成 · 2026/10/10 15:10:51 · 查看原文
- 累计 Stars
- 13,804
- 当前热度
- 1～7 天 · 爆款
- 仓库创建时间
README
正在加载 README…
收录信息
- 仓库创建时间
- 2026/10/7 05:47:02
- 首次达标收录
- 2026/10/9 11:44:24
- 统计更新时间
- 2026/10/11 15:45:35
按创建时长与累计 Stars 判断等级。首次达标收录后，即使未达当前门槛仍保留；累计 Stars 和仓库状态会定期更新。
模型评估
普通加权总分 3.7 / 5
由 Jev 模型根据仓库描述与 README 评估，2026/10/10 13:53:13 生成。评分仅供参考，不是代码、安全或许可证审查；热度等级另按创建时长与累计 Stars 计算。
仓库信息
- 最近推送
- 2026/10/8 13:20:00
- 许可证标识
- Apache-2.0
- Fork 数
- 1,529
- 当前状态
- 未归档
收录记录
按创建时长与累计 Stars 首次收录：爆款
首次发现项目