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