OpenAI 宣称 AI 证明准黎曼假设后,人类数学家两周内连破多项难题

新智元 · wechat · 2026-10-18

OpenAI 于 10 月 6 日宣称其 AI 证明了准黎曼假设(排除 Landau–Siegel 零点,199 页证明),数论学家 Hector Pasten 等学者给出高度评价,数学圈一度引发"人类数学家价值"的恐慌。但随后数天内,人类数学家借力反击,捷报连连:

10 月 12 日,Cureton 与 Thorner 在 Hexagon 预印本平台发文,把 AI 打磨出的工具套用到更复杂的对象上,证明所有有限阶 Hecke L 函数在「1-1/6000」右侧无零点;
随后一场全球开源协作将这个"零点自由区"边界极限压榨至 1/32,并由数学智能体 AxiomProver 生成形式化 Lean 证明,在 GitHub 上完成机器验证;
Frei、Somos 与 Widmer 在 arXiv 发文,利用 1/32 无零点区域作为底座,无条件证明了 2007 年 Ellenberg–Venkatesh 关于数域类群 ℓ-挠的界限——该结果此前必须假设广义黎曼猜想(GRH)成立,悬置 19 年。此外 Burgisser 还证明了复数域上 VP≠VNP(Valiant 猜想)。

最有戏剧性的是,三位作者在论文末尾特别声明:这项工作中没有使用任何人工智能工具。

「模型」频道最新