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