從計算機科學(xué)到醫(yī)學(xué)再到國家安全，數(shù)學(xué)是眾多關(guān)鍵應(yīng)用的基石，但數(shù)學(xué)領(lǐng)域的進步可能需要數(shù)年時間才能實現(xiàn)。
幾百年來，數(shù)學(xué)家使用的工具依然簡樸：一張紙、一支筆。他們憑借邏輯與靈感，在符號的迷宮中尋找通往真理的路徑。
為了打破這一局面，美國國防高級研究計劃局今年4月啟動了“指數(shù)性數(shù)學(xué)”計劃，旨在開發(fā)一種能極大提升數(shù)學(xué)研究效率的人工智能（AI）“合著者”系統(tǒng)。
幾十年來，數(shù)學(xué)家借助計算機進行輔助計算或驗證命題，如今的AI或許能更上層樓，挑戰(zhàn)那些人類長年未解的難題。不過，從能解高中題的AI，到能協(xié)助攻克前沿數(shù)學(xué)難關(guān)的AI，中間仍隔著一道鴻溝。
解決重大難題仍力不從心
大型語言模型（LLM）并不擅長數(shù)學(xué)。它們常常出現(xiàn)“幻覺”，甚至可能被誤導(dǎo)相信2+2=5。但新一代大型推理模型，如OpenAI的o3、Anthropic的Claude 4 Thinking等，展現(xiàn)出的進步令數(shù)學(xué)家眼前一亮。
今年，這些模型在美國數(shù)學(xué)邀請賽中的表現(xiàn)接近優(yōu)秀高中生水平。不同于過去“一錘定音”式的輸出，這些模型開始嘗試模擬數(shù)學(xué)家逐步推理的思考過程。
同時，一些將LLM與某種事實核查系統(tǒng)相結(jié)合的新型混合模型也取得了突破。例如，谷歌“深度思維”的AlphaProof系統(tǒng)將語言模型與棋類AI——AlphaZero結(jié)合，成為首個取得與國際數(shù)學(xué)奧林匹克競賽銀牌得主成績相當(dāng)?shù)南到y(tǒng)。今年5月，谷歌的AlphaEvolve模型更進一步，在多個長期未解的數(shù)學(xué)與計算難題上找到優(yōu)于人類現(xiàn)有方案的解法。
美國《麻省理工科技評論》指出，盡管這些AI成績亮眼，但專家們普遍認為，它們?nèi)圆痪邆湔嬲膮f(xié)助科研的能力。競賽題雖難，卻更像是智力游戲，有一定“套路”。真正的數(shù)學(xué)研究則更開放、更復(fù)雜。面對“P vs NP”“黎曼猜想”等重大難題時，AI仍力不從心。
為了更準確地評估AI的能力，初創(chuàng)公司Epoch AI去年推出了FrontierMath測試，聯(lián)合60多位數(shù)學(xué)家設(shè)計出全新高難度題目，避開模型已見過的訓(xùn)練數(shù)據(jù)，結(jié)果LLM幾乎集體“交白卷”。
這些測試表明，AI在數(shù)學(xué)道路上雖已邁步，但離“合著者”角色仍有很長一段路要走。
需攻克“超長推理鏈”
仔細觀察數(shù)學(xué)問題會發(fā)現(xiàn)，它們在某些方面類似：解決問題需完成一系列連續(xù)步驟，關(guān)鍵在于找到這些步驟。
美國加州理工學(xué)院謝爾蓋·古科夫指出，困難的差異往往體現(xiàn)在路徑的長度上。高中數(shù)學(xué)可能只需10到40步，而像黎曼猜想這樣的難題，路徑可能長達百萬步。
這類“超長路徑”極難處理。就像下圍棋時尋找一條制勝序列，AI必須在指數(shù)級增長的可能路徑中找到正確解法。而在數(shù)學(xué)中，這個復(fù)雜度要遠超棋類游戲。
據(jù)物理學(xué)家組織網(wǎng)今年2月報道，為應(yīng)對這一挑戰(zhàn)，古科夫團隊開發(fā)了一種方法，將多個步驟打包成“超級步驟”，相當(dāng)于穿上“巨人靴”跨越大段路程。他們設(shè)計了一個系統(tǒng)，其中強化學(xué)習(xí)模型負責(zé)提出超級步驟，另一個模型負責(zé)驗證其合理性。
該策略在經(jīng)典未解難題——安德魯斯-柯蒂斯猜想上取得了突破。雖然尚未證明或推翻該猜想，但借助AI，科學(xué)家推翻了一個40年來被廣泛引用的“反例”。這曾被視為證明該猜想錯誤的關(guān)鍵依據(jù)。
牛津大學(xué)數(shù)學(xué)家馬丁·布里森對此表示肯定：“排除錯誤路徑，是科研中非常有價值的一步。”
古科夫相信，這種“壓縮路徑”的思路適用于所有需要推理鏈條的領(lǐng)域。他希望，這種方法不僅能推動AI跳出固有模式，也為數(shù)學(xué)研究帶來新突破。
真正的創(chuàng)新和突破仍屬人類
跳出思維定式，正是數(shù)學(xué)家攻克難題的關(guān)鍵。數(shù)學(xué)常被看作機械推理，而高等數(shù)學(xué)則更像是一場實驗，充滿一波三折的試錯與靈光乍現(xiàn)的頓悟。
這正是AlphaEvolve等AI工具的優(yōu)勢所在。它通過LLM不斷生成并改進解題代碼，配合第二個模型評估每一輪結(jié)果，最終提出比人類更優(yōu)的解法。這種方法不僅能獨立探索，也支持人類隨時介入，提供靈感和指令。
澳大利亞悉尼大學(xué)數(shù)學(xué)家喬迪·威廉姆森強調(diào)，探索性思維是數(shù)學(xué)的核心。據(jù)英國《新科學(xué)家》網(wǎng)站報道，他與Meta合作開發(fā)了PatternBoost AI系統(tǒng)，可根據(jù)一個數(shù)學(xué)想法生成相似概念，幫助激發(fā)靈感。他說：“這就像是這里有一堆有趣的東西，我不知道是怎么回事，但你能再生成一些類似的東西嗎？”
這種頭腦風(fēng)暴在數(shù)學(xué)中至關(guān)重要，它是新想法產(chǎn)生的源泉。以二十面體為例——古希臘人通過純粹推理發(fā)現(xiàn)了它，其形狀并不存在于自然界中，卻深刻影響了數(shù)學(xué)的發(fā)展。威廉姆森希望，AI未來也能協(xié)助發(fā)現(xiàn)類似的“新數(shù)學(xué)對象”。
不過，目前AI仍缺乏真正的創(chuàng)造力。讓AI贏棋是一回事，讓它發(fā)明圍棋游戲則是另一回事。像AlphaEvolve和PatternBoost這樣的工具或許能作為人類直覺的“偵察兵”，幫助人們發(fā)現(xiàn)路徑、避開死路，但專家普遍認為，真正的創(chuàng)新與突破，仍然屬于人類。
從計算機科學(xué)到醫(yī)學(xué)再到國家安全，數(shù)學(xué)是眾多關(guān)鍵應(yīng)用的基石，但數(shù)學(xué)領(lǐng)域的進步可能需要數(shù)年時間才能實現(xiàn)。
幾百年來，數(shù)學(xué)家使用的工具依然簡樸：一張紙、一支筆。他們憑借邏輯與靈感，在符號的迷宮中尋找通往真理的路徑。
為了打破這一局面，美國國防高級研究計劃局今年4月啟動了“指數(shù)性數(shù)學(xué)”計劃，旨在開發(fā)一種能極大提升數(shù)學(xué)研究效率的人工智能（AI）“合著者”系統(tǒng)。
幾十年來，數(shù)學(xué)家借助計算機進行輔助計算或驗證命題，如今的AI或許能更上層樓，挑戰(zhàn)那些人類長年未解的難題。不過，從能解高中題的AI，到能協(xié)助攻克前沿數(shù)學(xué)難關(guān)的AI，中間仍隔著一道鴻溝。
解決重大難題仍力不從心
大型語言模型（LLM）并不擅長數(shù)學(xué)。它們常常出現(xiàn)“幻覺”，甚至可能被誤導(dǎo)相信2+2=5。但新一代大型推理模型，如OpenAI的o3、Anthropic的Claude 4 Thinking等，展現(xiàn)出的進步令數(shù)學(xué)家眼前一亮。
今年，這些模型在美國數(shù)學(xué)邀請賽中的表現(xiàn)接近優(yōu)秀高中生水平。不同于過去“一錘定音”式的輸出，這些模型開始嘗試模擬數(shù)學(xué)家逐步推理的思考過程。
同時，一些將LLM與某種事實核查系統(tǒng)相結(jié)合的新型混合模型也取得了突破。例如，谷歌“深度思維”的AlphaProof系統(tǒng)將語言模型與棋類AI——AlphaZero結(jié)合，成為首個取得與國際數(shù)學(xué)奧林匹克競賽銀牌得主成績相當(dāng)?shù)南到y(tǒng)。今年5月，谷歌的AlphaEvolve模型更進一步，在多個長期未解的數(shù)學(xué)與計算難題上找到優(yōu)于人類現(xiàn)有方案的解法。
美國《麻省理工科技評論》指出，盡管這些AI成績亮眼，但專家們普遍認為，它們?nèi)圆痪邆湔嬲膮f(xié)助科研的能力。競賽題雖難，卻更像是智力游戲，有一定“套路”。真正的數(shù)學(xué)研究則更開放、更復(fù)雜。面對“P vs NP”“黎曼猜想”等重大難題時，AI仍力不從心。
為了更準確地評估AI的能力，初創(chuàng)公司Epoch AI去年推出了FrontierMath測試，聯(lián)合60多位數(shù)學(xué)家設(shè)計出全新高難度題目，避開模型已見過的訓(xùn)練數(shù)據(jù)，結(jié)果LLM幾乎集體“交白卷”。
這些測試表明，AI在數(shù)學(xué)道路上雖已邁步，但離“合著者”角色仍有很長一段路要走。
需攻克“超長推理鏈”
仔細觀察數(shù)學(xué)問題會發(fā)現(xiàn)，它們在某些方面類似：解決問題需完成一系列連續(xù)步驟，關(guān)鍵在于找到這些步驟。
美國加州理工學(xué)院謝爾蓋·古科夫指出，困難的差異往往體現(xiàn)在路徑的長度上。高中數(shù)學(xué)可能只需10到40步，而像黎曼猜想這樣的難題，路徑可能長達百萬步。
這類“超長路徑”極難處理。就像下圍棋時尋找一條制勝序列，AI必須在指數(shù)級增長的可能路徑中找到正確解法。而在數(shù)學(xué)中，這個復(fù)雜度要遠超棋類游戲。
據(jù)物理學(xué)家組織網(wǎng)今年2月報道，為應(yīng)對這一挑戰(zhàn)，古科夫團隊開發(fā)了一種方法，將多個步驟打包成“超級步驟”，相當(dāng)于穿上“巨人靴”跨越大段路程。他們設(shè)計了一個系統(tǒng)，其中強化學(xué)習(xí)模型負責(zé)提出超級步驟，另一個模型負責(zé)驗證其合理性。
該策略在經(jīng)典未解難題——安德魯斯-柯蒂斯猜想上取得了突破。雖然尚未證明或推翻該猜想，但借助AI，科學(xué)家推翻了一個40年來被廣泛引用的“反例”。這曾被視為證明該猜想錯誤的關(guān)鍵依據(jù)。
牛津大學(xué)數(shù)學(xué)家馬丁·布里森對此表示肯定：“排除錯誤路徑，是科研中非常有價值的一步。”
古科夫相信，這種“壓縮路徑”的思路適用于所有需要推理鏈條的領(lǐng)域。他希望，這種方法不僅能推動AI跳出固有模式，也為數(shù)學(xué)研究帶來新突破。
真正的創(chuàng)新和突破仍屬人類
跳出思維定式，正是數(shù)學(xué)家攻克難題的關(guān)鍵。數(shù)學(xué)常被看作機械推理，而高等數(shù)學(xué)則更像是一場實驗，充滿一波三折的試錯與靈光乍現(xiàn)的頓悟。
這正是AlphaEvolve等AI工具的優(yōu)勢所在。它通過LLM不斷生成并改進解題代碼，配合第二個模型評估每一輪結(jié)果，最終提出比人類更優(yōu)的解法。這種方法不僅能獨立探索，也支持人類隨時介入，提供靈感和指令。
澳大利亞悉尼大學(xué)數(shù)學(xué)家喬迪·威廉姆森強調(diào)，探索性思維是數(shù)學(xué)的核心。據(jù)英國《新科學(xué)家》網(wǎng)站報道，他與Meta合作開發(fā)了PatternBoost AI系統(tǒng)，可根據(jù)一個數(shù)學(xué)想法生成相似概念，幫助激發(fā)靈感。他說：“這就像是這里有一堆有趣的東西，我不知道是怎么回事，但你能再生成一些類似的東西嗎？”
這種頭腦風(fēng)暴在數(shù)學(xué)中至關(guān)重要，它是新想法產(chǎn)生的源泉。以二十面體為例——古希臘人通過純粹推理發(fā)現(xiàn)了它，其形狀并不存在于自然界中，卻深刻影響了數(shù)學(xué)的發(fā)展。威廉姆森希望，AI未來也能協(xié)助發(fā)現(xiàn)類似的“新數(shù)學(xué)對象”。
不過，目前AI仍缺乏真正的創(chuàng)造力。讓AI贏棋是一回事，讓它發(fā)明圍棋游戲則是另一回事。像AlphaEvolve和PatternBoost這樣的工具或許能作為人類直覺的“偵察兵”，幫助人們發(fā)現(xiàn)路徑、避開死路，但專家普遍認為，真正的創(chuàng)新與突破，仍然屬于人類。
本文鏈接：http://www.lbgj202.com/v-146-2138.htmlAI成為數(shù)學(xué)家得力助手還要多久
相關(guān)文章：
王騰超前曬REDMI K80至尊版真機：全四款配色 小米15同工藝06-17
學(xué)校母親節(jié)的活動總結(jié)01-19
初三體育教師工作總結(jié)01-14
八年級物理工作總結(jié)01-10
最新企業(yè)培訓(xùn)工作總結(jié)(九篇)09-27
大學(xué)生寒假假期安全承諾書01-02
付款保證書07-16
體育培訓(xùn)心得200字04-26
運動會開幕式新聞稿10-19
入職培訓(xùn)感想10-10
幼兒教師三八節(jié)發(fā)言稿09-12
親情散文11-21
開學(xué)第一課五年級作文09-06
西安交大附中今年高考成績（西安市育才中學(xué)高考成績）09-14
小班秋冬季傳染病預(yù)防知識教案09-27
小眾且高級的生日文案朋友01-30
幼兒園管理工作自查報告08-31
銀行安全生產(chǎn)自查報告07-26