深圳南财多媒体有限公司介绍

AI成為數(shù)學(xué)家得力助手還要多久
2025-06-19 10:16:24 來源:科技日報(bào) 編輯:
從計(jì)算機(jī)科學(xué)到醫(yī)學(xué)再到國家安全,數(shù)學(xué)是眾多關(guān)鍵應(yīng)用的基石,但數(shù)學(xué)領(lǐng)域的進(jìn)步可能需要數(shù)年時(shí)間才能實(shí)現(xiàn)。

幾百年來,數(shù)學(xué)家使用的工具依然簡樸:一張紙、一支筆。他們憑借邏輯與靈感,在符號的迷宮中尋找通往真理的路徑。

為了打破這一局面,美國國防高級研究計(jì)劃局今年4月啟動(dòng)了“指數(shù)性數(shù)學(xué)”計(jì)劃,旨在開發(fā)一種能極大提升數(shù)學(xué)研究效率的人工智能(AI)“合著者”系統(tǒng)。

幾十年來,數(shù)學(xué)家借助計(jì)算機(jī)進(jìn)行輔助計(jì)算或驗(yàn)證命題,如今的AI或許能更上層樓,挑戰(zhàn)那些人類長年未解的難題。不過,從能解高中題的AI,到能協(xié)助攻克前沿?cái)?shù)學(xué)難關(guān)的AI,中間仍隔著一道鴻溝。

解決重大難題仍力不從心

大型語言模型(LLM)并不擅長數(shù)學(xué)。它們常常出現(xiàn)“幻覺”,甚至可能被誤導(dǎo)相信2+2=5。但新一代大型推理模型,如OpenAI的o3、Anthropic的Claude 4 Thinking等,展現(xiàn)出的進(jìn)步令數(shù)學(xué)家眼前一亮。

今年,這些模型在美國數(shù)學(xué)邀請賽中的表現(xiàn)接近優(yōu)秀高中生水平。不同于過去“一錘定音”式的輸出,這些模型開始嘗試模擬數(shù)學(xué)家逐步推理的思考過程。

同時(shí),一些將LLM與某種事實(shí)核查系統(tǒng)相結(jié)合的新型混合模型也取得了突破。例如,谷歌“深度思維”的AlphaProof系統(tǒng)將語言模型與棋類AI——AlphaZero結(jié)合,成為首個(gè)取得與國際數(shù)學(xué)奧林匹克競賽銀牌得主成績相當(dāng)?shù)南到y(tǒng)。今年5月,谷歌的AlphaEvolve模型更進(jìn)一步,在多個(gè)長期未解的數(shù)學(xué)與計(jì)算難題上找到優(yōu)于人類現(xiàn)有方案的解法。

美國《麻省理工科技評論》指出,盡管這些AI成績亮眼,但專家們普遍認(rèn)為,它們?nèi)圆痪邆湔嬲膮f(xié)助科研的能力。競賽題雖難,卻更像是智力游戲,有一定“套路”。真正的數(shù)學(xué)研究則更開放、更復(fù)雜。面對“P vs NP”“黎曼猜想”等重大難題時(shí),AI仍力不從心。

為了更準(zhǔn)確地評估AI的能力,初創(chuàng)公司Epoch AI去年推出了FrontierMath測試,聯(lián)合60多位數(shù)學(xué)家設(shè)計(jì)出全新高難度題目,避開模型已見過的訓(xùn)練數(shù)據(jù),結(jié)果LLM幾乎集體“交白卷”。

這些測試表明,AI在數(shù)學(xué)道路上雖已邁步,但離“合著者”角色仍有很長一段路要走。

需攻克“超長推理鏈”

仔細(xì)觀察數(shù)學(xué)問題會發(fā)現(xiàn),它們在某些方面類似:解決問題需完成一系列連續(xù)步驟,關(guān)鍵在于找到這些步驟。

美國加州理工學(xué)院謝爾蓋·古科夫指出,困難的差異往往體現(xiàn)在路徑的長度上。高中數(shù)學(xué)可能只需10到40步,而像黎曼猜想這樣的難題,路徑可能長達(dá)百萬步。

這類“超長路徑”極難處理。就像下圍棋時(shí)尋找一條制勝序列,AI必須在指數(shù)級增長的可能路徑中找到正確解法。而在數(shù)學(xué)中,這個(gè)復(fù)雜度要遠(yuǎn)超棋類游戲。

