馬斯克正在用他新建的10萬(wàn)張H100卡集群狂訓(xùn)大模型Grok-3，力爭(zhēng)12月甚至更早推出。
當(dāng)?shù)貢r(shí)間周六晚，馬斯克的人工智能企業(yè)xAI技術(shù)員工Hieu Pham在X上宣布：
“Grok-3剛剛證明了黎曼猜想。我們決定暫停它的訓(xùn)練以驗(yàn)證其證明，如果證明是正確的，那么訓(xùn)練將不會(huì)恢復(fù)，因?yàn)檫@個(gè)AI被認(rèn)為聰明到足以成為對(duì)人類(lèi)的威脅�！�
許多人認(rèn)為他在開(kāi)玩笑，周六晚忙完之后，他又補(bǔ)發(fā)了一條：“至于為什么黎曼猜想的證明是危險(xiǎn)的，我強(qiáng)烈推薦@matthaig1的精彩小說(shuō)《人類(lèi)》。”
英國(guó)作家海格(Matt Haig)寫(xiě)的暢銷(xiāo)書(shū)《人類(lèi)》（The Humans)，寫(xiě)的是一位外星訪客來(lái)到地球，以劍橋大學(xué)著名數(shù)學(xué)家安德魯馬丁教授的身份出現(xiàn)，他肩負(fù)一項(xiàng)可怕任務(wù)，急于完成之后返回烏托邦星球。在那里，每個(gè)人都擁有全知和永生。
既然是來(lái)自全知和永生星球的數(shù)學(xué)家，馬丁教授一定能證明黎曼猜想，換句話說(shuō)，他一定掌握了所有素?cái)?shù)的分布規(guī)律。
但是，又有傳聞，Grok 3的訓(xùn)練之所以停下來(lái)，是因?yàn)槌霈F(xiàn)了一次嚴(yán)重的事故。據(jù)庫(kù)倫（ Andrew Curran）在X上透露：“今晚有傳言稱，Grok 3在昨天的訓(xùn)練過(guò)程中遭遇了某種災(zāi)難性事件。希望這不是真的。關(guān)于（Claude）Opus 3.5延遲也曾有類(lèi)似的傳言，但當(dāng)時(shí)也沒(méi)有得到確認(rèn)�！�
這條信息得到了另一名xAI員工Heinrich Kuttler的回應(yīng)：“是的，情況確實(shí)很糟糕。但后來(lái)我們只是用nan替換了那些壞的權(quán)重，現(xiàn)在看起來(lái)又好了。”
證明黎曼猜想，是推理模型的圣杯，也會(huì)成為AI系統(tǒng)超越人類(lèi)智能的一個(gè)標(biāo)志性事件。最近傳出，OpenAI o1的正式版本，即將于本月底ChatGPT兩周年之際推出。
OpenAI負(fù)責(zé)強(qiáng)化學(xué)習(xí)的布朗（Noam Brown），計(jì)劃讓OpenAI 的o1的未來(lái)版本不僅多思考幾秒鐘，而且能思考幾個(gè)小時(shí)、幾天，甚至幾周。即使這樣推理成本會(huì)更高，“但你愿意為一種新的癌癥藥物支付什么代價(jià)？為突破性的電池支付什么代價(jià)？為黎曼猜想的證明支付什么代價(jià)？AI可以不僅僅是聊天機(jī)器人。”
在推理模型o1發(fā)布后，不少人想嘗試用它證明黎曼猜想，如AI大神卡帕西（Andrej Karpathy )，抱怨o1 mini總是拒絕求解黎曼猜想，是典型的大模型“躺平”。
最想摘取這一圣杯的，肯定還有馬斯克。他剛當(dāng)上了美國(guó)“深改委”主任（但沒(méi)有公務(wù)員編制），內(nèi)心真正羨慕嫉妒恨的，只有OpenAI了，還瘋狂地打起了官司。按照他做事的風(fēng)格，要么讓世界相信只有自己能證明黎曼猜想，要么用它當(dāng)成一個(gè)梗來(lái)玩弄對(duì)手。
什么是黎曼猜想？AI大模型能暴力破解嗎？
黎曼猜想（Riemann Hypothesis），1859年由德國(guó)數(shù)學(xué)家伯恩哈德黎曼（Bernhard Riemann）提出。它涉及復(fù)數(shù)域上的黎曼ζ函數(shù)（Riemann zeta function），并認(rèn)為所有非平凡的零點(diǎn)（即使得ζ函數(shù)為零的復(fù)數(shù)點(diǎn)）都位于復(fù)平面上的一條直線上，這條直線的實(shí)部為1/2。還聽(tīng)不懂嗎？
簡(jiǎn)而言之，這一猜想與素?cái)?shù)的分布密切相關(guān)，被認(rèn)為是數(shù)論中的一個(gè)基本問(wèn)題。盡管已有大量的數(shù)值驗(yàn)證支持這一猜想，但至今還沒(méi)有找到完整的數(shù)學(xué)證明，因此它仍然是未解之謎。它也是“克雷數(shù)學(xué)研究所”提出的七大千年難題之一，懸賞100萬(wàn)美元。
為什么掌握素?cái)?shù)的分布如此重要？臨界線被認(rèn)為反映了ζ函數(shù)和素?cái)?shù)之間屬性的深刻對(duì)稱性。證明（或反證）可能涉及復(fù)雜分析、代數(shù)甚至全新數(shù)學(xué)工具的突破性思想。這個(gè)猜想是解析數(shù)論的核心，如果假設(shè)成立，它在物理學(xué)、混沌理論和密碼學(xué)中也有重要意義。
盡管眾多數(shù)學(xué)家已經(jīng)對(duì)數(shù)十億個(gè)零點(diǎn)進(jìn)行了廣泛的數(shù)值驗(yàn)證，黎曼猜想仍未被證明。大模型擁有空前強(qiáng)大的計(jì)算能力，但解決黎曼猜想不僅僅依賴于算力，它需要深厚的理論知識(shí)和新數(shù)學(xué)框架的發(fā)展。先進(jìn)的AI模型可以通過(guò)分析大量數(shù)據(jù)集、識(shí)別模式和測(cè)試猜想提供幫助，但嚴(yán)謹(jǐn)證明的提出仍然要指望人類(lèi)的努力，這并非不可能。
AI證明黎曼猜想？AI巔峰時(shí)刻真到了嗎？
