近日，關於xAI旗下大語言模型Grok3證明黎曼猜想的傳聞在AI圈引發軒然大波。 xAI工程師Hieu Pham的社群媒體爆料，表示Grok3成功證明了這個數學難題，並因此暫停訓練，消息一出，立刻引發熱議。然而，很快地Pham就澄清這只是個玩笑，一場由網友爆料Grok3訓練過程中出現「災難性事件」而引發的烏龍。 Downcodes小編將帶你回顧這場“鬧劇”，並探討AI在攻克數學難題方面的進展。
幾小時後，Pham在另一篇貼文中揭曉了答案:這只是一場調侃。這場「烏龍」源自於網友Andrew Curran的爆料，他聲稱Grok3在訓練過程中遭遇了「災難性事件」。
面對越傳越離譜的謠言，xAI聯創Greg Yang忍不住發文諷刺道，「對對對，Grok3訓著訓著就開始攻擊辦公室的保安了。」另一位研究人員Heinrich Kuttler也幽默地表示，「情況非常糟糕!我們後來用nan（Not a Number，非數）把所有壞的權重都替換了一遍，才恢復。」網友們見狀也紛紛加入玩梗的行列。
雖然這場「鬧劇」最終以玩笑收場，但也引發了人們對AI數學能力的思考。
那麼，AI究竟離攻克黎曼猜想這樣的千禧年數學難題還有多遠呢?
我們可以從GoogleDeepMind團隊開發的AI數學證明工具AlphaProof的表現窺見一二。 AlphaProof在2024年國際數學奧林匹克競賽（IMO）中成功解出了三題，其中第六題更是被譽為“終極boss”，難度極高。 AlphaProof在解題過程中展現了強大的邏輯推理能力和創造性思維，例如在第二題中，它巧妙地選擇了考慮數ab+1來構建證明，這一策略與人類的解題思路不謀而合。
雖然AlphaProof取得了令人矚目的成績，但要想攻克黎曼猜想這樣的頂級數學難題，AI還有很長的路要走。黎曼猜想自1859年提出至今，已有165年的歷史，無數數學家為之傾盡心血，但始終未能徹底證明。
AI要證明黎曼猜想，需要具備強大的運算能力和深度推理能力。目前，AI可以透過窮舉法搜尋所有可能的證明來找到可證明的定理，但這需要天文數字般的計算資源。此外，AI還需要具備理解和應用現有數學工具的能力，才能在數學研究中發揮更大的作用。
一些AI專家預測，到2026年底，AI將成為“超人數學家”，足以解決黎曼猜想等難題。馬斯克也曾許諾，以20萬台H100訓練的Grok3將在年底發布，並將帶來令人驚嘆的表現。
未來，AI能否在數學領域取得突破性進展，讓我們拭目以待。
這場關於Grok3證明黎曼猜想的“烏龍事件”，既展現了AI技術的快速發展，也提醒我們對AI能力的評估應保持謹慎和理性。 AI在數學領域的應用前景廣闊，但攻克黎曼猜想這樣的世紀難題，仍需漫長而艱辛的探索。