近日，关于xAI旗下大语言模型Grok3证明黎曼猜想的传闻在AI圈引发轩然大波。xAI工程师Hieu Pham的社交媒体爆料，称Grok3成功证明了这一数学难题，并因此暂停训练，消息一出，立刻引发热议。然而，很快Pham就澄清这只是一个玩笑，一场由网友爆料Grok3训练过程中出现“灾难性事件”而引发的乌龙。Downcodes小编将带你回顾这场“闹剧”，并探讨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来构建证明，这一策略与人类的解题思路不谋而合。
虽然AlphaProof取得了令人瞩目的成绩，但要想攻克黎曼猜想这样的顶级数学难题，AI还有很长的路要走。黎曼猜想自1859年提出至今，已有165年的历史，无数数学家为之倾尽心血，但始终未能彻底证明。
AI要证明黎曼猜想，需要具备强大的计算能力和深度推理能力。目前，AI可以通过穷举法搜索所有可能的证明来找到可证明的定理，但这需要天文数字般的计算资源。此外，AI还需要具备理解和应用现有数学工具的能力，才能在数学研究中发挥更大的作用。
一些AI专家预测，到2026年底，AI将成为“超人数学家”，足以解决黎曼猜想等难题。马斯克也曾许诺，用20万台H100训练的Grok3将在年底发布，并将带来令人惊叹的表现。
未来，AI能否在数学领域取得突破性进展，让我们拭目以待。
这场关于Grok3证明黎曼猜想的“乌龙事件”，既展现了AI技术的快速发展，也提醒我们对AI能力的评估应保持谨慎和理性。AI在数学领域的应用前景广阔，但攻克黎曼猜想这样的世纪难题，仍需漫长而艰辛的探索。