OpenAI宣称证明准黎曼假设后，数学家无条件证明19年悬置难题

36氪Auto数字时氪未来消费智能涌现未来城市启动Power on36氪出海36氪研究院潮生TIDE36氪企服点评36氪财经职场bonus36碳后浪研究所暗涌Waves硬氪氪睿研究院媒体品牌

企业号企服点评36Kr研究院36Kr创新咨询企业服务

核心服务城市之窗政府服务

创投发布LP源计划VClubVClub投资机构库投资机构职位推介投资人认证投资人服务

活动搜索项目推荐我要入驻城市合作重磅！OpenAI之后，AI再破广义黎曼猜想新智元·2026年10月18日 16:14如果AI连这种级别的底层结构都能看透，人类数学家还有什么存在的价值？

不到十天，数学界经历了一场终极过山车！

10月6日，OpenAI宣称AI证明了准黎曼假设。

数学家 Alex Kontororvin直言：

如果有人觉得了这一成果，那他肯定能立刻获得菲尔茨奖，毫无悬念 !

他后续补充无 Siegel 零点或可算「两个菲尔兹奖」。

短短数日后，捷报连连。

这个准黎曼猜想的结果带了一个重要的计算复杂性结果：

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 页的准黎曼猜想的证明，评价很高：

这是有史以来第一个没有零点的固定区间。

虽然这并非黎曼假设本身，但如果该说法成立，那它就是目前最接近黎曼假设的结论了。

恐慌在数学圈蔓延。

但真大师不会哀叹。既然路通了，那就踩足油门往前冲！

仅仅6天后，10月12日，预印本平台Hexagon上，突然冒出一篇新论文。

作者是人类数学家Cureton与Thorner。

他们没空伤春悲秋，反而以极其毒辣的眼光，做了一个大胆的动作：平移。

他们把AI打磨出的工具，直接套用在了一个更广阔、更复杂的数学对象上——有限阶Hecke L函数。

什么是L函数？它是黎曼Zeta函数的「终极进化版」。

在现代数论里，费马大定理这类了不起的证明，几乎都绕不开它。

Cureton和Thorner利用AI给出的准黎曼突破，一记重锤，砸出了一个惊人的结果：

所有有限阶Hecke L函数，在「1-1/6000」的右侧，绝对没有零点。

听不懂没关系。打个比方。

零点，好比是海里的暗礁。

1/6000出现的瞬间，全球数学极客的DNA动了。

全世界最聪明的大脑通过网络连接，开始对这个常数进行极限压榨。

这是现代数学最热血的画面，开始了一场群体绞杀。

逻辑被无情精简。误差被剔骨削肉。边界被一次次向外推。

1/1000。1/500。1/100。

常数如自由落体般急剧缩小！

最终，整个社区将这片「零点自由区」的安全边界，死死钉在了一个极其夸张的数字上：1/32。

安全区被放大了上百倍！

怕出错？怕人类直觉不可靠？没关系，直接上机器验证！

开源社区动用了最无情的裁判——Lean定理证明器。

这是一种只认死理的形式化验证语言。任何一丝微小的逻辑缝隙，都会导致程序崩溃。

相关证明由数学智能体 AxiomProver生成了形式化 Lean证明，在开源Github 上。

1/32的边界，不仅被人类推导出来，更得到了机器逻辑的确立。

arXiv预印本平台上，一篇由Frei、Somos与Widmer共同署名的重磅论文横空出世。

这场由OpenAI引发的学术海啸，终于拍碎了最坚硬的那块礁石。

目标锁定：2007年Ellenberg–Venkatesh界。

这是代数数论领域的一根刺。

2007年，两位数学大佬给出了数域类群ℓ-挠（ℓ-torsion）的一个极其完美的界限。

但它带有一个致命缺陷：它是条件性的。也就是所谓的「空中楼阁」。

两位大佬的证明，必须建立在「广义黎曼猜想（GRH）成立」的前提下。

前提一旦崩塌，结论瞬间作废。

19年来，无数顶尖学者试图抽掉这根拐杖，让证明自己站起来。全部失败。因为没有工具。因为底层的岩石还没被挖出来。

直到今天。

Frei、Somos与Widmer看到了前面那帮人抢下的「1/32安全区」。

这，就是他们苦等了19年的底座！

没有丝毫犹豫，三位剑客利 88剑出鞘。

他们将最新的无零点区域结果，雷霆万钧地砸入旧方程。曾经断裂的逻辑链条，在强大的新理论支撑下，瞬间咬合！

推导。化简。绝杀。结论耀眼夺目：2007年Ellenberg–Venkatesh关于数域类群ℓ-挠界，被无条件证明。

不再需要假设！不再需要前提！空中楼阁轰然落地，化作坚不可摧的钢铁堡垒！

在宣告这19年难题终结的篇末，Frei、Somos与Widmer没有长篇大论的感慨，没有对AI的谄媚。

这句话像是一个响亮的大耳光，又像是一声畅快的长啸。

参考资料：

编辑：大卫

本文来自微信公众号“新智元”（ID：AI_era），作者：ASI启示录，36氪经授权发布。

该文观点仅代表作者本人，36氪平台仅提供信息存储空间服务。+130

好文章，需要你的鼓励新智元特邀作者5收 藏+10评 论打开微信“扫一扫”，打开网页后点击屏幕右上角分享按钮微 博沉浸阅读返回顶部举报参与评论评论千万条，友善第一条登录后参与讨论提交评论0/1000你可能也喜欢这些文章从记者到千亿富豪，“最牛文科生”赌中AI美光崛起背后：美国内存“独苗”的生存战、资本博弈与AI重生还没IPO，OpenAI 600名员工已套现66亿美元龙虾凉了，Muse凭什么火？当初天价挖人合理吗？亚历山大王最新访谈回应一切刚刚，Anthropic宣布奇点已至！AI或把美国GDP推上44万亿美元许愿式编程发布，谁说梁文锋不宠“小白”？世界首富的孙子，创业30年公司要破产了4.99美元的AI医生前华为车BU世界模型基模负责人创业，杭州具身大脑公司获近亿元融资｜硬氪首发新智元特邀作者

TA没有写简介，但内敛也是一种表达发表文章5480篇

最近内容重磅！OpenAI之后，AI再破广义黎曼猜想5小时前刚刚，Anthropic宣布奇点已至！AI或把美国GDP推上44万亿美元8小时前刚刚，Mythos 5破解量子计算重大难题昨天阅读更多内容，狠戳这里选靠谱AI，看真实评测查看36氪AI测评官方交流社区加入咨询项目审核和入驻联系36氪项目推荐订阅号关注

下一篇老板们不再把钱交给VC了

家办，正在成为中国一级市场上冉冉升起的一股新势力。

36氪欧洲站36氪欧洲站36氪欧洲站Ai产品日报网络谣言信息举报入口热门推荐

推送和解读前沿、有料的科技创投资讯

一级市场金融信息和系统服务提供商

聚焦全球优秀创业者，项目融资率接近97%，领跑行业