數學研究人員歡呼人工智能應用的突破

計算機科學家和數學家第一次使用人工智能來幫助證明或提出紐結理論和表示論等復雜領域的新數學定理。

令人驚訝的結果今天發(fā)表在著名的科學期刊《自然》上。

Geordie Williamson 教授是悉尼大學數學研究所所長，也是世界上最重要的數學家之一。作為該論文的合著者，他運用 Deep Mind 的 AI 過程的力量來探索他的專業(yè)領域——表征理論中的猜想。

他的合著者來自 DeepMind——AlphaGo背后的計算機科學家團隊，AlphaGo是 2016 年第一個在圍棋比賽中成功擊敗世界冠軍的計算機程序。

威廉姆森教授說：“數學問題被廣泛認為是一些最具智力挑戰(zhàn)性的問題。

“雖然數學家使用機器學習來協助分析復雜的數據集，但這是我們第一次使用計算機來幫助我們制定猜想或為數學中未經證實的想法提出可能的攻擊路線。”

證明數學猜想

威廉姆森教授是全球公認的表示論領導者，表示論是使用線性代數探索高維空間的數學分支。

2018 年，他被選為倫敦皇家學會最年輕的在世院士，該學會是世界上最古老、可以說是最負盛名的科學協會。

　　免責聲明：本文由用戶上傳，與本網站立場無關。財經信息僅供讀者參考，并不構成投資建議。投資者據此操作，風險自擔。 如有侵權請聯系刪除！