(資料圖)

9月1日上午，2022世界人工智能大會(huì)開(kāi)幕式上的一場(chǎng)對(duì)談引人注目——前微軟執(zhí)行總裁沈向洋對(duì)話菲爾茲獎(jiǎng)首位華人得主丘成桐。

他們聊了什么是世界一流的數(shù)學(xué)，數(shù)學(xué)的發(fā)展如何影響人工智能的出現(xiàn)，人工智能對(duì)數(shù)學(xué)的發(fā)展又有什么幫助等宏觀問(wèn)題，丘成桐也具體介紹了歸國(guó)后在清華大學(xué)培養(yǎng)中國(guó)新一代的數(shù)學(xué)人才的思路辦法。

“實(shí)際上數(shù)學(xué)往往能夠影響幾十年以后學(xué)問(wèn)的發(fā)展。”丘成桐說(shuō)道，世界一流的數(shù)學(xué)，一定要能夠看到這些學(xué)問(wèn)的前景，同時(shí)覆蓋面要很大。“我們數(shù)學(xué)家要畫(huà)一個(gè)很大的圖畫(huà)，包含了物質(zhì)世界、銀河系甚至宇宙中種種不同的現(xiàn)象。普通的數(shù)學(xué)家能夠做的就是一個(gè)個(gè)小問(wèn)題，一點(diǎn)一線。但是一流的數(shù)學(xué)（家）看到不止一點(diǎn)一線，是一大塊。”

如人工智能的先驅(qū)阿蘭·圖靈、馮·諾伊曼，實(shí)際上都是數(shù)學(xué)家。“他們從數(shù)理邏輯開(kāi)始，慢慢向計(jì)算方面研究，引進(jìn)很多重要的觀念，包括圖靈測(cè)試等等。”丘成桐也談到數(shù)學(xué)中的博弈論在此后對(duì)計(jì)算機(jī)、經(jīng)濟(jì)領(lǐng)域的種種影響。

那么對(duì)于人工智能對(duì)數(shù)學(xué)發(fā)展的幫助，丘成桐也提出了兩個(gè)非常具體的期待。一個(gè)是讓人工智能幫忙看看幾千頁(yè)的數(shù)學(xué)證明有沒(méi)有缺憾之處，另一個(gè)則是希望AI能解讀200年前數(shù)學(xué)家萊昂哈德·歐拉的文章。

過(guò)去300年來(lái)全世界數(shù)學(xué)產(chǎn)生了不少重要的命題，丘成桐以歐拉舉例，“像歐拉，他寫(xiě)了1000篇文章，真正我們了解的只有大概100多篇，但我們曉得歐拉基本上每一篇文章都有很重要的開(kāi)場(chǎng)性的看法，而我們現(xiàn)代人只了解他的小部分。”那么人工智能可以起到什么幫助呢？

歐拉很多著作都是拉丁文寫(xiě)的，高斯、黎曼很多著作是用德語(yǔ)寫(xiě)的，丘成桐認(rèn)為，“人工智如果能幫忙歷史上最重要的文章系統(tǒng)地消化，就可以幫助數(shù)學(xué)家更好地了解這些文章。”

對(duì)于目前在清華大學(xué)的工作，丘成桐介紹，目前正在努力培養(yǎng)中國(guó)下一輩的數(shù)學(xué)人才，希望他們對(duì)數(shù)學(xué)這個(gè)學(xué)科產(chǎn)生真正的興趣，對(duì)于創(chuàng)造新的科學(xué)有濃厚的推動(dòng)力。“我希望在國(guó)內(nèi)能夠從很小的孩子開(kāi)始培養(yǎng)他們對(duì)數(shù)學(xué)的興趣，同時(shí)要避開(kāi)他們?yōu)榭荚噥?lái)努力的習(xí)慣，希望他們對(duì)數(shù)學(xué)產(chǎn)生真正的興趣。”

除了興趣出發(fā)以外，丘成桐還提到文化。“我想歷史上的大數(shù)學(xué)家或大科學(xué)家，他們都產(chǎn)生在一個(gè)文化深厚的環(huán)境。不單是科學(xué)，還需要文學(xué)、社會(huì)學(xué)、歷史學(xué)，所以我培養(yǎng)我們的學(xué)生，我希望他們?cè)谖膶W(xué)歷史種種不同的觀念里吸收精華，讓他們能夠向前走。尤其歷史，所以我?guī)е麄內(nèi)チ宋靼?，看了漢唐，秦朝的歷史，也去了安陽(yáng)看殷商的文化。我們有5000年的歷史值得驕傲。”

標(biāo)簽： 數(shù)學(xué)證明