OpenAI 一次放出 372 族数学成果：722 篇手稿，含 Lean 形式化
OpenAI 10 月 6 日在官网发布一批由内部前沿模型产出的数学成果，并放到 GitHub 仓库 openai/math。仓库自述收录的是「内部模型产出的数学手稿与证明工件」，当前共 722 篇手稿、整理为 372 个成果族——一个族包含主结果、配套论证、推论或替代证明，按数学分支分类。发布当天这个仓库已有约 2000 星。
方向集中在矩阵乘法、Hodge 猜想与整数乘法等：仓库内有《Complex Matrix Multiplication Below 2.258》《Integer multiplication below n log n》《The rational Hodge conjecture for products of K3 surfaces》等手稿，文件名自带 9 月 23 日至 10 月 5 日的日期。仓库说明这批结果处于不同验证阶段，并非都有 Lean 形式化，「部分未形式化的结果可能有问题」。据《科学美国人》转述，372 个结果几乎全部来自交给单个智能体的单个提示，部分经过多次尝试。
OpenAI 把发布方式本身也当成重点：除论文外一并公开形式化证明，并附 10 份模型推理摘要、按 ChatGPT Pro 用量折算的算力估计与尝试题数统计，平均每个结果约等于 3 小时 ChatGPT Pro 思考。官方称本次发布参考了普林斯顿高等研究院「数学与 AI 顾问组」的最佳实践建议——本站 9 月 30 日收过该组首份建议——并将资助研讨会与特别项目，同时表示正在「负责任地释出」产出这些结果的模型。
核验记录
官方页 openai.com/index/sharing-ai-progress-in-mathematics/ 本机直读 403（属通路层，R45），改走 Wayback 快照 web.archive.org/web/2026id_/…（366,178 字节）读到全文，页内可见日期 October 6, 2026、署名 OpenAI、类型 Publication；archive.ph/newest/ 同一 URL 亦 200，页首存档时间与可见日期同日。仓库侧用 GitHub API 直读：openai/math created_at 2026-10-06T21:47:02Z、pushed_at 2026-10-06T22:01:11Z、stargazers 2,025；preprints 目录 722 个条目（逐个数过），README 原文「The current catalogue contains 722 manuscripts organized into 372 families」，并自述部分结果未形式化、可能有问题。2.258 与 9/4 两条取自仓库内实际文件名（Complex-Matrix-Multiplication-Below-2.258…、Matrix-Multiplication-Nine-Fourths-October-2-2026）。「几乎全部来自单个提示」与 372 族数字来自《科学美国人》Joseph Howlett 的报道（经 Techmeme 261006/p42、p46 转引），我未直读该刊原文。中文线 IT之家 10-07 07:42 同报。配图取官方 og:image（ctfassets），裸请求与带站内 Referer 双 200、1,565,356 字节 PNG。