欧美在线一区二区三区_久久精品电影免费动漫_添人人躁日日躁夜夜躁夜夜揉_香蕉eeww99国产精选播放_国产日韩在线观看

財(cái)訊中國(guó)

AI又對(duì)奧數(shù)下手 刷題刷出“??肌弊詈贸煽?jī)

來(lái)源:量子位 2022-02-04 18:09:04

AI 在最不擅長(zhǎng)的數(shù)學(xué)方面,這次大幅刷新了最好成績(jī)。其中關(guān)鍵角色是 OpenAI 給 Lean 做的一個(gè)定理證明器。聽(tīng)起來(lái)有點(diǎn)耳熟?沒(méi)錯(cuò),就是去年參加國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽(IMO)的“非人”選手 Lean~

訪問(wèn):

微軟Surface精選機(jī)型特惠6.3折起 翻新機(jī)滿100減100

自從 2013 年微軟研究院推出 Lean 以來(lái),就一直嘗試讓 AI 在數(shù)學(xué)命題證明這方面取得進(jìn)展。

而這次也確實(shí)得到了回報(bào),OpenAI 新做的這個(gè)定理證明器讓它學(xué)會(huì)了解決一部分有難度的高中奧數(shù)題,包括美國(guó)的數(shù)學(xué)競(jìng)賽 AMC12、AIME 甚至是國(guó)際奧數(shù)競(jìng)賽中的題。

它首先會(huì)用語(yǔ)言模型將數(shù)學(xué)問(wèn)題轉(zhuǎn)化為另一種形式,列出隱藏的條件和已知信息,然后來(lái)推理求證。

雖然在剛開始效果并不明顯,只能證明幾個(gè)命題。但是在不斷地搜索新的證明,經(jīng)過(guò)八次迭代之后,在 miniF2F 測(cè)試中,成功地把分?jǐn)?shù)從 29.3% 刷到了 41.2%。


我們來(lái)看看這 AI 是怎么在奧數(shù)題上施展拳腳的。

AI 如何做奧數(shù)題

先來(lái)看一個(gè)簡(jiǎn)單的問(wèn)題熱熱身:

對(duì)于所有大于等于 9 的整數(shù) n,證明下圖中的式子是一個(gè)完全平方數(shù)。


按照普通人的思考方式,可以先把式中分子提出一個(gè) n 的階乘,與分母約去。

然后分子化簡(jiǎn)為(n+1)2。這在形式上就是一個(gè)完全平方數(shù),問(wèn)題得證。

那 AI 是怎么做的呢?

它首先從文本中提取了條件和已知信息,例如 n 是整數(shù)、n 大于等于 9。

接下來(lái),它把需要證明的問(wèn)題換了一種說(shuō)法,改為:

存在一個(gè)整數(shù) x,使 x2和原式相等。


然后在解題的過(guò)程中,完全由模型直接生成了一個(gè)數(shù)學(xué)項(xiàng)“n+1”作為一個(gè)解:use n+1。接下來(lái)再去驗(yàn)證這個(gè)解是否成立。

如果沒(méi)有語(yǔ)言模型,這是不可能做到的。

這么看來(lái)這模型能耐了,還有了一些數(shù)學(xué)想法,再拿一道國(guó)際奧賽的改編題來(lái)考考它:

設(shè) a、b、c 是一個(gè)三角形的三條邊,證明 a2(b+c-a)+b2(c+a-b)+c2(a+b-c)≤3abc。


同樣地,AI 還是先把條件都列出來(lái)。不過(guò)這次還列出了與三角形有關(guān)的隱藏條件:

a、b、c 都是大于 0 的實(shí)數(shù),并且有任意兩邊之和大于第三邊。


然后模型還自創(chuàng)了一個(gè)方法,列出了(b-a)、(c-b)、(c-a),看起來(lái)好像不明所以。

但是如果把目標(biāo)式子展開,你就會(huì)發(fā)現(xiàn)這三項(xiàng)正是舒爾不等式的幾個(gè)對(duì)稱項(xiàng):


