性欧美一级毛毛片a_无码精品日韩中_国产一区精品毛片_欧美极品videos大乳护士_欧美熟妇人妻在线视频

國際最新研究:人工智能幫助數學家發(fā)現新的猜想和定理

  中新網北京12月2日電 (記者 孫自法)國際著名學術期刊《自然》最新一期封面發(fā)表一篇計算機科學論文稱,科研人員研發(fā)出一個機器學習框架,能幫助數學家發(fā)現新的猜想和定理。

  該機器學習框架由知名人工智能(AI)企業(yè)DeepMind開發(fā),已經幫助發(fā)現了不同純數學領域的兩個新猜想,這項研究展示出機器學習如何整合進現存工作流支持數學研究。

  據介紹,純數學研究工作的關鍵目標之一是發(fā)現數學對象間的規(guī)律,并利用這些聯(lián)系形成猜想:懷疑為真但尚未得到嚴格證明的敘述。從20世紀60年代開始,數學家開始使用計算機幫助發(fā)現規(guī)律和提出猜想,但人工智能系統(tǒng)尚未普遍應用于理論數學研究領域。

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

  亞歷克斯·戴維斯和同事在論文中報告說,將機器學習框架這一方法應用于兩個純數學領域,發(fā)現了拓撲學(對幾何形狀性質的研究)的一個新定理,以及一個表示論(代數系統(tǒng)研究)的新猜想。他們總結認為,機器學習框架能鼓勵未來數學和人工智能領域的合作。(完) 【編輯:黃鈺涵】

關鍵詞:

為你推薦

新股
市場
Copyright@  2015-2022 南方證券網版權所有  備案號: 粵ICP備18023326號-21   聯(lián)系郵箱:855 729 8@qq.com