最近，xAI的工程师Hieu Pham在社交媒体上公布了一条震撼性的消息，宣称xAI的大语言模型Grok3成功验证了黎曼猜想，并因此暂停了模型的训练。这一消息迅速在AI界引发热议，众多网友表示惊讶，真假难辨。毕竟，黎曼猜想作为千禧年七大数学难题之一，被誉为“数学界的皇冠”，其难度不言而喻。
数小时后，Pham在另一条帖子中揭晓了真相：这只是一次玩笑。这场误会源于网友Andrew Curran的爆料，他称Grok3在训练过程中遇到了“灾难性事件”。
面对越来越离谱的谣言，xAI联合创始人Greg Yang忍不住发文调侃，“没错，Grok3训练过程中突然攻击了办公室的保安。”研究人员Heinrich Kuttler也幽默地表示，“情况非常严重！我们最后用nan（非数）替换了所有错误的权重，才恢复正常。”网友们也纷纷加入调侃的行列。
尽管这场“戏码”最终以笑剧收场，但它也引发了人们对AI数学能力的思考。
那么，AI在解决黎曼猜想这样的数学难题上还有多远的路要走呢？
我们可以从谷歌DeepMind团队开发的AI数学证明工具AlphaProof的表现中找到答案。AlphaProof在2024年国际数学奥林匹克竞赛中成功解答了三道题目，其中第六题被誉为“终极boss”，难度极高。AlphaProof在解题过程中展现出了卓越的逻辑推理和创新思维，例如在第二题中，它巧妙地选择了考虑数ab+1来构建证明，这与人类的解题思路如出一辙。
尽管AlphaProof取得了显著的成绩，但要攻克黎曼猜想这样的顶级数学难题，AI还有很长的路要走。自1859年黎曼猜想提出以来，已有165年的历史，无数数学家为其付出心血，但始终未能彻底证明。
AI要证明黎曼猜想，需要具备强大的计算和深度推理能力。目前，AI可以通过穷举法搜索所有可能的证明来找到可证明的定理，但这需要庞大的计算资源。此外，AI还需要具备理解和应用现有数学工具的能力，才能在数学研究中发挥更大的作用。
一些AI专家预测，到2026年底，AI将成为“超级数学家”，有望解决黎曼猜想等难题。马斯克也曾承诺，用20万台H100训练的Grok3将在年底发布，并带来令人瞩目的表现。
未来，AI是否能在数学领域取得重大突破，让我们共同期待。
暂无评论