Grok3证明黎曼猜想？AI训练出大事吓坏网友最后发现是乌龙

文章来源：放心AI网发布时间：2025-05-30 17:00:37

近期，xAI工程师Hieu Pham在社交媒体上发布了一条“爆炸性”消息，声称xAI旗下的大语言模型Grok3成功证明了黎曼猜想，并因此暂停了模型的训练。这条消息迅速在AI圈引发热议，网友们纷纷表示震惊，难以分辨真假。毕竟，黎曼猜想作为千禧年七大数学难题之一，被誉为“猜想界的皇冠”，其难度可想而知。

几小时后，Pham在另一条帖子中揭晓了答案:这只是一场调侃。这场“乌龙”源于网友Andrew Curran的爆料，他声称Grok3在训练过程中遭遇了“灾难性事件”。

面对越传越离谱的谣言，xAI联创Greg Yang忍不住发文讽刺道，“对对对，Grok3训着训着就开始攻击办公室的保安了。”另一位研究人员Heinrich Kuttler也幽默地表示，“情况非常糟糕!我们后来用nan（Not a Number，非数）把所有坏的权重都替换了一遍，才恢复。”网友们见状也纷纷加入玩梗的行列。

虽然这场“闹剧”最终以玩笑收场，但也引发了人们对于AI数学能力的思考。

那么，AI究竟离攻克黎曼猜想这样的千禧年数学难题还有多远呢?

我们可以从谷歌DeepMind团队开发的AI数学证明工具AlphaProof的表现窥见一二。AlphaProof在2024年国际数学奥林匹克竞赛（IMO）中成功解出了三道题，其中第六题更是被誉为“终极boss”，难度极高。AlphaProof在解题过程中展现出了强大的逻辑推理能力和创造性思维，例如在第二题中，它巧妙地选择了考虑数ab+1来构建证明，这一策略与人类的解题思路不谋而合。