接近金牌水平,AI向人類奧數“下手”

1532次瀏覽

從下棋到解析蛋白質結構,人工智能(AI)變得越來越無所不能。美國谷歌公司的DeepMind這次將目標瞄準數學領域,開發的一款AI幾何推理模型——AlphaGeometry能夠以接近國際數學奧林匹克(奧數)競賽金牌得主的水平,解決復雜的幾何問題。相關研究1月17日發表于《自然》。rEO知多少教育網-記錄每日最新科研教育資訊

奧數面向中學生每年7月舉辦,是全球最難的數學競賽之一。解決奧數幾何問題需要一定的數學創造力,而這正是AI一直在試圖攻克的。即使在其他領域展現出非凡推理能力的OpenAI的GPT-4,在奧數幾何問題上也只能得0分。rEO知多少教育網-記錄每日最新科研教育資訊

AI之所以對奧數幾何問題久攻不下,除了問題的難度外,缺乏訓練數據也是一個很重要的原因。奧數自1959年以來每年舉辦一次,且每次比賽只有6道題。然而,AI系統解決幾何問題需要數百萬甚至數十億個數據點,現有數據遠不能滿足訓練的需要。rEO知多少教育網-記錄每日最新科研教育資訊

為此,DeepMind的Thang Luong和同事創建了一種工具,可生成數以億計的機器可讀的幾何證明,從而繞過了現有數據不足的難點。rEO知多少教育網-記錄每日最新科研教育資訊

研究人員使用這些數據對AlphaGeometry進行訓練,并用30道奧數幾何題對它進行基準測試。結果,AlphaGeometry在標準時限內正確解出了25道題。相比之下,之前最先進的系統解決了其中10道題,而根據預測,人類奧數金牌得主平均解決25.9道題。rEO知多少教育網-記錄每日最新科研教育資訊

Luong介紹,AlphaGeometry由兩部分組成,一個是快速、直觀的語言模型系統——GPT-f,另一個是較慢、更具分析性的“符號引擎”系統。rEO知多少教育網-記錄每日最新科研教育資訊

面對一道奧數幾何題,AlphaGeometry首先利用GPT-f提出要嘗試的定理和論點,接著“符號引擎”就會通過邏輯推理,按照數學規則構建GPT-f提出的論點。兩個系統協同工作、不斷切換,直到問題解決。rEO知多少教育網-記錄每日最新科研教育資訊

Luong表示,雖然AlphaGeometry在解決奧數幾何題方面非常成功,但它的答案往往比人類的證明更長。不過,它可以發現一些人類遺漏的東西。比如,它對一道2004年奧數競賽題的解法,比官方給出的答案更好、更通用。rEO知多少教育網-記錄每日最新科研教育資訊

英國倫敦數學科學研究所的何楊輝指出,該系統在可用的數學運算方面存在固有的局限性,因為奧數問題應該用大學本科階段以下教授的定理來解決。因此,增加AlphaGeometry可以獲得的數學知識能夠改善系統,甚至有助于它取得新的數學發現。rEO知多少教育網-記錄每日最新科研教育資訊

目前,DeepMind拒絕透露是否計劃讓AlphaGeometry參加奧數現場比賽,以及是否再擴展該系統以解決其他非幾何奧數問題。rEO知多少教育網-記錄每日最新科研教育資訊

(徐銳)rEO知多少教育網-記錄每日最新科研教育資訊

相關論文信息:rEO知多少教育網-記錄每日最新科研教育資訊

https://doi.org/10.1038/s41586-023-06747-5rEO知多少教育網-記錄每日最新科研教育資訊


rEO知多少教育網-記錄每日最新科研教育資訊

本文鏈接:http://www.albanygandhi.com/news-7-141.html接近金牌水平,AI向人類奧數“下手”

聲明:本網頁內容由互聯網博主自發貢獻,不代表本站觀點,本站不承擔任何法律責任。天上不會到餡餅,請大家謹防詐騙!若有侵權等問題請及時與本網聯系,我們將在第一時間刪除處理。

熱門文章

延伸閱讀

相關閱讀

熱點精選

最新推薦

您可能感興趣

主站蜘蛛池模板: 日本欧美韩国专区| 男人天堂999| 国产精品亚洲欧美大片在线看| 一卡二卡三卡四卡在线| 日韩欧美aⅴ综合网站发布| 国产精品亚洲四区在线观看| www.91久久| 成全视频在线观看免费高清动漫视频下载 | 国产超爽人人爽人人做| yellow字幕网在线| 成人黄色小说网站| 久久五月精品中文字幕| 朝桐光亚洲专区在线中文字幕| 亚洲日韩乱码久久久久久| 狠狠色狠狠色很很综合很久久| 午夜dj在线观看免费高清在线| 色欲久久久天天天综合网精品 | 亚洲欧美精品中字久久99| 精品久久久久久亚洲中文字幕| 国产va免费精品| 韩国三级中文字幕hd久久精品 | 亚洲色偷偷av男人的天堂| 精品久久久久久久中文字幕| 啊轻点灬大ji巴太粗太长了h| 被夫上司强迫的女人在线 | 中文字幕亚洲一区二区三区| 日本动态120秒免费| 久久精品夜色噜噜亚洲A∨| 色成快人播电影网| 国产成人高清在线播放| 夜夜未满18勿进的爽影院| 国语自产精品视频在线看| bt天堂新版中文在线地址| 婷婷被公交车猛烈进出视频| 中文字幕专区高清在线观看| 无限资源日产好片| 久久久噜噜噜久久久午夜 | 又大又爽又湿又紧a视频| 色噜噜狠狠一区二区三区果冻| 国产高清在线观看| aaaa级少妇高潮大片在线观看|