OpenAI 发布 722 篇前沿模型数学手稿，含 Lean 证明与推理摘要
2026.10.06 · 事件 · 成果发布 · 官方发布
仓库收录 722 篇手稿、372 个结果族，约 4000 道题。
OpenAI 发布内部前沿模型产出的数学成果，GitHub 仓库收录 722 篇手稿、归入 372 个结果族，部分附 Lean 形式化证明，未形式化结果可能存在问题。评估中模型被提出约 4000 道问题，平均每项结果约等于三小时 ChatGPT Pro 思考算力，并公开 10 份推理摘要。
- 仓库收录 722 篇手稿，归入 372 个结果族
- 结果族按学科分类，含主结果与配套论证
- 并非所有手稿都有 Lean 形式化证明
- 评估中模型被提出约 4000 道问题
- 公开 10 份推理摘要，覆盖多个数学主题
为什么值得看
补充手稿数量、结果族、题目数与推理摘要主题等可核实细节。
适合谁关注
OpenAI 与高等研究院数学与 AI 咨询小组