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將解出千禧年難題

聯系作者

文章來源：新智元
作者微信：
作者簡介：