激情六月丁香婷婷|亚洲色图AV二区|丝袜AV日韩AV|久草视频在线分类|伊人九九精品视频|国产精品一级电影|久草视频在线99|在线看的av网址|伊人99精品无码|午夜无码视频在线

高校合作1：010-59833514 ?咨詢電話：400-810-1418 服務(wù)與監(jiān)督電話：400-810-1418轉(zhuǎn)接2

AlphaGeometry：人工智能小助手幫你解決幾何難題

發(fā)布時間：2024-05-06 14:05:49 瀏覽量：192次

谷歌DeepMind的一組人工智能研究人員與紐約大學(xué)的一位同事合作，開發(fā)了一種名為AlphaGeometry的人工智能系統(tǒng)，該系統(tǒng)已經(jīng)證明了在高層次上解決復(fù)雜幾何問題的能力。

在他們發(fā)表在《自然》雜志上的論文中，該小組描述了他們的新人工智能系統(tǒng)以及他們在開發(fā)過程中使用的想法?！蹲匀弧冯s志的團(tuán)隊還發(fā)布了一個播客，概述了新的人工智能系統(tǒng)。

證明數(shù)學(xué)定理可能是一項(xiàng)具有挑戰(zhàn)性的工作，能夠做好這項(xiàng)工作的人被認(rèn)為是高等教育機(jī)構(gòu)的寶貴資產(chǎn)，在某些情況下，還被認(rèn)為是谷歌等公司的寶貴資產(chǎn)。因此，已經(jīng)建立了一種識別這些人的方法——國際數(shù)學(xué)奧林匹克競賽。它被描述為高中生的世界數(shù)學(xué)錦標(biāo)賽。

由于將數(shù)學(xué)用于許多現(xiàn)代應(yīng)用（例如計算機(jī)系統(tǒng)的設(shè)計）存在許多固有的困難，計算機(jī)科學(xué)家一直希望人工智能系統(tǒng)能夠解決復(fù)雜的數(shù)學(xué)問題和/或證明定理。不幸的是，到目前為止，人工智能系統(tǒng)的表現(xiàn)并沒有達(dá)到預(yù)期的水平。然而，在這項(xiàng)新研究中，DeepMind的團(tuán)隊現(xiàn)在已經(jīng)創(chuàng)建了一個名為AlphaGeometry的人工智能系統(tǒng)，該系統(tǒng)可以在國際數(shù)學(xué)奧林匹克競賽中獲得金牌的學(xué)生的水平上競爭。

為了創(chuàng)建AlphaGeometry，研究團(tuán)隊使用了一種新方法。他們沒有試圖教系統(tǒng)如何使用多個示例來證明定理，而是使用了一種神經(jīng)語言模型，允許系統(tǒng)進(jìn)行自我訓(xùn)練。這是通過綜合數(shù)百萬個具有不同復(fù)雜程度的已知定理和證明來完成的。他們還添加了一個符號推演引擎，以幫助系統(tǒng)在沒有人類幫助的情況下學(xué)習(xí)和解決日益復(fù)雜的問題。

然后，研究人員通過給2024年至2024年期間國際數(shù)學(xué)奧林匹克競賽中學(xué)生面臨的30個問題來測試他們的新系統(tǒng)，發(fā)現(xiàn)它能夠解決其中的25個問題，比以前的人工智能系統(tǒng)要好得多。他們指出，它的表現(xiàn)與比賽中的平均金牌得主不相上下。

研究小組指出，該系統(tǒng)目前被編程為與特定形式的幾何圖形一起工作，但建議它可能能夠?qū)⑵淝繑U(kuò)展到其他領(lǐng)域。

點(diǎn)擊咨詢

熱門課程推薦

熱門資訊

請綁定手機(jī)號

獲取驗(yàn)證碼
x

同學(xué)您好！

您已成功報名0元試學(xué)活動，老師會在第一時間與您取得聯(lián)系，請保持電話暢通！
確定