图灵汇官网

马斯克正在利用他新搭建的10万张H100显卡集群训练大型模型Grok-3，目标是在12月或更早的时间内推出。近日，xAI公司的技术人员Hieu Pham在社交平台上宣布：“Grok-3刚刚证明了黎曼猜想。我们决定暂停训练以验证其证明，如果证明正确，训练将不再继续，因为这个AI被认为足够聪明，可能会构成对人类的威胁。”

很多人认为这只是个玩笑，但Hieu Pham随后补充说：“关于为什么黎曼猜想的证明可能带来危险，我强烈推荐@matthaig1的小说《人类》。”

小说《人类》讲述了外星访客以剑桥大学著名数学家安德鲁·马丁教授的身份来到地球的故事。这位教授的任务就是尽快完成一些任务后返回他的家园——一个全知全能的乌托邦星球。既然他来自这样一个地方，那么他应该能够证明黎曼猜想，即掌握所有素数的分布规律。

然而，有消息称Grok-3的训练因一次严重事故而暂停。xAI员工Andrew Curran在社交平台上透露：“今晚有传言称，Grok-3在训练过程中遇到了某种灾难性事件。希望这只是谣言。此前，关于Claude Opus 3.5延迟发布的传言也未曾得到证实。”

对此，另一位xAI员工Heinrich Kuttler回应道：“确实发生了严重的状况，但我们用nan替换了损坏的权重，目前看来一切正常。”

证明黎曼猜想被视为推理模型的圣杯，也是AI系统超越人类智能的重要标志。最近有消息称，OpenAI即将推出的o1版本将在本月末ChatGPT两周年之际发布。OpenAI的Noam Brown计划让未来的o1版本不仅能快速思考，还能进行长时间的深度推理，即便这意味着推理成本会增加。“但你愿意为一种新的癌症药物支付什么代价？为突破性的电池支付什么代价？为黎曼猜想的证明支付什么代价？AI的作用远不止是聊天机器人。”

在o1发布后，许多人试图用它来证明黎曼猜想，包括知名AI专家Andrej Karpathy，他抱怨o1 mini拒绝求解黎曼猜想，这被视作大模型“躺平”的表现。

马斯克自然也对摘取这一圣杯充满渴望。他最近担任了美国“深改委”主任（但没有公务员身份），内心对OpenAI的羡慕嫉妒恨可见一斑。他可能会用各种方式展示自己证明黎曼猜想的能力，或者将其作为调侃对手的手段。

那么，黎曼猜想是什么？AI能否通过暴力破解的方式解决这一难题？

黎曼猜想由德国数学家伯恩哈德·黎曼于1859年提出。它探讨的是复数域上的黎曼ζ函数，提出所有非平凡零点都位于复平面上的一条直线上，该直线的实部为1/2。简单来说，这一猜想与素数的分布紧密相关，是数论中的基本问题之一。虽然大量数值验证支持这一猜想，但至今仍无完整证明，它也被列为“克雷数学研究所”的七大千年难题之一，悬赏100万美元。

掌握素数分布的重要性在于，它们揭示了ζ函数与素数之间的深层联系。证明或推翻这一猜想可能需要引入全新的数学工具和技术。尽管已有数学家对数十亿个零点进行了验证，但黎曼猜想依然未被证明。大模型虽然具备强大的计算能力，但解决这一问题不仅需要算力，还需要深厚理论知识和创新思维。先进的AI模型可以辅助研究，但最终的证明依然离不开人类的努力。