中新網(wǎng)北京12月2日電 (感謝 孫自法)國際著名學(xué)術(shù)期刊《自然》蕞新一期封面發(fā)表一篇計算機(jī)科學(xué)論文稱,科研人員研發(fā)出一個機(jī)器學(xué)習(xí)框架,能幫助數(shù)學(xué)家發(fā)現(xiàn)新得猜想和定理。
該機(jī)器學(xué)習(xí)框架由知名人工智能(AI)企業(yè)DeepMind開發(fā),已經(jīng)幫助發(fā)現(xiàn)了不同純數(shù)學(xué)領(lǐng)域得兩個新猜想,這項(xiàng)研究展示出機(jī)器學(xué)習(xí)如何整合進(jìn)現(xiàn)存工作流支持?jǐn)?shù)學(xué)研究。
據(jù)介紹,純數(shù)學(xué)研究工作得關(guān)鍵目標(biāo)之一是發(fā)現(xiàn)數(shù)學(xué)對象間得規(guī)律,并利用這些聯(lián)系形成猜想:懷疑為真但尚未得到嚴(yán)格證明得敘述。從20世紀(jì)60年代開始,數(shù)學(xué)家開始使用計算機(jī)幫助發(fā)現(xiàn)規(guī)律和提出猜想,但人工智能系統(tǒng)尚未普遍應(yīng)用于理論數(shù)學(xué)研究領(lǐng)域。
論文通訊感謝分享、DeepMind亞歷克斯·戴維斯(Alex Davies)和數(shù)學(xué)家一起建立了一個機(jī)器學(xué)習(xí)框架,用于協(xié)助數(shù)學(xué)研究。他們得算法搜索數(shù)學(xué)對象間潛在得規(guī)律和聯(lián)系,嘗試尋找意義。其后由數(shù)學(xué)家接手,利用這些觀察來引導(dǎo)他們對潛在猜想得直覺。
亞歷克斯·戴維斯和同事在論文中報告說,將機(jī)器學(xué)習(xí)框架這一方法應(yīng)用于兩個純數(shù)學(xué)領(lǐng)域,發(fā)現(xiàn)了拓?fù)鋵W(xué)(對幾何形狀性質(zhì)得研究)得一個新定理,以及一個表示論(代數(shù)系統(tǒng)研究)得新猜想。他們總結(jié)認(rèn)為,機(jī)器學(xué)習(xí)框架能鼓勵未來數(shù)學(xué)和人工智能領(lǐng)域得合作。(完)
近日:華夏新聞網(wǎng)