Grok3冲击诺奖级突破，成证明「黎曼猜想」关键！AI与数学家打出终极组合拳

猜想界的皇冠——黎曼猜想，离被证明的那一天不远了。Grok 3便是关键所在：暴力计算+验证器能让AI穷举所有解法，再加上AI辅助科学家打出的组合拳，下一个诺奖级突破近在咫尺。

困扰人类一个多世纪的「黎曼猜想」，如今可能正站在被破解的边缘。

这周发布的Grok 3异军突起，不仅横扫各大排行榜，更将目光投向了这个「猜想界的皇冠」。

风投机构IBC Group创始人Mario Nawfal发文称，破解黎曼猜想的竞赛正在升温，而Grok 3可能正是关键所在！

究竟是什么原因，让他敢于做出这样一个判断？

暴力计算：凭借足够的计算能力和验证器，AI可以穷举所有解法。

人工智能+人类合作 ：AI辅助顶尖科学家，可能会带来图灵奖、菲尔兹奖，甚至诺奖级别的突破。

有了这双重buff的加持，Grok估计什么时候可以解决这一世纪难题？根据马斯克的预测，「基于AI的进展，可能将在两年内实现」。

在Mario看来，虽然目前还没有解决方案——但Grok 3正在逐步接近破解这个数学界最大的未解之谜之一！

网友对此激动地表示，「暴力计算和人类洞察力的结合，简直是终极组合拳」。

甚至，还有人大胆预言，下一个诺奖得主就是AI。

Grok 3对决黎曼猜想：突破即将到来？

在Grok 3还未横空出世之前，曾被xAI工程师硬广了一波。

去年11月，工程师Hieu Pham「爆料」称，Grok 3证明了黎曼猜想。

为此，xAI不得不终止模型训练，以验证它的证明。他表示，如果结果是正确的，将会完全终止模型的训练。

之后，Hieu Pham发帖称这只是自己的恶搞

要知道，黎曼猜想可是千禧年七大数学难题之一。

这一次，基于20万块GPU训出的Grok 3，在数学基准测试中AIME 2024上刷新SOTA，创下了52高分。mini版本性能几乎与Claude 3.5 持平。

与此同时，xAI团队专门针对最新AIME 2025基准，对Grok 3模型推理版本进行了测试，更是创下了93分纪录。

AI大神Karpathhy在Grok 3还未发布之前，曾拿到了灰度测试资格，让其去证明黎曼猜想猜想。

他表示，相较于其他模型（如o1-pro、Claude、Gemini 2.0 Flash Thinking），只会简单表示——这是一个伟大的未解之谜，Grok 3非常有勇气，会尝试去解决问题。

虽然没有攻克，但是迈出了「尝试」的重要一步。

正如Karpathhy所言，谁知呢，总会有那么一天...

甚至，就连菲尔兹奖得主陶哲轩大胆预测，2026年，AI将与搜索和符号数学工具相结合，成为数学研究中值得信赖的合著者。

对此，有网友对于人工智能辅助破解数学谜题的前景感到兴奋。

更有网友期待Grok 3将量子力学与相对论一起联系起来。

「可能性是无限的」该网友评论道。

什么是黎曼zeta函数

1859年，德国数学家伯恩哈德·黎曼（Bernhard Riemann）想出了一个研究质数的新办法，引入了一个叫黎曼zeta函数的东西，记作ζ(s)。

简单来说，zeta函数是一个无限加法公式：

这里的「s」是一个复数，复数是一种特别的数字，比如s = a + bi（a是实部，b是虚部，i是虚数单位）。

这个函数的神奇之处在于，它跟质数的分布有很深的联系。

zeta函数的零点

零点就是让ζ(s)等于0的s值。研究发现，这些零点分成两类：

平凡零点：这些零点出现在s = -2, -4, -6等负的偶数位置。它们比较容易找到，性质也很明确。

非平凡零点：这些零点的实部（a值）在0到1之间，而且虚部（b值）不是0。它们的位置很神秘，很难算出来。目前通过计算机检查发现，所有已知的非平凡零点的实部都是1/2，但这只是观察结果，还没有数学证明能确认所有零点都这样。

黎曼猜想到底在猜什么？

黎曼猜想的核心是：所有的非平凡零点的实部都等于1/2。

想象一下，把复数s = a + bi画在平面上，横轴是实部a，纵轴是虚部b。

黎曼猜想说，所有非平凡零点都会整整齐齐地排在实部a = 1/2这条竖线上。

如果这个猜想是真的，它能让我们更清楚地知道质数是怎么分布的。

比如，它能更精确地预测某个范围内有多少个质数。这跟一个叫素数定理的东西有关，素数定理告诉我们质数的「大趋势」，而黎曼猜想则能解释趋势里的「小起伏」。

打个比方，把质数分布想象成一条河的流量，素数定理像是告诉你河水平均每天流多少水；黎曼猜想则是帮你搞清楚为什么有些天水流多些，有些天少些。

这种对质数的深入了解不只对数学家重要，还会影响像密码学这样的领域，因为密码系统需要质数尽量「随机」。

为什么这么受关注？

黎曼猜想从1859年提出到现在，已经160多年了，但还是没人能证明它是对是错。

它被认为是数学里最重要的问题之一，出现在1900年希尔伯特提出的23个数学难题里（第8个问题），也被2000年Clay数学研究所列为「千禧年七大难题」之一。

Clay研究所还悬赏100万美元，鼓励全世界数学家来挑战这个问题。现在，计算机已经检查了无数个非平凡零点，发现它们的实部都是1/2，但这只是证据，不是严格的数学证明。

一些数学家，比如Larry Guth和James Maynard，最近在这个问题上有了一些新进展，但离彻底解决还很远。

黎曼猜想不只是数学里的「脑洞」，它的研究还推动了很多数学分支的发展，比如复分析和数论的结合。