谷歌AI系統(tǒng)解決幾何問題水平接近奧數(shù)冠軍
新華社北京1月22日電 谷歌旗下人工智能公司“深層思維”近日發(fā)布公報稱,該公司與美國紐約大學(xué)的研究人員合作開發(fā)的一種名為AlphaGeometry的人工智能(AI)系統(tǒng),可以解決復(fù)雜的幾何問題,其水平接近國際數(shù)學(xué)奧林匹克競賽金牌得主,這是人工智能在性能上的突破。
證明數(shù)學(xué)定理是一項具有挑戰(zhàn)性的工作,因此國際數(shù)學(xué)奧林匹克競賽通常被認(rèn)為是識別相關(guān)人才的方法,同時也是AI在數(shù)學(xué)和推理領(lǐng)域的試驗場。公報說,AI系統(tǒng)往往難以解決幾何和數(shù)學(xué)中的復(fù)雜問題,而該研究團(tuán)隊開發(fā)的一種方法可生成大量的合成訓(xùn)練數(shù)據(jù)(1億個獨特的示例),能讓AlphaGeometry在沒有任何人工演示的情況下進(jìn)行自我訓(xùn)練。此外,研究團(tuán)隊還添加了一個基于形式邏輯的符號推演引擎,能讓系統(tǒng)做出更“深思熟慮”的決策。
測試結(jié)果顯示,在2000年到2022年國際數(shù)學(xué)奧林匹克競賽匯編的30個幾何問題中,AlphaGeometry在比賽時間內(nèi)解決了25個問題,而通常的人類金牌得主能解決25.9個。相比之下,此前最先進(jìn)的AI系統(tǒng)只解決了其中的10個。
公報說,通過AlphaGeometry,研究團(tuán)隊展示了AI日益增長的邏輯推理能力,以及發(fā)現(xiàn)和驗證新知識的能力。解決國際數(shù)學(xué)奧林匹克競賽級別的幾何問題,是在通往更先進(jìn)和通用的AI系統(tǒng)的道路上發(fā)展深度數(shù)學(xué)推理的一個重要里程碑。研究團(tuán)隊正在開源AlphaGeometry代碼和模型,并希望它與合成數(shù)據(jù)生成和訓(xùn)練中的其他工具和方法一起,推動數(shù)學(xué)和人工智能等領(lǐng)域的新發(fā)展。
相關(guān)論文已發(fā)表在英國《自然》雜志上。
隨便看看:
- [業(yè)內(nèi)]從“好玩”到“好用” 在2023中國計算機大會看大模型未來應(yīng)
- [業(yè)內(nèi)]中國科學(xué)家用新技術(shù)提高鹽堿地生產(chǎn)力
- [業(yè)內(nèi)]中關(guān)村播“種”記 京津冀協(xié)同發(fā)展的中關(guān)村紀(jì)事
- [業(yè)內(nèi)]海南自貿(mào)港:顏值之外有“研值”
- [業(yè)內(nèi)]俄計劃2031-2040年宇航員登月
- [業(yè)內(nèi)]多種新技術(shù)應(yīng)用亮相2023年網(wǎng)絡(luò)安全博覽會
- [業(yè)內(nèi)]關(guān)于外來入侵物種福壽螺,你真的了解嗎?
- [業(yè)內(nèi)]中國林科院無人機巡護(hù)監(jiān)測系統(tǒng)為森林防火“保駕護(hù)航”
- [業(yè)內(nèi)]新原料新功能創(chuàng)新會議順利召開
- [業(yè)內(nèi)]美研究人員合成能殺死細(xì)菌的新型聚合物
相關(guān)推薦:
網(wǎng)友評論:
推薦使用友言、多說、暢言(需備案后使用)等社會化評論插件
- 力德動力30kw微渦發(fā)電機成功完成高原考核
- 突破溫度與凈化邊界,美的空氣機打造舒適生活空間
- 原創(chuàng)科技守味二十四節(jié)氣!卡薩帝冰箱濟(jì)南啟動非遺守護(hù)
- 最新盤點!中國超聲波焊接機TOP10,首位靈科,其
- 科技與美學(xué)的突破:伯恩光學(xué)聯(lián)合三星重塑智能手機形態(tài)
- 阿爾西溫控技術(shù)自主破局!國產(chǎn)創(chuàng)新撕破海外壟斷壁壘,
- 樂創(chuàng)技術(shù)五軸點膠+視覺補償:破解AR/VR光學(xué)模塊
- 臺易探針
- 卓興半導(dǎo)體芯上印刷工藝:封裝新突破,攻克點膠印刷難
- 科技賦能民生福祉 金天國際以創(chuàng)新實踐助力國家戰(zhàn)略落
- 熱點搶先看|2024南方網(wǎng)通第二十五屆渠道商交流會
- 《大數(shù)據(jù)平臺云化改造實踐指南(2024)》發(fā)布,天
- 覺卿諦語智能科技在全國12355心理健康大會上展示
- 當(dāng)好“兩個稀土基地”建設(shè)主力軍,北方嘉軒永磁電機大
- 大模型助力工業(yè)智能化發(fā)展
- 工商業(yè)光伏發(fā)電施工指南-太陽庫光伏
- 科技賦能,避震嬰兒車或成為行業(yè)硬通貨
- 龍旗科技進(jìn)軍AI PC市場,激發(fā)行業(yè)創(chuàng)新活力
- 科技賦能教育:核桃編程亮相“科創(chuàng)中國·北京創(chuàng)新薈”
- 英偉達(dá)搶占高位,市場急需尋求新機遇,這三支AI股值