图灵汇官网

马斯克正在利用一组包含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模型可以为研究提供助力，但最终的成果仍然依赖于人类的努力。