722份手稿372个成果族17个分支：OpenAI亮出数学科研硬实力
10月7日，OpenAI交出了一份沉甸甸的前沿数学研究成绩单：依托内部未公开的前沿模型，团队累计产出722份数学手稿，覆盖372个数学成果族（所谓“成果族”，指的是围绕特定数学方向形成的一组关联结论，包含主定理、推论、特例与延伸问题，具备完整的研究体系性），其中部分证明已完成Lean语言的形式化验证。
一边是成体系的数学成果集中披露，一边是核心模型秘而不宣，这波操作，展示了AI辅助数学研究的新突破，也透着OpenAI清晰的技术布局逻辑。
一、从“做题”到“造成果”：AI数学能力的量级跃迁
在大众的认知里，AI做数学还停留在“解竞赛题”“刷IMO真题”的阶段——本质上是求解已有标准答案的题目，考验的是模型的解题技巧。而这次OpenAI披露的成果，已经跨过了“解题”的门槛，走到了“产出研究级结论”的阶段。这意味着AI不再只是跟着题目的条件走，而是能在一个数学分支内成体系地探索、推导并产出新的结论。
这批成果的生成路径本身也具备规模化特征：团队先向模型输入了约4000个开放研究问题，再按研究重要性、结论完整性筛选出372组核心成果，最终整理为722份手稿。据OpenAI披露，平均每个结果的推导，消耗约相当于3小时ChatGPT Pro思考的算力。
二、覆盖17个数学分支：完整领域分布与核心方向
根据OpenAI官方仓库的学科分类，372个结果家族完整覆盖17个数学与交叉科学方向，并非单点突破，而是呈现全面开花的态势。从最抽象的数理逻辑到偏向工程应用的偏微分方程，模型的能力覆盖了现代数学的绝大多数主干分支，完整分布如下：
| 领域 | 结果家族数量 | 核心研究方向 |
|---|---|---|
| 理论计算机科学 | 40 | 计算复杂性、近似算法下界、图着色复杂度、矩阵乘法算法、去随机化 |
| 组合数学 | 37 | 极值组合、拉姆齐理论、离散几何、图论猜想、组合不等式 |
| 代数与复几何 | 36 | 代数几何、霍奇理论、复分析、阿贝尔簇、曲面模空间 |
| 数论 | 31 | 解析数论、丢番图逼近、黎曼ζ函数零点、希尔伯特第十问题、超越数论 |
| 微分几何 | 29 | 黎曼几何、辛几何、标量曲率不等式、流形浸入、闭测地线问题 |
| 概率与统计力学 | 29 | 自旋玻璃模型、渗流理论、随机场、统计物理相变、随机图 |
| 数学物理 | 25 | 相对论流体方程、量子海森堡模型、安德森局域化、玻色-爱因斯坦凝聚 |
| 算子代数 | 19 | 冯·诺依曼代数、C*代数、因子同构问题、非交换几何 |
| 代数学 | 18 | 交换代数、同调代数、群环零因子、表示论、不变量理论 |
| 拓扑学 | 18 | 代数拓扑、几何拓扑、流形嵌入、同伦猜想、纽结理论 |
| 实分析与复分析 | 16 | 调和分析、挂谷猜想、复动力系统、函数不等式、拟共形映射 |
| 偏微分方程 | 16 | 纳维-斯托克斯方程、Vlasov-Maxwell系统、色散方程、正则性问题 |
| 凸几何与度量几何 | 15 | 凸体几何、Mahler猜想、度量嵌入、几何不等式、填充问题 |
| 群论 | 14 | 几何群论、有限群表示、群代数结构、拟等距刚性 |
| 动力系统与遍历理论 | 12 | 哈密顿系统、遍历性、台球问题、熵猜想、反应网络 |
| 泛函分析 | 11 | 巴拿赫空间理论、算子理论、度量熵、凸分析、逼近论 |
| 数理逻辑 | 6 | 可计算性理论、集合论、模型论、证明复杂度、图灵度刚性 |
其中成果数量超过25个的六大核心领域，贡献了超过六成的结果家族，也是本次突破性成果最集中的方向。
