AI十天内连破黎曼猜想？人类数学家连夜反击

不到十天，数学界经历了一场过山车。10月6日，OpenAI宣称AI证明了准黎曼假设。数学家Alex Kontororvin表示，若有人做到这一点，肯定能立刻获得菲尔茨奖，并补充无Siegel零点或可算“两个菲尔兹奖”。数论学家Hector Pasten对OpenAI排除Landau–Siegel零点的结果表示惊叹，强调这是“解决了问题”而非仅是进展。有网友让Claude Fable 5.5解释OpenAI的199页证明，评价称这是有史以来第一个没有零点的固定区间，虽非黎曼假设本身，但若成立就是目前最接近的结论。

仅6天后，10月12日，预印本平台Hexagon上出现人类数学家Cureton与Thorner的新论文。他们将AI打磨出的工具套用于更广阔的有限阶Hecke L函数，得出所有有限阶Hecke L函数在“1-1/6000”右侧绝对没有零点。随后全球开源社区展开极限压榨，将常数从1/1000、1/500、1/100一路缩小，最终把“零点自由区”边界钉在1/32，安全区放大约上百倍。相关证明由数学智能体AxiomProver生成形式化Lean证明，并在GitHub开源，机器逻辑确认了1/32边界。

最终，arXiv上一篇由Frei、Somos与Widmer共同署名的论文，利用最新无零点区域结果，无条件证明了2007年Ellenberg–Venkatesh关于数域类群ℓ-挠的界。该界此前必须建立在广义黎曼猜想成立的前提下，19年来无人能抽掉这根拐杖。如今不再需要假设，空中楼阁落地。论文末尾，三位作者声明：这项工作中没有使用任何人工智能工具。