零下25℃如何取暖?海爾水暖通溫暖驛站亮相冰雪大世界馬太效應(yīng),強(qiáng)者恒強(qiáng)?——《中國企業(yè)科創(chuàng)力研究報告(2024)》美團(tuán)年度報告竟然用上了AI和短劇?這下是真出圈了消息稱上汽大眾正開發(fā)三款新車,技術(shù)分別來自小鵬、智己和榮威鴻蒙智行泊車代駕VPD正式開啟全量推送!升級自動泊車/接駕等多項功能華為官方翻新手機(jī)最高降價4000元曝蘋果研發(fā)帶Face ID的智能家居門鈴:內(nèi)置自研W-Fi芯片李斌回應(yīng)螢火蟲外觀設(shè)計:看過實車的人都喜歡這個設(shè)計林杰:未來 A 級、A0 級、A00 級車型都將是領(lǐng)克純電的“主場”豐巢存包柜亮相南寧地鐵站,助力城市韌性建設(shè)與智慧出行萬象分區(qū)、絢彩XDR、量子點Pro 2025齊出手,TCL引領(lǐng)觀影體驗新變革!QQ音樂年度聽歌報告發(fā)布:誰是你最喜歡的歌手?OpenAI正式發(fā)布o(jì)3 - 通往AGI的路上,已經(jīng)沒有了任何阻礙「送禮物」難撬動社交電商,微信小店缺的是供給微軟Phi-4封神,14B小模型數(shù)學(xué)擊敗GPT-4o,合成數(shù)據(jù)占比40%,36頁技術(shù)報告出爐2024年結(jié)束,哪里是原創(chuàng)動畫的應(yīng)許之地?深扒一個正被游戲行業(yè)「搶占」的流量帝國百思買重新進(jìn)軍跨境電商領(lǐng)域視頻生成大模型賽道,只是看上去擁擠GGII:預(yù)計2024年中國工業(yè)機(jī)器人全年銷量約30萬臺,同比下滑5%左右
  • 首頁 > 云計算頻道 > 大模型

    谷歌 DeepMind 推出 AlphaGeometry:奧林匹克級幾何AI系統(tǒng)

    2024年01月22日 15:22:05   來源:站長之家

      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)練,從而克服了這一問題。

    1.jpg

      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)。

    即時

    新聞

    明火炊具市場:三季度健康屬性貫穿全類目

    奧維云網(wǎng)(AVC)推總數(shù)據(jù)顯示,2024年1-9月明火炊具線上零售額94.2億元,同比增加3.1%,其中抖音渠道表現(xiàn)優(yōu)異,同比有14%的漲幅,傳統(tǒng)電商略有下滑,同比降低2.3%。

    企業(yè)IT

    重慶創(chuàng)新公積金應(yīng)用,“區(qū)塊鏈+政務(wù)服務(wù)”顯成效

    “以前都要去窗口辦,一套流程下來都要半個月了,現(xiàn)在方便多了!”打開“重慶公積金”微信小程序,按照提示流程提交相關(guān)材料,僅幾秒鐘,重慶市民曾某的賬戶就打進(jìn)了21600元。

    3C消費(fèi)

    華碩ProArt創(chuàng)藝27 Pro PA279CRV顯示器,高能實力,創(chuàng)

    華碩ProArt創(chuàng)藝27 Pro PA279CRV顯示器,憑借其優(yōu)秀的性能配置和精準(zhǔn)的色彩呈現(xiàn)能力,為您的創(chuàng)作工作帶來實質(zhì)性的幫助,雙十一期間低至2799元,性價比很高,簡直是創(chuàng)作者們的首選。

    研究

    中國信通院羅松:深度解讀《工業(yè)互聯(lián)網(wǎng)標(biāo)識解析體系

    9月14日,2024全球工業(yè)互聯(lián)網(wǎng)大會——工業(yè)互聯(lián)網(wǎng)標(biāo)識解析專題論壇在沈陽成功舉辦。