據(jù)物理學(xué)家組織網(wǎng)今年2月報(bào)道,為應(yīng)對這一挑戰(zhàn),古科夫團(tuán)隊(duì)開發(fā)了一種方法,將多個(gè)步驟打包成“超級步驟”,相當(dāng)于穿上“巨人靴”跨越大段路程。他們設(shè)計(jì)了一個(gè)系統(tǒng),其中強(qiáng)化學(xué)習(xí)模型負(fù)責(zé)提出超級步驟,另一個(gè)模型負(fù)責(zé)驗(yàn)證其合理性。

該策略在經(jīng)典未解難題——安德魯斯-柯蒂斯猜想上取得了突破。雖然尚未證明或推翻該猜想,但借助AI,科學(xué)家推翻了一個(gè)40年來被廣泛引用的“反例”。這曾被視為證明該猜想錯(cuò)誤的關(guān)鍵依據(jù)。

牛津大學(xué)數(shù)學(xué)家馬丁·布里森對此表示肯定:“排除錯(cuò)誤路徑,是科研中非常有價(jià)值的一步。”

古科夫相信,這種“壓縮路徑”的思路適用于所有需要推理鏈條的領(lǐng)域。他希望,這種方法不僅能推動(dòng)AI跳出固有模式,也為數(shù)學(xué)研究帶來新突破。

真正的創(chuàng)新和突破仍屬人類

跳出思維定式,正是數(shù)學(xué)家攻克難題的關(guān)鍵。數(shù)學(xué)常被看作機(jī)械推理,而高等數(shù)學(xué)則更像是一場實(shí)驗(yàn),充滿一波三折的試錯(cuò)與靈光乍現(xiàn)的頓悟。

這正是AlphaEvolve等AI工具的優(yōu)勢所在。它通過LLM不斷生成并改進(jìn)解題代碼,配合第二個(gè)模型評估每一輪結(jié)果,最終提出比人類更優(yōu)的解法。這種方法不僅能獨(dú)立探索,也支持人類隨時(shí)介入,提供靈感和指令。

澳大利亞悉尼大學(xué)數(shù)學(xué)家喬迪·威廉姆森強(qiáng)調(diào),探索性思維是數(shù)學(xué)的核心。據(jù)英國《新科學(xué)家》網(wǎng)站報(bào)道,他與Meta合作開發(fā)了PatternBoost AI系統(tǒng),可根據(jù)一個(gè)數(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)路徑、避開死路,但專家普遍認(rèn)為,真正的創(chuàng)新與突破,仍然屬于人類。

關(guān)鍵詞:

相關(guān)閱讀
分享到:
版權(quán)和免責(zé)申明

凡注有"環(huán)球傳媒網(wǎng) - 環(huán)球資訊網(wǎng) - 環(huán)球生活門戶"或電頭為"環(huán)球傳媒網(wǎng) - 環(huán)球資訊網(wǎng) - 環(huán)球生活門戶"的稿件,均為環(huán)球傳媒網(wǎng) - 環(huán)球資訊網(wǎng) - 環(huán)球生活門戶獨(dú)家版權(quán)所有,未經(jīng)許可不得轉(zhuǎn)載或鏡像;授權(quán)轉(zhuǎn)載必須注明來源為"環(huán)球傳媒網(wǎng) - 環(huán)球資訊網(wǎng) - 環(huán)球生活門戶",并保留"環(huán)球傳媒網(wǎng) - 環(huán)球資訊網(wǎng) - 環(huán)球生活門戶"的電頭。

