Grok-3证明「黎曼猜想」了？
xAI 公司（由埃隆·马斯克创办）的工程师 Hieu Pham 周末发布的一条推文让整个AI圈彻夜未眠。
推文原话是这样说的："Grok-3 刚刚证明了黎曼猜想。我们决定暂停它的训练以验证其证明，如果证明是正确的，那么训练将不会恢复，因为这个 AI 被认为聪明到足以成为对人类的威胁。"
这条消息在 AI 圈掀起轩然大波，迅速引来超过 200 万网友围观。
事情的发酵源于网友 Andrew Curran 更早些时候的一则"爆料"，称 Grok-3 在训练过程中遭遇了"灾难性事件"。
先说结论，这只是一个玩笑而已。
边翻看这个事件边感慨，为什么一个关于AI证明数学难题的玩笑，能让整个AI圈彻夜难眠？
让我们一起来看看这场轰动AI圈的"乌龙"到底是怎么回事。
时间线：一场玩笑是如何发酵的
第一阶段：爆料出现
Hieu Pham发布"重磅消息"： Grok-3证明黎曼猜想 暂停训练以验证 如属实将永久停止（原因：AI过于智能）
第二阶段：谣言四起
有网友开始拿Sam Altman起哄：对对，OpenAI CEO用激光器瞄准xAI训练集群，导致数据严重损坏 还有人跟风说：AI似乎获得了自我意识，而且故意在黎曼猜想的证明代码中"省略15个分号"，让人类无法验证 连Runway的创始人也来凑热闹：Gen-4刚刚横扫了奥斯卡所有奖项
第三阶段：真相大白
xAI联合创始人Greg Yang终于看不下去了，调侃道：是的是的，我们正在实时训练X岗位，突然Grok-3开始殴打办公室里的老年保安！
另一位研究院Heiner Kuttler也接梗：对对对，情况非常糟糕！我们后来用nan替换了坏的权重，现在看起来又好了！
Hieu Pham终于发帖亲自澄清：好了，周六夜生活结束了（这是个玩笑），至于为什么黎曼假设的证明是危险的，我强烈推荐马特·海格精彩的小说《人类》。
为什么这个玩笑能引发如此轰动？
首先是因为黎曼猜想（Riemann Hypothesis）的重要性！这个猜想被列为克雷数学研究所的千年难题之一：
1859年由德国数学家伯恩哈德·黎曼提出 克雷研究所悬赏100万美元，至今无人证明或反驳 被誉为"数学皇冠上的明珠"，对于数论（数学的一个分支）有着深远影响 对密码学等多个领域影响深远（现代很多加密技术，比如保护网上支付、数据隐私等都依赖素数的性质）
AI的真实实力有多强？
目前AI在数学领域确实展现出惊人实力：
OpenAI o1在AIME测验中取得83%正确率 在博士级GPQA Diamond测评中达到78% 但距离证明黎曼猜想还有很长的路要走
未来已来？
抛开马斯克的营销手段不说，梳理这整个事件，我不禁陷入深思。
最让人震撼的是，马斯克正在用20万块H100打造史上最强AI训练集群，OpenAI也放话要在年底推出颠覆性产品。
AI的发展速度是否已经快到了连业内人士都要开这种"玩笑"的地步？
掐了掐自己的大腿，这些进展是否太快了，还是说其实还远远不够？
从解决数学题到证明黎曼猜想，从模仿人类到超越人类，AI到底会在什么时候迎来真正的突破？
不知道一年后回看今天这场闹剧，我们会是什么样的心情。
但有一点是确定的：就像这场证明黎曼猜想的玩笑所暗示的，AI发展带来的可能性让人既兴奋又恐惧。
让我们记住Hieu Pham这个玩笑背后的警示：AI的发展或许有90%的可能带来积极影响，但那10%的潜在风险，足以让我们保持清醒和警惕。
这场轰动AI圈的"乌龙"到底意味着什么？按照这样的发展速度，AI会给我们带来惊喜还是惊吓？
我们拭目以待。
你觉得AI离真正证明黎曼猜想还有多远？欢迎在评论区分享你的观点！
