Grok 3 證明黎曼猜想？AI訓練出大事嚇壞網友 最後發現是烏龍

近期，xAI工程師Hieu Pham在社交媒體上發佈了一條“爆炸性”消息，聲稱xAI旗下的大語言模型Grok3成功證明了黎曼猜想，並因此暫停了模型的訓練。這條消息迅速在AI圈引發熱議，網友們紛紛表示震驚，難以分辨真假。畢竟，黎曼猜想作爲千禧年七大數學難題之一，被譽爲“猜想界的皇冠”，其難度可想而知。

幾小時後，Pham在另一條帖子中揭曉了答案:這只是一場調侃。這場“烏龍”源於網友Andrew Curran的爆料，他聲稱Grok3在訓練過程中遭遇了“災難性事件”。

面對越傳越離譜的謠言，xAI聯創Greg Yang忍不住發文諷刺道，“對對對，Grok3訓着訓着就開始攻擊辦公室的保安了。”另一位研究人員Heinrich Kuttler也幽默地表示，“情況非常糟糕!我們後來用nan（Not a Number，非數）把所有壞的權重都替換了一遍，才恢復。”網友們見狀也紛紛加入玩梗的行列。

雖然這場“鬧劇”最終以玩笑收場，但也引發了人們對於AI數學能力的思考。

那麼，AI究竟離攻克黎曼猜想這樣的千禧年數學難題還有多遠呢?

我們可以從谷歌DeepMind團隊開發的AI數學證明工具AlphaProof的表現窺見一二。AlphaProof在2024年國際數學奧林匹克競賽（IMO）中成功解出了三道題，其中第六題更是被譽爲“終極boss”，難度極高。AlphaProof在解題過程中展現出了強大的邏輯推理能力和創造性思維，例如在第二題中，它巧妙地選擇了考慮數ab+1來構建證明，這一策略與人類的解題思路不謀而合。

雖然AlphaProof取得了令人矚目的成績，但要想攻克黎曼猜想這樣的頂級數學難題，AI還有很長的路要走。黎曼猜想自1859年提出至今，已有165年的歷史，無數數學家爲之傾盡心血，但始終未能徹底證明。

AI要證明黎曼猜想，需要具備強大的計算能力和深度推理能力。目前，AI可以通過窮舉法搜索所有可能的證明來找到可證明的定理，但這需要天文數字般的計算資源。此外，AI還需要具備理解和應用現有數學工具的能力，才能在數學研究中發揮更大的作用。

一些AI專家預測，到2026年底，AI將成爲“超人數學家”，足以解決黎曼猜想等難題。馬斯克也曾許諾，用20萬臺H100訓練的Grok3將在年底發佈，並將帶來令人驚歎的表現。

未來，AI能否在數學領域取得突破性進展，讓我們拭目以待。