計算機科學(xué)家和數(shù)學(xué)家第一次使用人工智能來幫助證明或提出紐結(jié)理論和表示論等復(fù)雜領(lǐng)域的新數(shù)學(xué)定理。
令人驚訝的結(jié)果今天發(fā)表在著名的科學(xué)期刊《自然》上。
Geordie Williamson 教授是悉尼大學(xué)數(shù)學(xué)研究所所長，也是世界上最重要的數(shù)學(xué)家之一。作為該論文的合著者，他運用 Deep Mind 的 AI 過程的力量來探索他的專業(yè)領(lǐng)域——表征理論中的猜想。
他的合著者來自 DeepMind——AlphaGo背后的計算機科學(xué)家團隊，AlphaGo是 2016 年第一個在圍棋比賽中成功擊敗世界冠軍的計算機程序。
威廉姆森教授說：“數(shù)學(xué)問題被廣泛認(rèn)為是一些最具智力挑戰(zhàn)性的問題。
“雖然數(shù)學(xué)家使用機器學(xué)習(xí)來協(xié)助分析復(fù)雜的數(shù)據(jù)集，但這是我們第一次使用計算機來幫助我們制定猜想或為數(shù)學(xué)中未經(jīng)證實的想法提出可能的攻擊路線。”
證明數(shù)學(xué)猜想
威廉姆森教授是全球公認(rèn)的表示論領(lǐng)導(dǎo)者，表示論是使用線性代數(shù)探索高維空間的數(shù)學(xué)分支。
2018 年，他被選為倫敦皇家學(xué)會最年輕的在世院士，該學(xué)會是世界上最古老、可以說是最負(fù)盛名的科學(xué)協(xié)會。
標(biāo)簽：
免責(zé)聲明：本文由用戶上傳，與本網(wǎng)站立場無關(guān)。財經(jīng)信息僅供讀者參考，并不構(gòu)成投資建議。投資者據(jù)此操作，風(fēng)險自擔(dān)。 如有侵權(quán)請聯(lián)系刪除！