OpenAI 公开未发布内部模型产出的 722 篇数学手稿

摘要

OpenAI 在 2026 年 10 月 6 日的研究文章中宣布，将一个尚未发布的内部前沿模型产出的数学成果公开：openai/math 仓库以 Apache-2.0 许可发布 722 篇手稿，归入 372 个家族，并附 Lean 形式化证明与模型推理摘要。README 称绝大多数结果由同一套流程产生，评估过程中模型被给出约 4,000 道问题，平均成果所用算力约相当于三小时 ChatGPT Pro 的思考。并非所有手稿都配有 Lean 形式化，README 提醒部分未形式化结果可能存在问题，OpenAI 表示会尽快修正并保留公开发布历史。