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

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

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

內(nèi)容摘要：

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

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

聯(lián)系作者

文章來(lái)源：新智元
作者微信：
作者簡(jiǎn)介：