主站蜘蛛池模板: 胶泥瓷砖胶,轻质粉刷石膏,嵌缝石膏厂家,腻子粉批发,永康家德兴,永康市家德兴建材厂 | 干粉砂浆设备-干粉砂浆生产线-干混-石膏-保温砂浆设备生产线-腻子粉设备厂家-国恒机械 | 江苏全风,高压风机,全风环保风机,全风环形高压风机,防爆高压风机厂家-江苏全风环保科技有限公司(官网) | 污水处理设备维修_污水处理工程改造_机械格栅_过滤设备_气浮设备_刮吸泥机_污泥浓缩罐_污水处理设备_污水处理工程-北京龙泉新禹科技有限公司 | 西安文都考研官网_西安考研辅导班_考研培训机构_西安在职考研培训 | 3d打印服务,3d打印汽车,三维扫描,硅胶复模,手板,快速模具,深圳市精速三维打印科技有限公司 | 仿清水混凝土_清水混凝土装修_施工_修饰_保护剂_修补_清水混凝土修复-德州忠岭建筑装饰工程 | 无轨电动平车_轨道平车_蓄电池电动平车★尽在新乡百特智能转运设备有限公司 | 微型驱动系统解决方案-深圳市兆威机电股份有限公司 | 福建成考网-福建成人高考网| 东莞ERP软件_广州云ERP_中山ERP_台湾工厂erp系统-广东顺景软件科技有限公司 | 玉米深加工机械,玉米加工设备,玉米加工机械等玉米深加工设备制造商-河南成立粮油机械有限公司 | 国产液相色谱仪-超高效液相色谱仪厂家-上海伍丰科学仪器有限公司 | 搪瓷搅拌器,搪玻璃搅拌器,搪玻璃冷凝器_厂家-淄博越宏化工设备 | 合肥汽车充电桩_安徽充电桩_电动交流充电桩厂家_安徽科帝新能源科技有限公司 | 磁力抛光机_磁力研磨机_磁力去毛刺机-冠古设备厂家|维修|租赁【官网】 | 酒店厨房设计_中央厨房设计_北京商用厨房设计公司-奇能商厨 | 温州富欧金属封头-不锈钢封头厂家 | 拉卡拉POS机官网 - 官方直营POS机办理|在线免费领取 | 三效蒸发器_多效蒸发器价格_四效三效蒸发器厂家-青岛康景辉 | 北京企业宣传片拍摄_公司宣传片制作-广告短视频制作_北京宣传片拍摄公司 | 土壤养分检测仪_肥料养分检测仪_土壤水分检测仪-山东莱恩德仪器 大型多片锯,圆木多片锯,方木多片锯,板材多片锯-祥富机械有限公司 | 济南电缆桥架|山东桥架-济南航丰实业有限公司 | 艾默生变频器,艾默生ct,变频器,ct驱动器,广州艾默生变频器,供水专用变频器,风机变频器,电梯变频器,艾默生变频器代理-广州市盟雄贸易有限公司官方网站-艾默生变频器应用解决方案服务商 | 不锈钢电动球阀_气动高压闸阀_旋塞疏水调节阀_全立阀门-来自温州工业阀门巨头企业 | 广州/东莞小字符喷码机-热转印打码机-喷码机厂家-广州瑞润科技 | 新能源汽车电池软连接,铜铝复合膜柔性连接,电力母排-容发智能科技(无锡)有限公司 | 手持气象站_便携式气象站_农业气象站_负氧离子监测站-山东万象环境 | 水厂自动化-水厂控制系统-泵站自动化|控制系统-闸门自动化控制-济南华通中控科技有限公司 | 尊享蟹太太美味,大闸蟹礼卡|礼券|礼盒在线预订-蟹太太官网 | 家德利门业,家居安全门,别墅大门 - 安徽家德利门业有限公司 | 单锥双螺旋混合机_双螺旋锥形混合机-无锡新洋设备科技有限公司 | 新能源汽车电池软连接,铜铝复合膜柔性连接,电力母排-容发智能科技(无锡)有限公司 | 一航网络-软件测评官网 | 磁力抛光机_磁力研磨机_磁力去毛刺机-冠古设备厂家|维修|租赁【官网】 | 齿轮减速机_齿轮减速电机-VEMT蜗轮蜗杆减速机马达生产厂家瓦玛特传动瑞环机电 | 二手Sciex液质联用仪-岛津气质联用仪-二手安捷伦气质联用仪-上海隐智科学仪器有限公司 | 网站优化公司_北京网站优化_抖音短视频代运营_抖音关键词seo优化排名-通则达网络 | 团建-拓展-拓展培训-拓展训练-户外拓展训练基地[无锡劲途] | 找果网 | 苹果手机找回方法,苹果iPhone手机丢了找回,认准找果网! | 青州开防盗门锁-配汽车芯片钥匙-保险箱钥匙-吉祥修锁店 |