(資料圖)
9月1日上午，2022世界人工智能大會開幕式上的一場對談引人注目——前微軟執(zhí)行總裁沈向洋對話菲爾茲獎首位華人得主丘成桐。
他們聊了什么是世界一流的數(shù)學(xué)，數(shù)學(xué)的發(fā)展如何影響人工智能的出現(xiàn)，人工智能對數(shù)學(xué)的發(fā)展又有什么幫助等宏觀問題，丘成桐也具體介紹了歸國后在清華大學(xué)培養(yǎng)中國新一代的數(shù)學(xué)人才的思路辦法。
“實(shí)際上數(shù)學(xué)往往能夠影響幾十年以后學(xué)問的發(fā)展。”丘成桐說道，世界一流的數(shù)學(xué)，一定要能夠看到這些學(xué)問的前景，同時(shí)覆蓋面要很大。“我們數(shù)學(xué)家要畫一個(gè)很大的圖畫，包含了物質(zhì)世界、銀河系甚至宇宙中種種不同的現(xiàn)象。普通的數(shù)學(xué)家能夠做的就是一個(gè)個(gè)小問題，一點(diǎn)一線。但是一流的數(shù)學(xué)（家）看到不止一點(diǎn)一線，是一大塊。”
如人工智能的先驅(qū)阿蘭·圖靈、馮·諾伊曼，實(shí)際上都是數(shù)學(xué)家。“他們從數(shù)理邏輯開始，慢慢向計(jì)算方面研究，引進(jìn)很多重要的觀念，包括圖靈測試等等。”丘成桐也談到數(shù)學(xué)中的博弈論在此后對計(jì)算機(jī)、經(jīng)濟(jì)領(lǐng)域的種種影響。
那么對于人工智能對數(shù)學(xué)發(fā)展的幫助，丘成桐也提出了兩個(gè)非常具體的期待。一個(gè)是讓人工智能幫忙看看幾千頁的數(shù)學(xué)證明有沒有缺憾之處，另一個(gè)則是希望AI能解讀200年前數(shù)學(xué)家萊昂哈德·歐拉的文章。
過去300年來全世界數(shù)學(xué)產(chǎn)生了不少重要的命題，丘成桐以歐拉舉例，“像歐拉，他寫了1000篇文章，真正我們了解的只有大概100多篇，但我們曉得歐拉基本上每一篇文章都有很重要的開場性的看法，而我們現(xiàn)代人只了解他的小部分。”那么人工智能可以起到什么幫助呢？
歐拉很多著作都是拉丁文寫的，高斯、黎曼很多著作是用德語寫的，丘成桐認(rèn)為，“人工智如果能幫忙歷史上最重要的文章系統(tǒng)地消化，就可以幫助數(shù)學(xué)家更好地了解這些文章。”
對于目前在清華大學(xué)的工作，丘成桐介紹，目前正在努力培養(yǎng)中國下一輩的數(shù)學(xué)人才，希望他們對數(shù)學(xué)這個(gè)學(xué)科產(chǎn)生真正的興趣，對于創(chuàng)造新的科學(xué)有濃厚的推動力。“我希望在國內(nèi)能夠從很小的孩子開始培養(yǎng)他們對數(shù)學(xué)的興趣，同時(shí)要避開他們?yōu)榭荚噥砼Φ牧?xí)慣，希望他們對數(shù)學(xué)產(chǎn)生真正的興趣。”
除了興趣出發(fā)以外，丘成桐還提到文化。“我想歷史上的大數(shù)學(xué)家或大科學(xué)家，他們都產(chǎn)生在一個(gè)文化深厚的環(huán)境。不單是科學(xué)，還需要文學(xué)、社會學(xué)、歷史學(xué)，所以我培養(yǎng)我們的學(xué)生，我希望他們在文學(xué)歷史種種不同的觀念里吸收精華，讓他們能夠向前走。尤其歷史，所以我?guī)е麄內(nèi)チ宋靼?，看了漢唐，秦朝的歷史，也去了安陽看殷商的文化。我們有5000年的歷史值得驕傲。”
標(biāo)簽： 數(shù)學(xué)證明
