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

幾小時(shí)后，Pham在另一條帖子中揭曉了答案:這只是一場(chǎng)調(diào)侃。這場(chǎng)“烏龍”源于網(wǎng)友Andrew Curran的爆料，他聲稱Grok3在訓(xùn)練過程中遭遇了“災(zāi)難性事件”。

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

雖然這場(chǎng)“鬧劇”最終以玩笑收?qǐng)觯惨l(fā)了人們對(duì)于AI數(shù)學(xué)能力的思考。

那么，AI究竟離攻克黎曼猜想這樣的千禧年數(shù)學(xué)難題還有多遠(yuǎn)呢?

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

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

AI要證明黎曼猜想，需要具備強(qiáng)大的計(jì)算能力和深度推理能力。目前，AI可以通過窮舉法搜索所有可能的證明來找到可證明的定理，但這需要天文數(shù)字般的計(jì)算資源。此外，AI還需要具備理解和應(yīng)用現(xiàn)有數(shù)學(xué)工具的能力，才能在數(shù)學(xué)研究中發(fā)揮更大的作用。

一些AI專家預(yù)測(cè)，到2026年底，AI將成為“超人數(shù)學(xué)家”，足以解決黎曼猜想等難題。馬斯克也曾許諾，用20萬臺(tái)H100訓(xùn)練的Grok3將在年底發(fā)布，并將帶來令人驚嘆的表現(xiàn)。

未來，AI能否在數(shù)學(xué)領(lǐng)域取得突破性進(jìn)展，讓我們拭目以待。