根據(jù)舒爾不等式,對(duì)所有非負(fù)實(shí)數(shù) x、y、z 和正數(shù) t,都有:


當(dāng) t=1 時(shí),這和奧數(shù)題中的形式完全一樣,命題得證。

這么看來(lái),AI 這水平著實(shí)不簡(jiǎn)單啊,要構(gòu)造出這種效果可絕非易事。

對(duì)奧數(shù)下手的難點(diǎn)

讓 AI 來(lái)做奧數(shù),確實(shí)比學(xué)生自己磕高數(shù)題難多了。

這第一個(gè)難點(diǎn)就是,模型不是從有限的選項(xiàng)中做選擇。要是像下圍棋那樣,格點(diǎn)就那么多,選擇空間有限,還好說(shuō)一點(diǎn)。

但是做奧數(shù),模型要從一組復(fù)雜的無(wú)限策略中做選擇,期間還要生成一些數(shù)學(xué)中的術(shù)語(yǔ),例如“存在”、“任意”等。

針對(duì)這個(gè)難點(diǎn),OpenAI 通過(guò)在搜索證明方法時(shí)從語(yǔ)言模型中采樣來(lái)解決。

而第二點(diǎn)就是模型缺乏自我對(duì)抗和博弈。做奧數(shù)題和雙人游戲不同,它不是和另一個(gè)玩家比賽,而是要證明一個(gè)數(shù)學(xué)命題。

這樣一來(lái)在雙人游戲上成功的算法就不能遷移過(guò)來(lái)。

為了解決這個(gè)問(wèn)題,研究人員提供了一套不同難度“教輔資料”,用來(lái)輔助描述問(wèn)題而不需要證明。

當(dāng)這些輔助的描述難度越來(lái)越大時(shí),模型就能解決越來(lái)越難的問(wèn)題。

不過(guò)這兩個(gè)難點(diǎn),反倒可以成為它的優(yōu)勢(shì)。

一方面,因?yàn)檫@類數(shù)學(xué)命題的證明就是需要推理,需要無(wú)限的創(chuàng)造力和洞察力。

另一方面,這種輔助描述式的方法也有助于 AI 自動(dòng)推理的發(fā)展。

說(shuō)不好,將來(lái)深度學(xué)習(xí)模型還能征服奧數(shù)這座高山。

參考鏈接:

https://openai.com/blog/formal-math/

關(guān)鍵詞: AI 人工智能 AI又對(duì)奧數(shù)下手 刷題刷出“??肌弊詈贸煽?jī) cnBeta

相關(guān)新聞

