Grok 3证明黎曼猜想，训练遭灾难性？数学家称不夸张，两年内AI将解出千禧年难题

AIGC动态欢迎阅读

原标题：Grok 3证明黎曼猜想，训练遭灾难性？数学家称不夸张，两年内AI将解出千禧年难题
关键字：问题,整数,数学,函数,定理
文章来源：新智元
内容字数：0字

内容摘要：

新智元报道编辑：编辑部 HYZ
【新智元导读】最近，大家都被这条消息吓到了：传说Grok 3已经成功证明出黎曼猜想？！虽然这是在玩梗，但还是让我们来仔细剖析下，目前的AI距离千禧年数学难题，究竟还有多远。黎曼猜想，竟被Grok 3「证明」了？
为此，xAI暂停了Grok 3的训练来验证它的证明，如果结果是正确的，将会完全终止模型的训练。
xAI工程师Hieu Pham在社交媒体的最新「爆料」，成为AI圈最火爆的话题。
要知道，黎曼猜想是千禧年七大数学难题之一，被誉为「猜想界的皇冠」。
2000年，黎曼猜想被美国克雷数学研究所（Clay Mathematics Institute of Cambridge，CMI）指定为「七大千禧年难题之一」
由于信息量太大，网友们直接被整懵了，分不清这是真的还是在玩梗……几个小时之后，在Pham另一个帖子中，证明了这只是自己的调侃。
恶搞的起因是，一位网友Andrew Curran最先「爆料」，传言称Grok3在训练时发生了灾难性。
明眼的网友很快便质疑道：LLM训练怎么会出现灾难性？
即便是出现loss激增，也只需要回到上一个Checkpo

原文链接：Grok 3证明黎曼猜想，训练遭灾难性？数学家称不夸张，两年内AI将解出千禧年难题

联系作者

文章来源：新智元
作者微信：
作者简介：