新華社悉尼12月3日電(劉詩(shī)月)一個(gè)國(guó)際科研團(tuán)隊(duì)近日?qǐng)?bào)告說(shuō),他們首次在復(fù)雜的數(shù)學(xué)理論領(lǐng)域利用人工智能技術(shù),以機(jī)器學(xué)習(xí)幫助數(shù)學(xué)家證明或提出新的數(shù)學(xué)定理,相關(guān)研究結(jié)果本周已發(fā)表在英國(guó)《自然》期刊上。
研究人員介紹說(shuō),數(shù)學(xué)研究的目的之一是發(fā)現(xiàn)模型,并利用這些模型來(lái)提出和驗(yàn)證某個(gè)猜想,從而形成定理。雖然人工智能技術(shù)此前也被引入數(shù)學(xué)研究,但主要用來(lái)幫助分析復(fù)雜的數(shù)據(jù)集,但數(shù)學(xué)猜想仍然要依靠數(shù)學(xué)家的直覺(jué)。
在新研究中,研究人員利用谷歌旗下“深層思維”公司搭建的一個(gè)機(jī)器學(xué)習(xí)框架,幫助數(shù)學(xué)家從大量已有數(shù)據(jù)中發(fā)現(xiàn)可能被證實(shí)的猜想,或者是應(yīng)用于那些研究對(duì)象太龐雜、傳統(tǒng)方法無(wú)法處理的問(wèn)題,數(shù)學(xué)家可以在此基礎(chǔ)上開(kāi)展進(jìn)一步的研究工作。
參與該研究的澳大利亞悉尼大學(xué)數(shù)學(xué)研究所所長(zhǎng)威廉姆森表示,他在這一機(jī)器學(xué)習(xí)框架下,將證實(shí)關(guān)于卡日丹-盧斯蒂格多項(xiàng)式的古老猜想向前推進(jìn)了一步,該猜想涉及高維代數(shù)中的深度對(duì)稱性,過(guò)去40年未能得到解決。在此基礎(chǔ)上,英國(guó)牛津大學(xué)的兩位研究人員進(jìn)一步發(fā)現(xiàn)了紐結(jié)理論中代數(shù)和幾何不變量之間存在的聯(lián)系,并提出了一個(gè)全新的定理理論。
研究團(tuán)隊(duì)表示,雖然數(shù)學(xué)家的直覺(jué)在學(xué)科研究中起著重要作用,但人工智能系統(tǒng)是很好的工具,可以幫助數(shù)學(xué)家找到不易發(fā)現(xiàn)的規(guī)律和聯(lián)系,由此推動(dòng)解決復(fù)雜的數(shù)學(xué)問(wèn)題。這一研究也表明,現(xiàn)在的人工智能技術(shù)已非常先進(jìn),可以加速很多學(xué)科的科學(xué)研究。研究團(tuán)隊(duì)也希望通過(guò)該研究成果,啟發(fā)其他學(xué)科和領(lǐng)域的研究人員把人工智能作為其領(lǐng)域的研究工具。
相關(guān)稿件