新華社悉尼12月3日電（劉詩月）一個國際科研團隊近日報告說，他們首次在復雜的數學理論領域利用人工智能技術，以機器學習幫助數學家證明或提出新的數學定理，相關研究結果本周已發表在英國《自然》期刊上。
研究人員介紹說，數學研究的目的之一是發現模型，并利用這些模型來提出和驗證某個猜想，從而形成定理。雖然人工智能技術此前也被引入數學研究，但主要用來幫助分析復雜的數據集，但數學猜想仍然要依靠數學家的直覺。
在新研究中，研究人員利用谷歌旗下“深層思維”公司搭建的一個機器學習框架，幫助數學家從大量已有數據中發現可能被證實的猜想，或者是應用于那些研究對象太龐雜、傳統方法無法處理的問題，數學家可以在此基礎上開展進一步的研究工作。
參與該研究的澳大利亞悉尼大學數學研究所所長威廉姆森表示，他在這一機器學習框架下，將證實關于卡日丹-盧斯蒂格多項式的古老猜想向前推進了一步，該猜想涉及高維代數中的深度對稱性，過去40年未能得到解決。在此基礎上，英國牛津大學的兩位研究人員進一步發現了紐結理論中代數和幾何不變量之間存在的聯系，并提出了一個全新的定理理論。
研究團隊表示，雖然數學家的直覺在學科研究中起著重要作用，但人工智能系統是很好的工具，可以幫助數學家找到不易發現的規律和聯系，由此推動解決復雜的數學問題。這一研究也表明，現在的人工智能技術已非常先進，可以加速很多學科的科學研究。研究團隊也希望通過該研究成果，啟發其他學科和領域的研究人員把人工智能作為其領域的研究工具。，研究人員利用人工智能推進數學研究 |
