1月22日 消息:谷歌旗下的DeepMind研究團(tuán)隊最近推出了名為AlphaGeometry的人工智能系統(tǒng),該系統(tǒng)在解決幾何奧林匹克問題方面表現(xiàn)出色,幾乎可與人類金牌得主相媲美。這一成就代表著在大學(xué)預(yù)科數(shù)學(xué)困難領(lǐng)域中復(fù)雜自動推理能力的顯著進(jìn)步。
幾何奧林匹克問題一直以來都被認(rèn)為是人類層面思考的標(biāo)準(zhǔn),由于其難度,人工智能在這一領(lǐng)域的應(yīng)用一直面臨挑戰(zhàn),尤其是由于缺乏足夠的訓(xùn)練數(shù)據(jù)。然而,AlphaGeometry的研發(fā)團(tuán)隊采用了創(chuàng)新性的方法,通過綜合數(shù)百萬個不同復(fù)雜程度的定理和證明,構(gòu)建了大型數(shù)據(jù)集進(jìn)行訓(xùn)練,從而克服了這一問題。
AlphaGeometry專為歐幾里得平面幾何設(shè)計,采用了神經(jīng)語言模型和符號推演引擎的獨特組合。通過創(chuàng)建合成數(shù)據(jù)進(jìn)行訓(xùn)練,該系統(tǒng)可以從頭開始完全訓(xùn)練,使其能夠在數(shù)學(xué)定理證明方面表現(xiàn)卓越。
在IMO-AG-30基準(zhǔn)測試中,該系統(tǒng)在30個經(jīng)典幾何問題中獲得了25個問題的成功率,超過了基線,展示了其解決復(fù)雜幾何問題的能力。AlphaGeometry生成人類可讀的證明,提高了答案的可解釋性,同時在解決國際數(shù)學(xué)奧林匹克競賽(IMO)中的問題方面取得了與金牌得主相媲美的水平。
AlphaGeometry的發(fā)布標(biāo)志著在計算機(jī)程序領(lǐng)域中首次實現(xiàn)了比IMO平均候選程序更有效地證明歐幾里得平面幾何定理的突破,推動了數(shù)學(xué)競賽頂峰推理的自動化。
文章內(nèi)容僅供閱讀,不構(gòu)成投資建議,請謹(jǐn)慎對待。投資者據(jù)此操作,風(fēng)險自擔(dān)。
2024年的Adobe MAX 2024發(fā)布會上,Adobe推出了最新版本的Adobe Creative Cloud。
奧維云網(wǎng)(AVC)推總數(shù)據(jù)顯示,2024年1-9月明火炊具線上零售額94.2億元,同比增加3.1%,其中抖音渠道表現(xiàn)優(yōu)異,同比有14%的漲幅,傳統(tǒng)電商略有下滑,同比降低2.3%。
“以前都要去窗口辦,一套流程下來都要半個月了,現(xiàn)在方便多了!”打開“重慶公積金”微信小程序,按照提示流程提交相關(guān)材料,僅幾秒鐘,重慶市民曾某的賬戶就打進(jìn)了21600元。
華碩ProArt創(chuàng)藝27 Pro PA279CRV顯示器,憑借其優(yōu)秀的性能配置和精準(zhǔn)的色彩呈現(xiàn)能力,為您的創(chuàng)作工作帶來實質(zhì)性的幫助,雙十一期間低至2799元,性價比很高,簡直是創(chuàng)作者們的首選。
9月14日,2024全球工業(yè)互聯(lián)網(wǎng)大會——工業(yè)互聯(lián)網(wǎng)標(biāo)識解析專題論壇在沈陽成功舉辦。