
開幕式上的一場(chǎng)對(duì)談引人注目——前微軟執(zhí)行總裁、美國國家工程院外籍院士沈向洋,對(duì)話清華大學(xué)丘成桐數(shù)學(xué)科學(xué)中心主任、菲爾茲獎(jiǎng)首位華人得主丘成桐。
提到數(shù)學(xué)大師丘成桐,他27歲時(shí)因證明了卡拉比猜想一舉成名,33歲就獲得了世界數(shù)學(xué)最高獎(jiǎng)項(xiàng)菲爾茲獎(jiǎng),也是首位獲得該獎(jiǎng)項(xiàng)的華人?!都~約時(shí)報(bào)》曾盛贊他為“數(shù)學(xué)之王”。國際數(shù)學(xué)大師辛格曾說:“即便是在哈佛,丘成桐一個(gè)人就是一個(gè)數(shù)學(xué)系!”今年4月,丘成桐離開哈佛回國,全職任教于清華大學(xué)。
培養(yǎng)中國新一代的數(shù)學(xué)人才的路徑。
前微軟執(zhí)行總裁、美國國家工程院外籍院士沈向洋(圖右)
清華大學(xué)丘成桐數(shù)學(xué)科學(xué)中心主任、菲爾茲獎(jiǎng)首位華人得主丘成桐(圖左)
以下是現(xiàn)場(chǎng)對(duì)話實(shí)錄:
丘成桐:這是一個(gè)很有趣的問題,也是世界所有數(shù)學(xué)家都關(guān)注的(話題)。
數(shù)學(xué)是一個(gè)很有趣的科學(xué),它研究很多奧秘,但是從數(shù)學(xué)家眼中看來,所謂大自然,包括我們看到的物質(zhì)世界、宇宙、銀河系,也包括社會(huì)、經(jīng)濟(jì)上所有產(chǎn)生的事,所以數(shù)學(xué)家眼中的大自然是無所不在、無所沒有的。所以我覺得,世界一流的數(shù)學(xué),一定要能夠看到這些學(xué)問的前景,同時(shí)覆蓋面很大;數(shù)學(xué)家看到的數(shù)學(xué)要畫一個(gè)大幅圖畫,這個(gè)圖畫包括剛才講的種種不同的現(xiàn)象。
什么叫一流的數(shù)學(xué)?就像中文講的“畫龍點(diǎn)睛”,誰能夠?qū)⒀劬c(diǎn)出來,就能夠看到更遠(yuǎn)更廣大所謂的自然界,那就是一流的數(shù)學(xué)。
丘成桐:他們都是偉大的數(shù)學(xué)家。一個(gè)是從數(shù)理邏輯慢慢向計(jì)算方面去研究,引進(jìn)了很多重要的觀念,包括圖靈測(cè)試、圖靈機(jī)器等種種大觀念。馮·諾依曼也是從數(shù)論的觀點(diǎn)出發(fā),有點(diǎn)不一樣,但也同樣重要,他引進(jìn)了“博弈論”。
丘成桐:這個(gè)工作是我跟我的學(xué)生一同去探索的,當(dāng)時(shí)我們發(fā)掘幾十年前做的工作,對(duì)數(shù)學(xué)有一定的貢獻(xiàn)。其實(shí)這個(gè)數(shù)學(xué)問題,差不多是兩百年前由一位法國數(shù)學(xué)家開始的。他就是考慮,兩個(gè)概率分布用什么樣最好的方法將它對(duì)比和比較起來,從比較中找到很多人工智能有興趣的問題,圖像處理等重要的問題,都可以從中發(fā)掘。其中一位意大利數(shù)學(xué)家,也對(duì)這方面有很重要的貢獻(xiàn),可見數(shù)學(xué)家殊途同歸,能夠用不同的方法對(duì)人工智能有很重要的貢獻(xiàn)。
沈向洋:您講的太有道理了,幾百年前就提出了數(shù)學(xué)問題,您幾十年前就解這個(gè)數(shù)學(xué)問題。事實(shí)上,這些年來也把這些方法做到計(jì)算機(jī)圖形學(xué)中,比如說顯卡的技術(shù)來做這件事,大家終于認(rèn)識(shí)到數(shù)學(xué)公式的有效,而且最近你也把它用到了「人臉生成」這類大家更加熟悉的人工智能工作,像大家今天在大屏幕上看到的生成出來的人臉,都是用AEOT這個(gè)模型產(chǎn)生的,而且可以看到越來越真實(shí),越來越栩栩如生,真的非常了不起。
我想多說一點(diǎn)個(gè)人認(rèn)識(shí)。最近大數(shù)據(jù)、大模型真正能夠把自然語言處理和計(jì)算機(jī)視覺統(tǒng)一的非常好,這是一個(gè)著名的雜志最近的一個(gè)書面圖像,給了一個(gè)提示,如果從低角度往上拍,一個(gè)女宇航員在火星拍的一張照片,可以看到結(jié)果是非常震撼的。但是我想回應(yīng)您,如果做得好,其實(shí)發(fā)現(xiàn)他們是用對(duì)了一個(gè)數(shù)學(xué)模型,后面的數(shù)學(xué)做對(duì)了,才會(huì)做的比較快,我覺得他們應(yīng)該學(xué)習(xí)您的方法,未來的工作可能會(huì)做的更加好。
丘成桐:人工智能對(duì)數(shù)學(xué)有很重要的幫助。數(shù)學(xué)家有很多重要的問題,我們其實(shí)都不是很肯定的。
舉例來說,數(shù)學(xué)家一個(gè)很出名的問題,就是有限群分類的問題。有限分類由很多數(shù)學(xué)家共同合作完成,但是整篇文章有幾千頁紙的證明,100頁的證明還可以勉強(qiáng)的念完,但是幾千頁紙的證明很難完成,我想人工智能可以有很大的幫忙,幫我們了解這個(gè)證明有沒有缺憾,只是邏輯上收集不同資料和程序的問題,我想是可以了解的。
但是我覺得從參照數(shù)學(xué)來講,人工智能應(yīng)當(dāng)有很好的用處。300年來數(shù)學(xué)家產(chǎn)生了不少數(shù)學(xué),同時(shí)很多是很重要的命題,舉例來說,萊昂哈德·歐拉是200年前的一位大數(shù)學(xué)家,他寫了一千篇文章,我們真正了解的文章大概有一百多篇,但是歐拉基本上每篇文章都有很重要的開場(chǎng)性的看法,而現(xiàn)代人只了解他的一小部分,我想人工智能應(yīng)當(dāng)想辦法將他了解的多一點(diǎn)。
我為什么這樣講?因?yàn)闅W拉的文章大部分是用拉丁文寫的。同時(shí)很多偉大的學(xué)者的文章都是用德文寫的,我希望人工智能能夠?qū)v史上最重要的文章進(jìn)行系統(tǒng)化消化,讓更多人能夠了解。同時(shí)我們要知道,這一百多年來,所有重要學(xué)科的突破,就是從大學(xué)問家、科學(xué)家了解不同的學(xué)科,讓它迸發(fā)出來新的火花,產(chǎn)生新的學(xué)問。
丘成桐:從歷史上看,偉大的數(shù)學(xué)家基本上都是10歲、11歲的時(shí)候開始發(fā)力,對(duì)數(shù)學(xué)產(chǎn)生興趣,所以我期望我在國內(nèi)能夠從很年輕的小孩子開始培養(yǎng)他們對(duì)數(shù)學(xué)的興趣。期望他們對(duì)數(shù)學(xué)這個(gè)學(xué)科能夠產(chǎn)生真正的興趣,參照生命科學(xué)有濃厚的推動(dòng)力。
沈向洋:您不僅是一位偉大的數(shù)學(xué)家,而且您的中文造詣和歷史功底都非常深,在您培養(yǎng)這批孩子的過程中,您也在思考專才和通才,不要只是會(huì)考試的學(xué)生,而是真正的理解數(shù)學(xué)和喜歡數(shù)學(xué),你也分享一下培養(yǎng)人才的體會(huì),特別是怎么樣學(xué)貫中西。
我?guī)е鴮W(xué)生們看了很多中國輝煌的歷史,比如說我們?nèi)チ宋靼?,看了漢唐、秦朝的歷史,也看了陰山文化,我期望他們知道中華人民共和國是偉大的,我們有五千年的歷史,值得我們驕傲。
謝謝丘先生。
好文章,需要你的鼓勵(lì)
浙江大學(xué)團(tuán)隊(duì)提出動(dòng)態(tài)專家搜索方法,讓AI能根據(jù)不同問題靈活調(diào)整內(nèi)部專家配置。該方法在數(shù)學(xué)、編程等任務(wù)上顯著提升推理準(zhǔn)確率,且不增加計(jì)算成本。研究發(fā)現(xiàn)不同類型問題偏愛不同專家配置,為AI推理優(yōu)化開辟新路徑。
清華大學(xué)研究團(tuán)隊(duì)提出SIRI方法,通過"壓縮-擴(kuò)張"交替訓(xùn)練策略,成功解決了大型推理模型"話多且準(zhǔn)確率低"的問題。實(shí)驗(yàn)顯示,該方法在數(shù)學(xué)競賽題上將模型準(zhǔn)確率提升43.2%的同時(shí),輸出長度減少46.9%,真正實(shí)現(xiàn)了效率與性能的雙重優(yōu)化,為AI模型訓(xùn)練提供了新思路。
南洋理工大學(xué)與騰訊聯(lián)合研究團(tuán)隊(duì)開發(fā)出Rolling Forcing技術(shù),實(shí)現(xiàn)AI視頻實(shí)時(shí)流式生成的重大突破。該技術(shù)通過滾動(dòng)窗口聯(lián)合去噪、注意力錨點(diǎn)機(jī)制和高效訓(xùn)練算法三項(xiàng)創(chuàng)新,解決了長視頻生成中的錯(cuò)誤累積問題,可在單GPU上以16fps速度生成多分鐘高質(zhì)量視頻,延遲僅0.76秒,質(zhì)量漂移指標(biāo)從傳統(tǒng)方法的1.66降至0.01,為交互式媒體和內(nèi)容創(chuàng)作開辟新可能。
華中科技大學(xué)研究團(tuán)隊(duì)發(fā)現(xiàn),通過讓AI模型學(xué)習(xí)解決幾何問題,能夠顯著提升其空間理解能力。他們構(gòu)建了包含約30000個(gè)幾何題目的Euclid30K數(shù)據(jù)集,使用強(qiáng)化學(xué)習(xí)方法訓(xùn)練多個(gè)AI模型。實(shí)驗(yàn)結(jié)果顯示,幾何訓(xùn)練在四個(gè)空間智能測(cè)試基準(zhǔn)上都帶來顯著提升,其中最佳模型達(dá)到49.6%準(zhǔn)確率,超越此前最好成績。這項(xiàng)研究揭示了基礎(chǔ)幾何知識(shí)對(duì)培養(yǎng)AI空間智能的重要價(jià)值。
關(guān)注科技創(chuàng)新、技術(shù)投資。
以文會(huì)友,左手硬核科技,右手浪漫主義。