黎曼猜想，竟被Grok 3「证明」了？

据xAI工程师Hieu Pham在社交媒体的最新「爆料」，Grok 3在训练过程中似乎发现了黎曼猜想的「证明」。如果这一发现得到验证，将完全终止模型的训练。这一消息迅速在AI圈引起热议，让网友们对AI的数学能力充满了期待与好奇。

黎曼猜想，被誉为「猜想界的皇冠」，是千禧年七大数学难题之一。它涉及到复变函数与数论中的复杂问题，自1859年由德国数学家波恩哈德·黎曼提出以来，无数数学家试图证明它，但至今仍无确切答案。

尽管Pham的爆料引起了轰动，但不久后，在另一个帖子中，他澄清了这只是自己的调侃。原来，这是一位网友Andrew Curran最先「爆料」，称Grok3在训练时发生了灾难性事件。明眼的网友很快便质疑道：LLM（语言模型）训练怎么会出现灾难性事件？

言归正传，让我们来仔细看一下，目前人类离攻克黎曼猜想还差几步。如今，「黎曼猜想」就像一座巍峨的高峰，165年来从未有人成功攀上。它就像大海中的灯塔，为数学领域的发展指明方向。黎曼猜想若被证明，将大大推动数论和复变函数领域的发展。

黎曼猜想起源于德国数学家高斯，他给出了一个公式，能够近似地预测出任意数字的素数个数。在1859年，德国数学家波恩哈德·黎曼改进了高斯的公式，用涉及复变量函数演算的方法，得出一个原创公式。这就是赫赫有名的「黎曼猜想」。

理论上，无法证明是否所有的点都在这两条线上，但是，只要有一个点不在，就能推翻黎曼猜想！如今，数学家们已经用计算机验证了最初的15亿个点，全部符合黎曼猜想。

现在，我们来谈谈AI的数学能力。尽管我们离完全解决这一猜想还很遥远，但AI在解决数学问题上已经展现出了惊人的能力。比如，谷歌DeepMind的AlphaProof在破解IMO 2024六道竞赛试题中，做对了其中4道，而且每道题拿下了满分，相当于银牌选手水平。

而关于AI距离千禧年难题，还有多远，网友们也展开了热烈讨论。有人认为，数学将是AI最先突破的领域之一，因为存在一个可用的既便宜又快速的反馈循环。但也有人持不同意见，认为这更多的是硅谷大厂们自己的愿景，而不是数学界的利益。

而关于AI解决P/NP问题、黎曼猜想这样的千禧年难题，我们或许可以期待一下。毕竟，像Christian Szegedy这样的AI专家已经做出过预测，到2026年底，AI将成为「超人数学家」，解决出黎曼猜想等问题。

最后，让我们继续关注Grok 3的进展，期待AI在数学领域创造更多的奇迹。