能解国际奥数竞赛题的AI系统问世
《自然》17日发表的国际一项计算科学研究,描述了一个能解国际数学奥林匹克竞赛级别几何题的奥数人工智能(AI)系统。其表现超过了之前最好的竞赛自动化定理证明系统。该研究证明了AI已接近人类破解复杂逻辑问题的系统最高水平。 奥林匹克竞赛中的问世数学定理证明需要高水平的逻辑推理和解题能力。然而,国际当前基于机器学习的奥数AI系统在证明数学定理方面还有困难。机器学习通过向计算机提供参考数据,竞赛让计算机学习如何执行特定任务。系统但由于作为训练数据的问世人类示范很少,所以定理证明,国际尤其是奥数几何学定理很难被证明。 谷歌“深度思维”团队此次描述了一种不需要人类示范的竞赛定理证明方法。基于这一方法的系统AI系统名为“阿尔法几何”(G0)。它综合了复杂程度各异的问世数百万条定理和证明,并利用一个神经语言模型完成自我训练。这种方法结合符号演绎引擎(能搜索难题中的大量分支点),能让G0在无需人类直接输入的情况下学习并解开复杂问题。 团队用国际数学奥林匹克竞赛2000年至2020年间的30个问题测试了该系统。G0解出了其中25题,接近国际数学奥林匹克竞赛金牌选手的平均表现。而之前最优秀的方法只解出了10题。值得一提的是,G0能生成人类可阅读的证明,甚至发现了2004年国际数学奥林匹克竞赛定理的一个新版本。 研究人员指出,G0目前仅限于证明几何学定理,但这种方法或许能应用于其他数学领域。
- 最近发表
-
- T1/抵台隔天6點就起床! 霍華德:想變更好必須比太陽更早起
- 口乾、眼乾、皮膚乾,甚至連肺臟也乾!好發於女性的「乾燥症」是怎麼回事?
- 幸災樂禍心理學(三):沒有同理心又如何?幸災樂禍真的是一種惡嗎?
- 《日本的佛像與寺院》:江戶時代,德川家康把淺草寺訂為祈願寺,自此香火鼎盛、遊客不斷
- “圆梦乘组”在轨满四月,各项工作稳步推进—新闻—科学网
- 鐵幕裡的「指揮帝王」穆拉汶斯基:媲美卡拉揚,冷戰時期社會主義陣營最具權威的指揮家
- 中古屋買賣若是驗屋沒過,買方「不一定」有權拒絕付款?
- 《21世紀諾貝爾生醫獎2001
- 新興市場 尚未告別通貨膨脹|天下雜誌
- 運動有助於自閉症、ADHD孩童調適情緒、專注學習,專家示範如何使用特定技巧引導
- 随机阅读
-
- 关于藜芦碱和梨小性迷向素相关产品有效成分更名的通知
- 林凱威遭響尾蛇2A釋出,豪腕強投會回台參加季中選秀嗎?
- 香港晚報:復旦成首間陸院校醫科生可免試赴港工作
- 比特幣「永續合約」入門:買合約跟直接買幣有什麼不同?開槓桿時該注意什麼?
- 陳時中饒河夜市掃街 民眾嗆聲「防疫不力、擋疫苗」
- 朝野立委爆發數波衝突,國務機要費除罪化混亂中三讀
- 【一圖看懂】台灣電子支付與純網銀產業地圖:大型競爭者強勢參戰,但何時才能損益兩平?
- 〈祖師爺的女兒們〉:「豫劇皇后」王海玲母女兩代間的拉扯,戲曲如何從傳統中創新?
- 协议离婚可否线上办理?民政部答复:不存在线上办理登记手续
- 澤倫斯基:戰爭發生在烏克蘭境內,真心不懂馬克宏何謂「羞辱俄羅斯」?
- 線上交友為何讓人心累?為何交友軟體無法完全取代傳統的相親公司?
- 2022威尼斯雙年展:女性藝術家首次多於男性,但並不等於「女性雙年展」
- 沙特利雅得獲得2030年世博會主辦權
- 烏軍南部戰線反攻,俄軍持續進逼北頓內次克市,Netflix退出俄羅斯市場
- 我的AI男友-真實或虛妄的愛(四):箇中困難是,如何把人類的「關心」轉化為演算法?
- 美再爆槍擊案:奧克拉荷馬州醫院含槍手釀4死,槍枝已超越車禍成為美國兒少頭號死因
- 芯丝翠倍舒润肤乳过“酸”被罚
- 龍應台《親愛的安德烈》:你真的「平庸」嗎?其實要看你讓自己站在哪一條跑道上
- 【TIDF專訪】《布洛卡區》導演蘇明彥:矽膠娃娃旅館的客人,男男、女女、男女、情侶,各種群體都有
- 郭梓祺《一道門》:資質差,怎學習?
- 搜索
-
- 友情链接
-