一夜之间，整个纯数学与理论计算机圈子，陷入巨大震动与激烈争论。 没有提前预告，没有走传统学术期刊投稿流程，OpenAI 直接在 GitHub 公开重磅仓库 openai/math ，一口气放出 722 篇数学手稿，覆盖 372 个长期悬而未决的重大数学问题家族。 (项目文档/论文链接1） 其中最重磅成果：内部 AI 模型给出 准黎曼猜想 证明 ，并附带 Lean 形式化验证。 一旦论证通过同行核验，这不只是数论的历史性飞跃，更是人工智能科学发现能力的里程碑事件。 OpenAI 披露，这批重大难题的证明工作，由未对外发布的自研模型独立完成，单份成果平均仅消耗约 3 小时 ChatGPT Pro 级别的算力。 奥特曼在 X 平台发文感慨：人类正式踏入全新的科学发现纪元。 消息一出，褒贬两极，不少顶尖数学家直言难以接受。 这场震撼全网的 AI 数学成果大爆发，背后，OpenAI 和全球数学家之间早已暗流涌动。 根据《连线》杂志报道，早在今年 8 月，OpenAI 就秘密邀约 40 位国际顶尖数学家闭门座谈。会上抛出直击灵魂的议题： 倘若 AI 在纯数学研究上全面超越人类，学术界该如何应对？ 彼时 OpenAI 就隐晦透露，内部模型已经攻克上百个遗留多年的数学悬案。 西北大学数学家 Bryna Kra 回忆那场闭门会议：现场交织着难以抑制的激动，和挥之不去的恐惧。 参会学者曾恳切劝告 OpenAI：不要像网红一样，仅凭社交平台简短官宣，应当遵循学术惯例，完整刊发严谨论文，留给学界充足时间审阅、推演、验证。 可如今 OpenAI 选择直接批量公开手稿，跳过传统发表流程，甚至抢先完成纳维 - 斯托克斯方程相关突破，被不少学者指责 “学术截胡”。 纽约大学客座教授 Nestor Guillen 公开表达强烈不满：在数学家眼中，科技巨头这类操作近乎霸道。大家恐慌的根源不止 AI 本身，而是人类最高阶的智慧探索权，正在被少数科技企业寡头掌握。 有 OpenAI 内部工程师私下提出观点：古典数学的时代已然落幕，AI 势不可挡，或将改写绝大多数职业数学家的研究范式。 北大数院校友、考普斯会长奖得主、OpenAI 研究员苏炜杰评价：这代表人类对 “智能” 的理解，迎来如同哥白尼革命一般的范式巨变。 核爆级成果①： 准黎曼猜想获证明，朗道 - 西格尔零点被排除 在整套成果库中，编号 Result 003 的结论，直接撼动数论根基，距离黎曼猜想这座数学圣杯跨出巨大一步。 黎曼猜想，被誉为数学皇冠上最璀璨的明珠。现代数论中成百上千条定理，都建立在假设黎曼猜想成立的基础之上。猜想提出：ζ(s) 所有非平凡零点，全部落在实部ℜs=1/2 的临界直线上。160 多年来，人类一直无法大范围排除临界带外侧的零点。 而数论里还有一个百年 “幽灵”—— 朗道 - 西格尔零点。狄利克雷 L 函数有可能在靠近实轴 1 的位置出现异常零点，长久困住素数分布相关研究。 这份 AI 手稿证明了 准黎曼猜想 ：所有狄利克雷 L 函数，在实部ℜs>7/8 的整个半平面内不存在零点，直接根除朗道 - 西格尔零点！ OpenAI 在 GitHub 文档说明：大部分结论由模型全自动生成；唯独黎曼 ζ 函数无零点区域的这份成果，研究团队进行了深度人工核查与文字优化。 虽然还没有抵达终极目标ℜs=1/2，但一次性拿到 7/8、11/12 两组固定常数无零点边界，并且统一排除西格尔零点，是解析数论近半个世纪都未曾出现的巨大突破。 核爆级成果②： 理论计算机里程碑，解开 Basic-SDP 的 NP-Hard 难题 如果 P vs NP 是理论计算机的终极王冠，那「基本半定阈值下普通 NP 困难问题」，就是决定算法极限的无冕之王。也就是本次 Result 102 号成果。 (项目文档/论文链接2） 什么是 NP-Hard？芯片布线、物流调度、航线规划、图着色等大量现实优化问题，全都属于这类问题。多项式时间里很难算出最优解，只能寻找近似方案。而 Basic-SDP（基础半定规划松弛），是目前近似求解最强工具。 2008 年 Prasad Raghavendra 提出经典结论：对任意有限约束 Max-CSP 问题，Basic-SDP 能达到的近似比，就是多项式算法的理论上限。 (项目文档/论文链接3） 但这个伟大结论有个前提： 唯一游戏猜想 UGC 必须成立 。 UGC 是 Subhash Khot2002 年提出的世纪难题。一旦 UGC 不成立，Raghavendra 整套理论就会崩塌，成为近 20 年理论计算机界最大隐患。 二十年来，无数学者梦寐以求：能不能抛弃 UGC 假设，仅仅依靠经典 P≠NP，无条件证明 Basic-SDP 阈值间隙本身就是 NP 困难？ 一旦证明成立，就意味着：在 P≠N