國(guó)際最新研究：人工智能幫助數(shù)學(xué)家發(fā)現(xiàn)新的國(guó)際猜想和定理

編輯：湯曉雪 來源：中國(guó)新聞網(wǎng) 瀏覽次數(shù)： 次 發(fā)布時(shí)間：2021-12-02 15:41:21 【字體：小 大】

　　國(guó)際著名學(xué)術(shù)期刊《自然》最新一期封面發(fā)表一篇計(jì)算機(jī)科學(xué)論文稱，科研人員研發(fā)出一個(gè)機(jī)器學(xué)習(xí)框架，最新智能幫助數(shù)學(xué)家發(fā)現(xiàn)新的研究猜想和定理。

　　該機(jī)器學(xué)習(xí)框架由知名人工智能(AI)企業(yè)DeepMind開發(fā)，人工已經(jīng)幫助發(fā)現(xiàn)了不同純數(shù)學(xué)領(lǐng)域的幫助兩個(gè)新猜想，這項(xiàng)研究展示出機(jī)器學(xué)習(xí)如何整合進(jìn)現(xiàn)存工作流支持?jǐn)?shù)學(xué)研究。數(shù)學(xué)

　　據(jù)介紹，現(xiàn)新想和純數(shù)學(xué)研究工作的猜定理關(guān)鍵目標(biāo)之一是發(fā)現(xiàn)數(shù)學(xué)對(duì)象間的規(guī)律，并利用這些聯(lián)系形成猜想：懷疑為真但尚未得到嚴(yán)格證明的國(guó)際敘述。從20世紀(jì)60年代開始，最新智數(shù)學(xué)家開始使用計(jì)算機(jī)幫助發(fā)現(xiàn)規(guī)律和提出猜想，研究但人工智能系統(tǒng)尚未普遍應(yīng)用于理論數(shù)學(xué)研究領(lǐng)域。人工

　　論文通訊作者、幫助DeepMind亞歷克斯·戴維斯(Alex Davies)和數(shù)學(xué)家一起建立了一個(gè)機(jī)器學(xué)習(xí)框架，數(shù)學(xué)用于協(xié)助數(shù)學(xué)研究。現(xiàn)新想和他們的算法搜索數(shù)學(xué)對(duì)象間潛在的規(guī)律和聯(lián)系，嘗試尋找意義。其后由數(shù)學(xué)家接手，利用這些觀察來引導(dǎo)他們對(duì)潛在猜想的直覺。

　　亞歷克斯·戴維斯和同事在論文中報(bào)告說，將機(jī)器學(xué)習(xí)框架這一方法應(yīng)用于兩個(gè)純數(shù)學(xué)領(lǐng)域，發(fā)現(xiàn)了拓?fù)鋵W(xué)(對(duì)幾何形狀性質(zhì)的研究)的一個(gè)新定理，以及一個(gè)表示論(代數(shù)系統(tǒng)研究)的新猜想。他們總結(jié)認(rèn)為，機(jī)器學(xué)習(xí)框架能鼓勵(lì)未來數(shù)學(xué)和人工智能領(lǐng)域的合作。(完)(記者 孫自法)