新華社北京1月22日電 谷歌旗下人工智能公司“深層思維”近日發(fā)布公報(bào)稱,，該公司與美國(guó)紐約大學(xué)的研究人員合作開發(fā)的一種名為AlphaGeometry的人工智能（AI）系統(tǒng),，可以解決復(fù)雜的幾何問題,，其水平接近國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽金牌得主，這是人工智能在性能上的突破,。證明數(shù)學(xué)定理是一項(xiàng)具有挑戰(zhàn)性的工作,，因此國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽通常被認(rèn)為是識(shí)別相關(guān)人才的方法，同時(shí)也是AI在數(shù)學(xué)和推理領(lǐng)域的試驗(yàn)場(chǎng),。公報(bào)說,，AI系統(tǒng)往往難以解決幾何和數(shù)學(xué)中的復(fù)雜問題，而該研究團(tuán)隊(duì)開發(fā)的一種方法可生成大量的合成訓(xùn)練數(shù)據(jù)（1億個(gè)獨(dú)特的示例）,，能讓AlphaGeometry在沒有任何人工演示的情況下進(jìn)行自我訓(xùn)練,。此外，研究團(tuán)隊(duì)還添加了一個(gè)基于形式邏輯的符號(hào)推演引擎,，能讓系統(tǒng)做出更“深思熟慮”的決策,。測(cè)試結(jié)果顯示，在2000年到2022年國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽匯編的30個(gè)幾何問題中,，AlphaGeometry在比賽時(shí)間內(nèi)解決了25個(gè)問題,，而通常的人類金牌得主能解決25.9個(gè)。相比之下,，此前最先進(jìn)的AI系統(tǒng)只解決了其中的10個(gè),。公報(bào)說，通過AlphaGeometry,，研究團(tuán)隊(duì)展示了AI日益增長(zhǎng)的邏輯推理能力,，以及發(fā)現(xiàn)和驗(yàn)證新知識(shí)的能力,。解決國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽級(jí)別的幾何問題，是在通往更先進(jìn)和通用的AI系統(tǒng)的道路上發(fā)展深度數(shù)學(xué)推理的一個(gè)重要里程碑,。研究團(tuán)隊(duì)正在開源AlphaGeometry代碼和模型,，并希望它與合成數(shù)據(jù)生成和訓(xùn)練中的其他工具和方法一起，推動(dòng)數(shù)學(xué)和人工智能等領(lǐng)域的新發(fā)展,。相關(guān)論文已發(fā)表在英國(guó)《自然》雜志上,。（完）
免責(zé)聲明：本文來自網(wǎng)絡(luò)收錄或投稿，觀點(diǎn)僅代表作者本人,，不代表芒果財(cái)經(jīng)贊同其觀點(diǎn)或證實(shí)其描述,，版權(quán)歸原作者所有。轉(zhuǎn)載請(qǐng)注明出處：http://lequren.com/1087974.html
溫馨提示：投資有風(fēng)險(xiǎn),，入市須謹(jǐn)慎,。本資訊不作為投資理財(cái)建議。
