新華社悉尼12月3日電（劉詩(shī)月）一個(gè)國際科研團隊近日報告說(shuō)，他們首次在復雜的數學(xué)理論領(lǐng)域利用人工智能技術(shù)，以機器學(xué)習幫助數學(xué)家證明或提出新的數學(xué)定理，相關(guān)研究結果本周已發(fā)表在英國《自然》期刊上。

　　研究人員介紹說(shuō)，數學(xué)研究的目的之一是發(fā)現模型，并利用這些模型來(lái)提出和驗證某個(gè)猜想，從而形成定理。雖然人工智能技術(shù)此前也被引入數學(xué)研究，但主要用來(lái)幫助分析復雜的數據集，但數學(xué)猜想仍然要依靠數學(xué)家的直覺(jué)。

　　在新研究中，研究人員利用谷歌旗下“深層思維”公司搭建的一個(gè)機器學(xué)習框架，幫助數學(xué)家從大量已有數據中發(fā)現可能被證實(shí)的猜想，或者是應用于那些研究對象太龐雜、傳統方法無(wú)法處理的問(wèn)題，數學(xué)家可以在此基礎上開(kāi)展進(jìn)一步的研究工作。

　　參與該研究的澳大利亞悉尼大學(xué)數學(xué)研究所所長(cháng)威廉姆森表示，他在這一機器學(xué)習框架下，將證實(shí)關(guān)于卡日丹-盧斯蒂格多項式的古老猜想向前推進(jìn)了一步，該猜想涉及高維代數中的深度對稱(chēng)性，過(guò)去40年未能得到解決。在此基礎上，英國牛津大學(xué)的兩位研究人員進(jìn)一步發(fā)現了紐結理論中代數和幾何不變量之間存在的聯(lián)系，并提出了一個(gè)全新的定理理論。

　　研究團隊表示，雖然數學(xué)家的直覺(jué)在學(xué)科研究中起著(zhù)重要作用，但人工智能系統是很好的工具，可以幫助數學(xué)家找到不易發(fā)現的規律和聯(lián)系，由此推動(dòng)解決復雜的數學(xué)問(wèn)題。這一研究也表明，現在的人工智能技術(shù)已非常先進(jìn)，可以加速很多學(xué)科的科學(xué)研究。研究團隊也希望通過(guò)該研究成果，啟發(fā)其他學(xué)科和領(lǐng)域的研究人員把人工智能作為其領(lǐng)域的研究工具。