亚洲AV免费看深爱成人|日韩av另类一级特黄片在线|中国免费一级黄片|国产av一二三区|亚洲有码AV在线|久久亚洲国产日韩欧美|成人免费AV网站|婷婷一区综合一区|亚洲AV无码导航|高级欧美成人网站

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

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

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

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

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

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

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

為了創(chuàng)建AlphaGeometry，研究團隊使用了一種新方法。他們沒有試圖教系統(tǒng)如何使用多個示例來證明定理，而是使用了一種神經(jīng)語言模型，允許系統(tǒng)進行自我訓(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展到其他領(lǐng)域。

點擊咨詢

熱門課程推薦

熱門資訊

請綁定手機號

獲取驗證碼
x

同學(xué)您好！

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