重磅！OpenAI之后，AI再破广义黎曼猜想
Burgisser 证明了 Valiant 的猜想：在复数域上，VP ！= VNP
No artificial intelligence tools were used in this work.
10月6日，OpenAI没有灵光一闪，没有顿悟，他们的AI像一台超级推土机，暴力证明了准黎曼猜想。
数论学家Hector Pasten 对 OpenAI 排除 Landau–Siegel 零点的结果明确表示惊叹，并强调这是「解决了问题」而非仅是进展。
有网友让 Claude Fable 5.5解释 OpenAI 的 199 页的准黎曼猜想的证明，评价很高：
他们把AI打磨出的工具，直接套用在了一个更广阔、更复杂的数学对象上—— 有限阶Hecke L函数 。
Cureton和Thorner利用AI给出的准黎曼突破，一记重锤，砸出了一个惊人的结果：
链接：https://hexagonmath.org/pdf/2610.00200v1
以前，这片海域大雾弥漫，航船寸步难行。现在，两位数学家借着AI的雷达，强行划出了一片「安全区」。
最终，整个社区将这片「零点自由区」的安全边界，死死钉在了一个极其夸张的数字上： 1/32 。
相关证明由数学智能体 AxiomProver生成了形式化 Lean证明，在开源Github 上。
https://github.com/AxiomMath/DedekindZetaZeroFree
arXiv预印本平台上，一篇由Frei、Somos与Widmer共同署名的重磅论文横空出世。
2007年，两位数学大佬给出了数域类群ℓ-挠（ℓ-torsion）的一个极其完美的界限。
19年来，无数顶尖学者试图抽掉这根拐杖，让证明自己站起来。全部失败。因为没有工具。因为底层的岩石还没被挖出来。
他们将最新的无零点区域结果，雷霆万钧地砸入旧方程。曾经断裂的逻辑链条，在强大的新理论支撑下，瞬间咬合！
推导。化简。绝杀。结论耀眼夺目： 2007年Ellenberg–Venkatesh关于数域类群ℓ-挠界，被无条件证明。
在宣告这19年难题终结的篇末，Frei、Somos与Widmer没有长篇大论的感慨，没有对AI的谄媚。
https://hexagonmath.org/pdf/2610.00200v2