OpenAI 数学成果在 2026 年 10 月 6 日被正式公开：OpenAI 在官网发布说明，并把成果放进 GitHub 仓库 openai/math。这批手稿由一个尚未对外发布的内部前沿模型产出，不是已上线产品的一次普通更新，读者首先要分清这一点。
722篇手稿，372个结果族
按仓库自述，这批收藏包含 722 篇手稿，归入 372 个结果族，一个结果族里可以有主结果、配套论证、推论或不同证明。模型在评测中被问了约 4000 道开放研究问题，绝大多数结果用同一套流程产出，平均每个结果消耗约相当于 3 小时 ChatGPT Pro 思考的计算量。仓库同时放出总览文件、手稿目录和 10 份精简过的推理摘要，方便外部按图索骥，而不是只甩出一个总数。
发布前先问了数学界，核验进度写在明处
OpenAI 表示，为决定如何与数学界分享这类成果，它咨询了普林斯顿高等研究院一侧的数学与人工智能独立顾问组，并按其建议和公开建议来安排发布方式。核验方面，部分手稿已经有 Lean 形式化版本，可以交给计算机检查证明步骤；但仓库同样明确提醒，并非所有手稿都已形式化，未形式化的结果可能存在问题，发现后会尽快修正，后续也会随形式化推进持续更新。
该怎么看这批成果
对研究者，这批材料的价值在于可直接下载、引用和挑错，每篇手稿目录里都带引用信息，发布历史也会保留，修订以新版本记录。对普通读者，需要守住一条边界：在同行评议和更广泛形式化完成之前，把它理解为一家实验室公开的一批待核验产出，而不是已经被数学界确认的定论。接下来值得盯的是 Lean 覆盖率的增长速度、外部数学家复核后出现的修正记录，以及 OpenAI 承诺的研讨会与披露标准更新是否落地。
