苏林总书记:优抚政策必须足额及时落实,绝不允许推诿拖延 政府总理范明政:周密筹备开工、落成234个工程项目 免学费但学校又“连结”收取数百万元的情况何时了? 胡志明市市委书记陈留光与东和坊选民接触 苏林总书记要求河内聚焦五大优先事项 重点发展绿色、高附加值农业,推进农村现代化 国会主席陈青敏主持国家选举委员会第四次会议 大力分级、部署充足资源以便各地方有效运作两级地方政府模式 越南范明政总理:确保隆城国际机场按期投入运营 政府总理范明政:越南将成为科技人才和创新创业者的理想目的地 胡志明市继续援助庆和省逾580亿元克服雨洪损失 政府总理要求紧急克服灾害后果、恢复生产经营、促进消费,确保民众春节需求 胡志明市人委会主席:紧急解决租地企业“红簿”签发阻碍 政府副总理胡德福会见友邦保险集团董事长马克·塔克 越俄建交75周年:连接两个民族的“红线” 武元甲大将书籍《奠边府》阿拉伯语版正式出版

研究人員利用人工智能推進數學研究

據新華社報導,一個國際科研團隊近日報告說,他們首次在複雜的數學理論領域利用人工智能技術,以機器學習幫助數學家證明或提出新的數學定理,相關研究結果已發表在英國《自然》期刊上。
(示意圖:互聯網)
(示意圖:互聯網)
研究人員介紹說,數學研究的目的之一是發現模型,並利用這些模型來提出和驗證某個猜想,從而形成定理。雖然人工智能技術此前也被引入數學研究,但主要用來幫助分析複雜的數據集,但數學猜想仍然要依靠數學家的直覺。在新研究中,研究人員利用谷歌旗下“深層思維”公司搭建的一個機器學習框架,幫助數學家從大量已有數據中發現可能被證實的猜想,或者是應用於那些研究對象太龐雜、傳統方法無法處理的問題,數學家可以在此基礎上開展進一步的研究工作。參與該研究的澳大利亞悉尼大學數學研究所所長威廉姆森表示,他在這一機器學習框架下,將證實關於卡日丹-盧斯蒂格多項式的古老猜想向前推進了一步,該猜想涉及高維代數中的深度對稱性,過去40年未能得到解決。在此基礎上,英國牛津大學的兩位研究人員進一步發現了紐結理論中代數和幾何不變量之間存在的聯繫,並提出了一個全新的定理理論。 

研究團隊表示,雖然數學家的直覺在學科研究中起著重要作用,但人工智能系統是很好的工具,可以幫助數學家找到不易發現的規律和聯繫,由此推動解決複雜的數學問題。這一研究也表明,現在的人工智能技術已非常先進,可以加速很多學科的科學研究。研究團隊也希望通過該研究成果,啟發其他學科和領域的研究人員把人工智能作為其領域的研究工具◆

相关阅读