AI又對(duì)奧數(shù)下手 刷題刷出“??肌弊詈贸煽?jī)
2022-02-04 18:09:04
黃健翔呼吁按男足標(biāo)準(zhǔn)獎(jiǎng)勵(lì)中國(guó)女足 支付寶已安排
2022-02-04 18:08:58
定期運(yùn)動(dòng)被發(fā)現(xiàn)有助于抵御眼睛的干燥和瘙癢
2022-02-04 18:08:52
Google Chrome 99進(jìn)入測(cè)試階段 迎來(lái)新的開發(fā)者功能
2022-02-04 18:08:45
央視新聞AI手語(yǔ)主播正式上崗 通過(guò)朱廣權(quán)高難度段子面試
2022-02-04 18:08:38
冬奧史上最特殊火炬手:無(wú)人車火炬手首次上線
2022-02-04 18:08:31
新冠特效藥之爭(zhēng):輝瑞用默沙東的成果擊敗了默沙東
2022-02-04 18:08:24
【手慢無(wú)】Hi nova 9 Pro 5G秒殺到手4069元
2022-02-04 18:08:20
任天堂社長(zhǎng)談收購(gòu):沒(méi)有任氏DNA的公司買來(lái)也沒(méi)用
2022-02-04 18:08:16
【手慢無(wú)】直降200元 OPPO Watch Free NFC版到手399元
2022-02-04 18:08:12
“一朵雪花和一塊冰”的故事 張藝謀這樣描述北京冬奧會(huì)開幕式
2022-02-04 18:08:09
仍然有市場(chǎng) Moto海外發(fā)布廉價(jià)觸控筆新機(jī)
2022-02-04 18:08:04
當(dāng)超1000輛氫能汽車在冬奧村穿梭時(shí) 氫能社會(huì)離我們還有多遠(yuǎn)?
2022-02-04 18:08:01
約4000元起!不支持超頻的英特爾酷睿i9-12900/F開始上市
2022-02-04 16:38:35
售價(jià)2100元起?曝一加2月17日海外發(fā)布新款電視
2022-02-04 16:38:28
兩款屬于Y1s系列 一加2月17日將推四款智能電視
2022-02-04 16:38:20
顯存有驚喜!曝AMD RX 6950 XT新旗艦顯卡將在4月發(fā)布
2022-02-04 16:38:13
首款來(lái)啦 AMD Radeon RX 6950XT顯卡4月中旬發(fā)布
2022-02-04 16:38:04
擴(kuò)大相機(jī)陣容 GoPro明年將增兩款機(jī)型
2022-02-04 15:08:02
關(guān)于電影《特殊報(bào)道》聲明函
關(guān)于電影《特殊報(bào)道》聲明函
2022-02-04 14:57:04
蘋果占中國(guó)市場(chǎng)份額四分之一!安卓為何賣不過(guò)iPhone?
2022-02-04 13:51:23
谷歌將向印度巴蒂電信投資多達(dá)10億美元
2022-02-04 13:51:17
ColorOS 12最新適配計(jì)劃公布:一加9R下月就能升
2022-02-04 13:51:11
用戶首現(xiàn)負(fù)增長(zhǎng),中國(guó)移動(dòng)固網(wǎng)寬帶業(yè)務(wù)“破防”了嗎?
2022-02-04 13:51:05
Steam Deck或?qū)⒅С諥MD FSR技術(shù):幀率翻倍
2022-02-04 13:38:33
配有觸控筆 Moto G Stylus面向海外發(fā)布
2022-02-04 13:38:25
自帶S-Pen手寫筆 Galaxy S22 Ultra高清渲染圖曝光
2022-02-04 13:38:18
不久上市 聯(lián)想海外公布IdeaCentre主機(jī)
2022-02-04 13:38:10
約13GB/s速度 慧榮將在年底發(fā)布基于SM2508控制器的SSD
2022-02-04 13:38:02
外媒評(píng)一加10 Pro:幫安卓掀翻蘋果
2022-02-04 12:08:18
Moto新機(jī)發(fā)布:原生安卓12 售1908元
2022-02-04 12:08:11
微軟Surface Duo成功運(yùn)行Win11系統(tǒng)
2022-02-04 12:08:03
虧損百億美元!臉書母公司股價(jià)暴跌26%!
2022-02-04 10:38:27
iPhone 13 Pro定制版開售:18K黃金包裹 售16萬(wàn)
2022-02-04 10:38:19
疑似iPhone 14真機(jī)后蓋曝光:竟是背部指紋?
2022-02-04 10:38:11
外觀設(shè)計(jì)驚艷!三星Galaxy S22 Ultra最新渲染圖曝光
2022-02-04 10:38:02
臺(tái)灣有線寬帶用戶突破600萬(wàn) 其中有線寬帶占1/3
2022-02-04 09:21:20
12代酷睿i7-12700F力壓銳龍7 5800X!還更便宜
2022-02-04 09:21:14
濰柴動(dòng)力柴油機(jī)本體熱效率首次達(dá)到51.09%:經(jīng)濟(jì)效益高達(dá)1400
2022-02-04 09:21:07
新專利或?qū)⒅O果零售店阻止搶劫行為的發(fā)生
2022-02-04 09:21:01
暴漲87% 300元奔騰雙核處理器超頻沖上5.8GHz
2022-02-04 09:08:02
噴墨打印質(zhì)量不僅僅是打印頭分辨率
2022-02-04 07:40:40
噴墨打印中混合墨水的特點(diǎn)和發(fā)展前景
2022-02-04 07:40:34
W11的最新更新 可讓電腦運(yùn)行速度更快
2022-02-04 07:40:27
租房必買 華凌超便宜洗衣機(jī)只要729元
2022-02-04 07:40:21
佳能單張紙噴墨印刷系統(tǒng)varioPRINT iX
2022-02-04 07:40:15
【手慢無(wú)】ROG機(jī)械鍵盤秒殺799元 櫻桃紅軸+RGB神光同步
2022-02-04 07:40:08
全球首個(gè)仿生鯨鯊亮相上海海昌海洋公園
2022-02-04 07:40:02
快買!鹿客S50指靜脈智能鎖優(yōu)惠500元
2022-02-04 07:39:56
微軟攜手強(qiáng)生讓醫(yī)療與科技“并肩作戰(zhàn)”
2022-02-04 07:39:49
Nazdar納茲達(dá)UV墨水是如何生產(chǎn)的​
2022-02-04 07:39:43
孩子最愛(ài) 收到了壓歲錢買這些
2022-02-04 07:39:36
11代酷睿迷你機(jī)新品發(fā)布:2.5G網(wǎng)口+雙雷電4
2022-02-04 07:39:30
新版Windows 11曝光:即將到來(lái) 微軟改動(dòng)不少!
2022-02-04 07:39:24
超過(guò)25年大幅面數(shù)字印刷經(jīng)驗(yàn)的西班牙公司
2022-02-04 07:39:17
玻璃和瓷器餐具印花貼紙數(shù)碼打印技術(shù)
2022-02-04 07:39:11
售價(jià)不到2000元!摩托羅拉Moto G Stylus 2022款發(fā)布 支持手寫筆
2022-02-04 07:39:04
“奧特曼”的廚房用品 這款大鐵鍋長(zhǎng)5.5米 重6500公斤
2022-02-04 07:38:58
宏華數(shù)科與浙工大合作 設(shè)立AI基金
2022-02-04 07:38:51
哈啰電動(dòng)車注冊(cè)哈啰元宇宙商標(biāo) 進(jìn)軍元宇宙?
2022-02-04 07:38:45
市值逼近2萬(wàn)億美元!谷歌發(fā)布21年Q4財(cái)報(bào)
2022-02-04 07:38:38
持續(xù)賦能中小企業(yè) Meta立足腳下展望未來(lái)
2022-02-04 07:38:31
Inkcups 將推出創(chuàng)新解決方案
2022-02-04 07:38:24
《戰(zhàn)神》PC版銷量喜人 索尼有意讓更多PS獨(dú)占游戲登錄PC
2022-02-04 07:38:17
惠普21.5英寸一體電腦只賣2000元出頭
2022-02-04 07:38:09
2.5倍于RTX3090 NVIDIA RTX 4080性能曝光
2022-02-04 07:38:02
比塑料輕比鋼強(qiáng) MIT工程團(tuán)隊(duì)研發(fā)出新型超薄材料
2022-02-04 06:13:26
搭載全自主研發(fā)“氫騰”燃料電池系統(tǒng)的氫能大巴將服務(wù)冬奧
2022-02-04 06:13:19
游戲界NFT沖突爆發(fā):一堆公司同日劃清界限 只有育碧還在頭鐵
2022-02-04 06:13:11
飛行汽車持證上天:寶馬發(fā)動(dòng)機(jī)油電混動(dòng) 續(xù)航1000公里
2022-02-04 06:13:01
NASA公布“過(guò)渡計(jì)劃”:國(guó)際空間站將于2031年墜入太平洋
2022-02-04 06:12:55
中國(guó)實(shí)現(xiàn)奧運(yùn)史上首次機(jī)器人水下火炬接力
2022-02-04 06:12:49
亞馬遜Prime要漲價(jià)?對(duì)業(yè)績(jī)影響幾何
2022-02-04 06:12:43
蘋果在印度取得進(jìn)展 iPhone季度銷量創(chuàng)紀(jì)錄增長(zhǎng)34%
2022-02-04 06:12:38
燃料是氫外衣也輕 冬奧火炬“氫舞飛揚(yáng)”暗藏這些黑科技
2022-02-04 06:12:32
加密貨幣平臺(tái)Wormhole遭黑客入侵 預(yù)估損失3.22億美元
2022-02-04 06:12:26
澳洲首富就加密貨幣欺詐廣告起訴Facebook
2022-02-04 06:12:20
《黑天鵝》作者:加密貨幣技術(shù)分析就像占星術(shù)
2022-02-04 06:12:14
214牌照被撤銷 中國(guó)聯(lián)通聲明將積極維護(hù)公司和客戶的合法正當(dāng)權(quán)益
2022-02-04 06:12:08
Meta暴跌超20% 美股社交網(wǎng)絡(luò)板塊爆的究竟是什么雷?
2022-02-04 06:12:03
投資超500億 中國(guó)三代核技術(shù)“華龍一號(hào)”出口阿根廷
2022-02-04 06:11:57
歐洲唯一的計(jì)算機(jī)內(nèi)存工廠的擴(kuò)建正在進(jìn)行中
2022-02-04 06:11:51
疑似小米12 mini渲染圖首曝 屏幕不到6英寸
2022-02-04 06:11:44
美國(guó)空軍資助Valkyrie公司研發(fā)高速、水陸兩棲噴氣機(jī)驅(qū)動(dòng)的eVTOL
2022-02-04 06:11:38
微軟分享針對(duì)Mac的UpdateAgent復(fù)雜木馬的細(xì)節(jié)
2022-02-04 06:11:33
報(bào)告稱NFT洗錢有愈演愈烈之勢(shì)
2022-02-04 06:11:27
群聯(lián)PS5020-E20 PCIe 4.0新主控曝光 主打高端數(shù)據(jù)中心市場(chǎng)
2022-02-04 06:11:21
FAA公布2022超級(jí)碗禁飛區(qū) 違規(guī)或被處以3萬(wàn)美元罰款
2022-02-04 06:11:15
Ghost Robotics機(jī)器狗或在美墨邊境巡邏中派上大用場(chǎng)
2022-02-04 06:11:08
諾基亞Q4凈銷售額同比下降2% 同比扭虧為盈
2022-02-04 06:11:03
報(bào)道揭示FBI實(shí)測(cè)過(guò)NSO Group的Pegasus間諜軟件
2022-02-04 06:10:57
AMD 5nm Zen4架構(gòu)銳龍7000處理器今年下半年上市
2022-02-04 06:10:51
Facebook稱蘋果公司的隱私措施將使其在2022年損失100億美元
2022-02-04 06:10:45
新一輪泄漏展示了三星Galaxy S22系列的官方保護(hù)殼
2022-02-04 06:10:39
美國(guó)國(guó)土安全部正在南部邊境測(cè)試機(jī)器人巡邏犬
2022-02-04 06:10:34
韓國(guó)監(jiān)管機(jī)構(gòu)稱蘋果公司關(guān)于允許第三方支付方式進(jìn)入應(yīng)用商店的建議"缺乏細(xì)節(jié)"
2022-02-04 06:10:28
MIT研究人員發(fā)明可根據(jù)視角改變其外觀的3D打印物體
2022-02-04 06:10:22
法官駁回蘋果iPhone防水性誤導(dǎo)宣傳集體訴訟案
2022-02-04 06:10:16
拜登政府希望USPS重新考慮購(gòu)買燃油動(dòng)力郵車的問(wèn)題
2022-02-04 06:10:10
GameStop正在面向游戲作者推出自己的NFT市場(chǎng)
2022-02-04 06:10:04

熱門文章

熱點(diǎn)專題