OpenAI 甩出 722 篇数学手稿：未验证，未审稿，直接上 GitHub
数学圈和 AI 圈同时炸了，OpenAI 甩出 722 篇数学手稿
今天数学圈和 AI 圈同时炸了。炸的原因不是哪个模型在 benchmark 上又涨了几个点，而是 OpenAI 干了一件完全不在学术礼仪内的事：没有预告，没有同行评审，直接甩出一个 GitHub 仓库（https://github.com/openai/math/），里面躺着 722 篇数学手稿，覆盖 372 个此前悬而未决的顶级难题家族。
先说最要命的那条：OpenAI 一个未发布的内部模型，据称证明了准黎曼猜想，还同步发布了 Lean 形式化验证。如果最终被证实，这是数论领域半个世纪以来最大的突破——它把狄利克雷 L 函数的无零点区域推进到了实部 ℜs > 7/8 的固定常数界，还顺带消灭了「朗道-西格尔零点」这个困扰学界多年的幽灵。OpenAI 在 GitHub 说明里也坦承，绝大多数证明是模型全自动跑的，唯独黎曼 Zeta 函数无零点这块，他们做了严密的人工审查和可读性润色。换句话说，这条他们自己心里清楚分量。
另一个让理论计算机圈坐不住的是 Result 102：AI 首次在完全脱离「唯一游戏猜想」（UGC）的前提下，纯粹基于 P≠NP，确立了「基本半定阈值」下问题的普通 NP-困难性。这在算法理论里意味着什么？过去二十年，学界想证明"任何超过 Basic-SDP 表现的近似算法都不存在"这类结论，都得先假设 UGC 成立，而 UGC 本身又是一个 2002 年就提出的世纪难题——地基不稳，楼就悬着。这次 AI 直接把 UGC 这个前提绕掉了，等于把人类有效近似算法的理论边界一次性锁死。这一步有多重，常年在近似算法里摸爬滚打的人应该能立刻反应过来。
霍奇猜想那边也撕开了一个口子：AI 证明了复数域上具有复乘（CM）的阿贝尔簇在所有维度和余维度上的「有理霍奇猜想」，这是千禧年难题之一。OpenAI 官方特别说明，这一项属于打破常规流程的重点突破，不是标准模型自动跑出来的，显然又是人工介入很深的一条。此外还有乘法函数的普通两点 Chowla 猜想（Result 007），以及凸几何里数十年未解的对称与一般马勒猜想（Result 087），后者在所有维度上同时解决了对称和非对称两种情况。
学界为什么愤怒
说回这件事最让学界愤怒的部分。据《连线》披露，早在今年 8 月，OpenAI 就秘密召集了 40 位全球顶级数学家闭门开会，抛出「如果 AI 在纯数学领域全面超越人类，我们该如何应对」的议题，当时隐晦透露内部模型已突破上百个悬案。西北大学数学家 Bryna Kra 回忆现场气氛是「极致的兴奋与极致的恐惧并存」。学者们当时苦苦劝告 OpenAI，要按学术规范发严谨论文，给人类学者留出消化和验证的时间。结果这次 OpenAI 的回应，是直接甩仓库、放 GitHub、发一条奥特曼的 X 帖子。纽约大学客座教授 Nestor Guillen 的用词很重：在数学家眼里，这些 AI 巨头的行径简直像黑帮。
我得先说清楚我的立场：这 722 篇手稿，绝大多数尚未经过独立验证。材料里明确说了，这是"未经同行评审"的发布，准黎曼猜想写的是"如果经过证实"才算是历史性突破。所以别急着把这当成板上钉钉的数学史，现在连"它到底对了几道"都还没有独立第三方核对过。但真正值得焦虑的，可能不是某道题对不对，而是那个工作量数字——OpenAI 披露，绝大多数证明只花了他们内部模型平均 3 小时的 ChatGPT Pro 思考算力。一天 8 小时，能跑出两道半千年难题；一年下来，这个产出速度人类整个数学界加在一起都接不住。
OpenAI 研究员、北大数学校友苏炜杰（考普斯会长奖得主）的说法是，这像人类对智能的理解迎来哥白尼式的范式转变。这话很重，但放在"模型平均 3 小时产出一个世纪难题证明"的背景下，也不算夸张。更戳心的是材料里提到，部分 OpenAI 工程师私下有共识：「古典数学在今天已经死了」。这个说法我持保留态度——数学没死，死的是"靠人慢慢啃"的节奏，和"审稿周期按年算"的流程。
验证体系怎么跟上
我现在最关心的不是"AI 会不会取代数学家"，而是验证体系怎么跟上。一个模型 3 小时产出的证明，人类验证团队要多久？如果一个世纪难题的证明，验证它的时间比证明它的时间长两个数量级，那这个发布流程本身就值得整个学术共同体重新设计。数学界确实像 Bryna Kra 说的那样，必须适应、被改变运作方式，但"适应"的前提是先把一个公平、可核验的规则定下来。
这 100 多项悬案的答案，此刻就以数据流的形式躺在 GitHub 里。今夜数学界注定无人入眠，但希望他们别只是愤怒，而是把愤怒转化成一套新的验证规则——否则下一批 700 多篇手稿落地时，我们连个能核对它们的地方都没有。
相关链接
- https://github.com/openai/math/
- https://github.com/openai/math/blob/main/overview.pdf
- https://github.com/openai/math/blob/main/reasoning_traces/basic-semidefinite-threshold-np-hardness.pdf
- https://github.com/openai/math/blob/main/reasoning_traces/ordinary-two-point-correlations.pdf
- https://github.com/openai/math/blob/main/preprints/The-symmetric-Mahler-conjecture-and-its-equality-cases-September-22-2026/paper.pdf