总览 | OpenAI 数学证明合集（openai/math）是什么、怎么读

数据源：github.com/openai/math（Apache-2.0，2026-10-06 发布）　·　配套公告：Sharing AI progress in mathematics　·　本目录：722 篇手稿的中文逐篇解读

一句话结论

OpenAI 把它内部前沿模型（未公开发布）独立产出的 722 篇数学证明/反例手稿按 372 个结果族整理公开，其中 162 篇主结果已有 Lean 形式化证明，其余处于不同核验阶段；本目录对每一篇手稿提供一篇中文解读。

这个合集里有什么

学科	结果族	手稿	已形式化
概率与统计物理	29	105	11
代数与复几何	36	89	7
理论计算机科学	40	73	29
数学物理	25	59	7
数论	31	58	7
组合数学	37	50	19
微分几何	29	49	11
算子代数	19	31	6
凸与度量几何	15	30	13
代数	18	29	10
偏微分方程	16	29	3
实与复分析	16	26	7
拓扑	18	26	1
群论	14	22	8
动力系统与遍历论	12	19	2
泛函分析	11	19	16
数理逻辑	6	8	5
合计	372	722	162

仓库结构：

preprints/：722 篇手稿，每篇含 paper.pdf、LaTeX 源码（build/）与引用/编译说明；
lean/：Lean 形式化库与 formalization.yaml 目录（162 篇主结果的机器验证证明，随时间继续增加）；
reasoning_traces/：10 个重点结果的模型推理过程摘要（族 007、017、087、102、159、197、221、271、287、362，包括 π 的无理性指数、Mahler 猜想、NP 难度阈值等）；
CONTENTS.md / overview.pdf：官方手稿地图与总览。

这些证明是怎么来的

按官方说明：作为模型评测的扩展，OpenAI 向内部前沿模型提出了约 4000 个未解决的研究级问题，模型每个结果平均消耗约 3 小时”ChatGPT Pro 思考量”独立完成证明，最终整理出 722 篇成文手稿。手稿日期高度集中——仅 2026 年 9 月 23–27 日五天就有 520 篇，10 月 4–5 日又集中产出约 137 篇——这印证了它们是模型批量产出的评测副产品，而非人工选题研究的成果。

结果族（family）是理解这个合集的关键单位：同一族的若干手稿可能是主结果、配套引理、替代证明或推论，彼此互相支撑。因此每篇解读的元信息行都标注了所属结果族。

可信度：怎么看待这些”证明”

必须分三档来看：

已 Lean 形式化（162 篇）：主结果被翻译成 Lean 并通过类型检查器验证，正确性有机器保证（形式化过程本身仍可能陈述有偏差，但可信度最高）。
未形式化（560 篇）：只有模型的自然语言证明。OpenAI 在 README 里明确声明：“Some of the unformalized results could have issues.”（部分未形式化的结果可能有问题），并承诺发现即修。历史教训不远：2025 年 10 月 OpenAI 副总裁 Kevin Weil 曾发推称 GPT-5”解决了 10 个未解决的 Erdős 问题”，几天后撤回——那些”解”其实是模型复述了已知结果。这次发布正是那次翻车后”拿实物说话”的做法：把完整手稿和源码交出去，让数学界逐篇核验。
部分结果的争议：官方公告同时宣传了”推翻离散几何中 80 年的单位距离问题相关猜想”等重磅头条，这类”反例型”结果一旦成立影响巨大，恰恰也最需要独立复核；截至发布时已有第三方审计工作（如 arXiv 上对这批手稿的人工审计论文）在进行，社区核验仍在早期。

简言之：这是一个”待验证的矿”而非”已证实的定理表”。每篇解读的”可信度与备注”小节都会标注该篇的验证状态。

硬核结果速览（举例）

以下均为模型自称证明/推翻、且部分尚未形式化的结果，详情见对应族解读：

002 族：从低 Selmer 秩出发证明椭圆曲线完整 BSD 公式（含 Sha 有限性），密度一的双二次扭曲全 BSD；
193 族：Serre 交重数猜想（含分岔混合特征的正面性）；
254 族：Artin 群 @@M@@K(\pi,1)@@ 猜想与抛物子群交猜想；
338 族：Yau 一致化猜想（正全纯双截面曲率的完备非紧 Kähler 流形 @@M@@\cong \mathbb C^n@@）；
339 族：负曲率流形的 Katok 熵刚性猜想；
340 族：构造 nearby Lagrangian 猜想的反例；
001/032 族：Milne 有理性猜想与霍奇类的代数特化；
数论侧还有 Quasi-Riemann Hypothesis、排除 Landau–Siegel 零点等名字惊人的手稿（族 003 附近），核验状态请以各篇解读标注为准。

怎么使用本目录

README.md：总索引，按 17 个学科 → 372 个结果族 → 722 篇解读逐篇列出（含形式化状态与一句话结论）。
每篇解读的结构固定为：一句话结论 → 问题背景 → 主要结果 → 证明思路 → 可信度与备注，全文 900–1600 字，面向有本科数学基础的读者，专业名词首次出现附英文。
解读忠实转述论文自述内容，不代表解读 AI 或任何人对数学正确性的背书；引用或使用前请回到 preprints/ 原文与 Lean 形式化状态核对。