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激增，也只需要回到上一个Checkpoint，调整一下， ………………………………