标题：黎曼猜想，AI推理模型的梗

马斯克正利用其新组建的10万张H100卡集群训练大模型Grok-3，目标是在12月甚至更早推出。

当地时间周六晚，xAI技术员工Hieu Pham在X上宣布：“Grok-3刚刚证明了黎曼猜想。我们决定暂停训练以验证其证明，如果证明正确，训练将不再恢复，因为该AI被认为足够聪明，可能对人类构成威胁。”

许多人认为这是个玩笑，随后Hieu Pham补充：“至于为何黎曼猜想的证明是危险的，我强烈推荐@matthaig1的小说《人类》。”

《人类》由英国作家海格（Matt Haig）所著，讲述一位外星访客以剑桥大学数学家身份出现，并急于完成任务返回乌托邦星球的故事。在那里，每个人都是全知和永生的，这意味着这位数学家能证明黎曼猜想。

然而，有传闻称Grok-3因一次严重事故暂停训练。xAI员工Andrew Curran透露：“昨晚有传言称Grok-3遭遇了灾难性事件。”xAI员工Heinrich Kuttler回应：“我们用nan替换了坏的权重，目前看来已恢复正常。”

证明黎曼猜想是AI系统的重大挑战，也是其超越人类智能的重要标志。OpenAI计划让o1模型进行长时间推理，即使成本高昂，也认为其价值巨大。

AI大神卡帕西（Andrej Karpathy）抱怨o1 mini拒绝求解黎曼猜想，有人认为这是大模型的“躺平”。马斯克对此非常感兴趣，甚至考虑将其作为竞争策略。

什么是黎曼猜想？它由黎曼于1859年提出，涉及黎曼ζ函数的非平凡零点是否位于实部为1/2的直线上。尽管大量数值验证支持这一猜想，但尚未找到完整证明。它不仅是数论中的核心问题，也是七个千年难题之一，悬赏100万美元。

掌握素数分布的重要性在于揭示ζ函数和素数间的深刻联系。尽管AI模型可通过分析数据和识别模式提供帮助，但严格的数学证明仍需人类智慧。