刚刚，OpenAI甩出722篇数学论文！准黎曼猜想也来了，奥特曼要让数学家「瘫坐」- 大数跨境

APPSO

2026-10-07

导读：数学大爆炸，陶哲轩怎么看

OpenAI 近日在 GitHub 开源了由内部未发布模型生成的数学研究成果，共计 722 篇手稿，归为 372 组。这一举动被视为 AI 辅助基础科学研究的重要里程碑。

核心成果概览

规模与结构：722 篇手稿归纳为 372 组成果。每组包含主结果、配套论证、推论及不同证明路径，并非 722 个独立难题的解答。

关键课题：涉及准黎曼猜想、唯一博弈猜想、霍奇猜想特殊情形以及自由群因子问题等前沿领域。

验证状态：部分结果附带 Lean 形式化材料，但公开不代表已通过学界全面审查。

算力投入：每项结果平均消耗约相当于三小时 ChatGPT Pro 思考的算力。

OpenAI CEO 山姆·奥特曼表示：“我们正在进入一个发现的新时代。”

罗格斯大学数学教授 Alex Kontorovich 对此评价极高，认为若由人类完成将直接获得菲尔兹奖。

黎曼猜想关注非平凡零点是否均落在实部为 1/2 的直线上。此次 OpenAI 的手稿证明：在实部大于 7/8 的区域不存在零点。相较于过去随虚部升高而收窄的无零点区域，该成果划定了一条宽度固定、无限延伸的“零点禁区”，并提供了相关 Lean 形式化材料。

论文宣称证明了唯一博弈猜想，明确了 Max-Cut 等问题的近似难度界限。若成立，在 P≠NP 前提下，高效算法在一般输入上的最坏情况近似保证将无法突破相应界限。

霍奇猜想（CM 阿贝尔簇情形）：针对这一千禧年大奖难题的特殊重要类别进行了处理，但完整猜想尚未解决，且暂未列出配套 Lean 形式化。

自由群因子问题：证明了从不同数量生成元出发构建的算子代数结构在特定参数下可以完全对应，范围覆盖所有参数大于 1 的插值自由群因子，并提供 Lean 形式化材料。

在 722 篇手稿中，162 篇的主结论附有 Lean 形式化材料。形式化通过将命题和证明转化为代码，由计算机严格核对逻辑规则，避免了自然语言中“显然成立”的模糊性。

康奈尔大学 Daniel Halpern-Leistner 指出，随着自然语言论证的大量涌现，自动形式化工具的开发变得紧迫。但他也强调，机器验证的前提是定义准确，且形式化范围可能无法覆盖论文的所有推论和应用。

准黎曼成果的形式化范围说明

此次发布前，OpenAI 与数学界经历了数月的磨合。8 月，OpenAI 暗示模型已解出数百道题，但未立即公开，引发信任危机。9 月，陶哲轩等 25 位菲尔兹奖得主发表公开信，批评 AI 公司忽视理解过程、引用规范及人才培养，担忧答案过快产出会破坏学术生态。

随后成立的独立咨询小组 AGMAI 建议完善引用、公开论文至学术存档平台，并资助人类研究者消化成果。OpenAI 此次行动部分回应了这些建议：设置修订规范、公开推理摘要、承诺资助研讨会，但仍使用未公开的专有模型进行研发。

AGMAI 强调，提供建议不代表认可成果的产生过程。目前最大的痛点在于工具的不平等：研究者只能下载答案，却无法使用同一模型验证自己的问题。若数学家沦为消化 AI 选题的“助理”，而非主导研究的主角，这将违背科研助手的初衷。

【声明】内容源于网络

APPSO

AI第一新媒体，「超级个体」的灵感指南。 #AIGC #智能设备 #独特应用 #Generative Al

内容 15798

粉丝 0

APPSO AI第一新媒体，「超级个体」的灵感指南。 #AIGC #智能设备 #独特应用 #Generative Al

总阅读487.6k

粉丝0

内容15.8k