短短数日之内，数学领域经历了剧烈的震荡！
10月6日，OpenAI宣布其AI系统已证实准黎曼假设。
数学家Alex Kontororvin直接表示：
若有人认可此项成果，此人无疑将立刻获得菲尔茨奖，这一点毫无争议！
他随后补充道，若不存在Siegel零点，或许可视为「两个菲尔兹奖」的成就。
其他学者也给出了正面反馈。
这如同硅基生命对人类的降维式冲击。
然而，有人并未退缩，也未离场。
如今，在AI的辅助之下，数学家已证明某种形式的广义黎曼猜想。
几天之内，好消息接连不断。
准黎曼猜想的结论带来了一个关键的计算复杂性成果：
Burgisser证实了Valiant的猜想：在复数域中，VP ！= VNP。
随后，三位人类数学家完成了最终绝杀，彻底攻克了一道悬而未决19年的经典难题。
他们还留下了一句声明：
这项工作中，没有使用任何人工智能工具。
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能看透如此底层的结构，人类数学家还有什么存在的意义？
恐慌在数学界扩散开来。
但真正的大师不会哀叹。既然道路已经打通，那就全力加速前进！
仅仅6天后，10月12日，预印本平台Hexagon上突然出现了一篇新论文。
作者是人类数学家Cureton与Thorner。
链接：https://hexagonmath.org/2610.00200v1
他们没有时间感伤，反而以极其犀利的眼光，做出了一个大胆的举动：平移。
他们将AI打磨出的工具直接应用于一个更广阔、更复杂的数学对象——有限阶Hecke L函数。
什么是L函数？它是黎曼Zeta函数的「终极进化版」。
在现代数论中，像费马大定理这样了不起的证明，几乎都离不开它。
Cureton与Thorner利用AI给出的准黎曼突破，一记重锤砸出一个惊人的结果：
所有有限阶Hecke L函数，在「1-1/6000」的右侧，绝对没有零点。
链接：https://hexagonmath.org/pdf/2610.00200v1
听不懂没关系。打个比方。
零点就像海里的暗礁。
以前，这片海域大雾弥漫，航船寸步难行。现在，两位数学家借助AI的雷达，强行划出了一片「安全区」。
在这个区域内，绝对没有暗礁。
安全区建立了。第一块领地，被人类夺了下来。
但好戏才刚刚开始。
1/6000出现的瞬间，全球数学极客的DNA动了。
这太小了。太保守了。
既然门框已经松动，为什么不连墙一起拆掉？
一场席卷全球的开源黑客马拉松瞬间引爆。
全世界最聪明的大脑通过网络连接，开始对这个常数进行极限压榨。
这是现代数学最热血的画面，一场群体绞杀开始了。
逻辑被无情精简。误差被剔骨削肉。边界被一次次向外推。
1/1000。1/500。1/100。
常数如自由落体般急剧缩小！
最终，整个社区将这片「零点自由区」的安全边界死死钉在了一个极其夸张的数字上：1/32。
安全区被放大了上百倍！
怕出错？怕人类直觉不可靠？没关系，直接上机器验证！
开源社区动用了最无情的裁判——Lean定理证明器。
这是一种只认死理的形式化验证语言。任何一丝微小的逻辑缝隙，都会导致程序崩溃。
相关证明由数学智能体AxiomProver生成了形式化Lean证明，在开源Github上。
https://github.com/AxiomMath/DedekindZetaZeroFree
1/32的边界，不仅被人类推导出来，更得到了机器逻辑的确立。
这不是唯一的副产物。
所有的铺垫，所有的狂欢，都在等待今天这一刻。
arXiv预印本平台上，一篇由Frei、Somos与Widmer共同署名的重磅论文横空出世。
https://arxiv.org/abs/2610.18491
这场由OpenAI引发的学术海啸，终于拍碎了最坚硬的那块礁石。
目标锁定：2007年Ellenberg–Venkatesh界。
这是代数数论领域的一根刺。
2007年，两位数学大佬给出了数域类群ℓ-挠（ℓ-torsion）的一个极其完美的界限。
但它带有一个致命缺陷：它是条件性的。也就是所谓的「空中楼阁」。
两位大佬的证明，必须建立在「广义黎曼猜想（GRH）成立」的前提下。
前提一旦崩塌，结论瞬间作废。
19年来，无数顶尖学者试图抽掉这根拐杖，让证明自己站起来。全部失败。因为没有工具。因为底层的岩石还没被挖出来。
直到今天。
Frei、Somos与Widmer看到了前面那帮人抢下的「1/32安全区」。
这，就是他们苦等了19年的底座！
没有丝毫犹豫，三位剑客利剑出鞘。
他们将最新的无零点区域结果，雷霆万钧地砸入旧方程。曾经断裂的逻辑链条，在强大的新理论支撑下，瞬间咬合！
推导。化简。绝杀。结论耀眼夺目：2007年Ellenberg–Venkatesh关于数域类群ℓ-挠界，被无条件证明。
不再需要假设！不再需要前提！空中楼阁轰然落地，化作坚不可摧的钢铁堡垒！
19年的幽灵，灰飞烟灭。
代数数论的一块核心拼图，被人类严丝合缝地按下。
如果故事只到这里，这只是一次极其成功的学术接力。
但真正让这篇论文彻底封神的，是末尾的那一句话。
在宣告这19年难题终结的篇末，Frei、Somos与Widmer没有长篇大论的感慨，没有对AI的谄媚。
他们只留下一句冷峻、幽默、又带着几分痞气的声明：
我们声明，这项工作中没有使用任何人工智能工具。
绝了。
这句话像是一个响亮的大耳光，又像是一声畅快的长啸。
参考资料：
https://hexagonmath.org/pdf/2610.00200v2
https://x.com/KortenOliver/status/2109995579275362643
https://x.com/imjustnewatai/status/2107615459822453187?s=20
编辑：大卫
本文来自微信公众号“新智元”（ID：AI_era），作者：ASI启示录，36氪经授权发布。
