AIGC動態(tài)歡迎閱讀

原標(biāo)題：Grok 3證明黎曼猜想，訓(xùn)練遭災(zāi)難性？數(shù)學(xué)家稱不夸張，兩年內(nèi)AI將解出千禧年難題
關(guān)鍵字：問題,整數(shù),數(shù)學(xué),函數(shù),定理
文章來源：新智元
內(nèi)容字?jǐn)?shù)：0字

內(nèi)容摘要：

新智元報道編輯：編輯部 HYZ
【新智元導(dǎo)讀】最近，大家都被這條消息嚇到了：傳說Grok 3已經(jīng)成功證明出黎曼猜想？！雖然這是在玩梗，但還是讓我們來仔細剖析下，目前的AI距離千禧年數(shù)學(xué)難題，究竟還有多遠。黎曼猜想，竟被Grok 3「證明」了？
為此，xAI暫停了Grok 3的訓(xùn)練來驗證它的證明，如果結(jié)果是正確的，將會完全終止模型的訓(xùn)練。
xAI工程師Hieu Pham在社交媒體的最新「爆料」，成為AI圈最火爆的話題。
要知道，黎曼猜想是千禧年七大數(shù)學(xué)難題之一，被譽為「猜想界的皇冠」。
2000年，黎曼猜想被美國克雷數(shù)學(xué)研究所（Clay Mathematics Institute of Cambridge，CMI）指定為「七大千禧年難題之一」
由于信息量太大，網(wǎng)友們直接被整懵了，分不清這是真的還是在玩梗……幾個小時之后，在Pham另一個帖子中，證明了這只是自己的調(diào)侃。
惡搞的起因是，一位網(wǎng)友Andrew Curran最先「爆料」，傳言稱Grok3在訓(xùn)練時發(fā)生了災(zāi)難性。
明眼的網(wǎng)友很快便質(zhì)疑道：LLM訓(xùn)練怎么會出現(xiàn)災(zāi)難性？
即便是出現(xiàn)loss激增，也只需要回到上一個Checkpo

原文鏈接：Grok 3證明黎曼猜想，訓(xùn)練遭災(zāi)難性？數(shù)學(xué)家稱不夸張，兩年內(nèi)AI將解出千禧年難題

聯(lián)系作者

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