當(dāng)談到計算機(jī)編程,很多人或許覺得與自己不沾邊,然而在一部分人眼里,不但作為興趣愛好,還用來解決生活中的實際問題。
就讀于清華大學(xué)的王杉和復(fù)旦大學(xué)的孫祥彥就是這群人之一。一南一北的兩個人,就因為同樣的興趣——編程,在微軟“編程之美”的比賽上成為搭檔、結(jié)成好友、最終奪得今年的冠軍。決賽中,兩人組成一支參賽團(tuán)隊,基于城市過去一段時間每一個監(jiān)測站的空氣質(zhì)量數(shù)據(jù)和氣象相關(guān)數(shù)據(jù)、以及一些交通數(shù)據(jù)等,去推演一套算法,為未來一段時間的空氣質(zhì)量做預(yù)測。
從左至右依次為:清華大學(xué)計算機(jī)系大三學(xué)生王杉、復(fù)旦大學(xué)計算機(jī)科學(xué)專業(yè)大四學(xué)生孫祥彥、微軟亞洲研究院學(xué)術(shù)合作部總監(jiān)潘天佑
“編程之美”:考察逆向思維+計算性思維
編程之美比賽是微軟跟教育部合作的“長城計劃”關(guān)于人才培育的一個項目,今年第三屆以城市計算為主題,在于鼓勵高校學(xué)生將先進(jìn)的算法與程序設(shè)計應(yīng)用于解決當(dāng)今城市化進(jìn)程中的熱點(diǎn)問題,提高年輕開發(fā)者的綜合實踐能力。今年注冊人數(shù)達(dá)18000多人,經(jīng)過資格賽和初賽,有1000人進(jìn)入了復(fù)賽,復(fù)賽之后有56人進(jìn)入決賽,最終角逐出冠軍隊伍。
在這個比賽中,最特別之處也是跟過去不一樣的做法在于,微軟采用了一個全新的比賽平臺:Code Hunt。其獨(dú)特之處在于對逆向思維的考驗。傳統(tǒng)的算法題是給一個問題,你把它解出來就結(jié)束了。但是Code Hunt則是告訴你這個問題的一些輸入和輸出,讓你來推斷其中的過程,把過程補(bǔ)全,這是一個逆向思維過程。
“逆向思維不是唯一的思維方式,但是當(dāng)大家習(xí)慣于正向思維的時候,逆向思維就成為一個挑戰(zhàn),我相信對同學(xué)們想事情的方法會有一些啟發(fā)。這是微軟研究院獨(dú)自研發(fā)出來的一個平臺,主要就是希望學(xué)生們不要永遠(yuǎn)運(yùn)用單一思維進(jìn)行思考。”微軟亞洲研究院學(xué)術(shù)合作部總監(jiān)潘天佑進(jìn)一步介紹道。
在此之前,Code Hunt也是一個訓(xùn)練思維的平臺,放在網(wǎng)絡(luò)上供用戶體驗。每一個人都可以上去出題目,可以建設(shè)題庫,其他的同學(xué)也可以上去解題,形成互動。
另一方面,編程之美同時也是對學(xué)生計算性思維的考量。簡單說來,計算機(jī)非常擅長的就是去做各式各樣的描述,而程序員的很多想法是可以用程序描述的,使之簡單且可以重復(fù)使用,在這種情況下,人們就能夠利用計算機(jī)去描述很多的想法,從而解決很多問題。這是一些數(shù)學(xué)科研無法實現(xiàn)的過程。
潘天佑指出:“擁有一定的計算性思維就可以幫助人們在思考問題的時候有更多程序性的想法,當(dāng)一件事情可以用程序性思維描述出來的時候,這件事情就可以變成一個計算機(jī)程序,那么就可以通過機(jī)器來幫助實現(xiàn)。微軟亞洲研究院的想法就是希望倡導(dǎo)每一個人都具備一定的計算性思維,就像數(shù)學(xué)思維一樣,幫助人們更好的解決問題。“
值得一提的是,微軟亞洲研究院也在跟教育部接洽,希望能夠把“計算性思維”帶到各個學(xué)校的教育中去,未來在這方面能做出一些成績來。
為什么是編程之美
對于很多學(xué)生而言,課堂上的理論知識或許只是紙上談兵。因此,之所以舉辦這個比賽,潘天佑稱,其目的在于給同學(xué)們提供一個理論與實際結(jié)合的經(jīng)驗,相當(dāng)于為今后畢業(yè)做實戰(zhàn)演習(xí)。在參加比賽的過程中,同學(xué)們不僅有機(jī)會與研究員或開發(fā)人員交流,學(xué)到很多在學(xué)校里沒有機(jī)會接觸到的知識;也可以從中接觸到很多現(xiàn)實的數(shù)據(jù),為今后從事相關(guān)研究做準(zhǔn)備。
潘天佑表示:“微軟亞洲研究院舉辦編程之美比賽想實現(xiàn)的,是希望有更多的學(xué)生藉由這個過程真正感受到編程的魅力,是一件愉快的事情,而不是別人在逼他們做的一件枯燥的事情。“
注重創(chuàng)新 培養(yǎng)人才綜合能力
如果以人才而論,潘天佑也對中國抱有信心,稱中國本土人才獲得圖靈獎(計算機(jī)界諾貝爾獎)只是時間問題。他提出一個現(xiàn)象:中國整個社會都在大力提倡“創(chuàng)新”,這是在美國或者臺灣不經(jīng)常看到的。中國的高校也在不遺余力的推動創(chuàng)新,大家對于創(chuàng)新都非常投入。
不僅如此,企業(yè)也在支持各式各樣的創(chuàng)新比賽。潘天佑坦言,微軟成立已近四十年,不能再算一個創(chuàng)業(yè)型公司,但創(chuàng)新是公司發(fā)展的推動力,所以微軟研究院每天都在做的事情就是創(chuàng)新。
然而,以微軟研究院的角度看,微軟在選擇相關(guān)人才時,不僅要創(chuàng)新,其看重的是綜合能力。潘天佑說:“前任微軟亞洲研究院的院長、現(xiàn)在是微軟全球執(zhí)行副總裁沈向洋,他曾經(jīng)提出了一個叫做‘三好學(xué)生’的標(biāo)準(zhǔn):第一個是編程好;第二個數(shù)學(xué)好;第三個是態(tài)度好。”他認(rèn)為如此培養(yǎng)出來的人才能成就一番事業(yè)。
而對于該類人才,微軟同樣也會提供支持。本屆編程之美比賽結(jié)束后,前十名選手將進(jìn)入微軟亞洲研究院以及微軟的研發(fā)部門實習(xí)。
深耕教育投入
在教育投入方面,很多企業(yè)擁有話語權(quán)。而對于微軟而言,潘天佑指出,其優(yōu)勢在于微軟所擁有的研究院。據(jù)悉,微軟研究院創(chuàng)建于1991年,目前擁有1100多名科學(xué)家和工程師,所分布的研究領(lǐng)域超過55個,目前在全球運(yùn)營7所研究院和一系列創(chuàng)新中心等。其中,微軟亞洲研究院是微軟在美國本土以外規(guī)模最大的一個,目前擁有230多名研究和開發(fā)人員以及300多名訪問學(xué)者和實習(xí)生。
在微軟亞洲研究院里有學(xué)術(shù)合作部,微軟亞洲研究院代表微軟跟教育部簽訂了一個長城計劃,已經(jīng)實行十幾年。長城計劃包含了四根支柱,其中一個是科研合作,每一年微軟亞洲研究院為了推動國內(nèi)的計算機(jī)科學(xué)相關(guān)的研究和高校相關(guān)研究的發(fā)展,會資助很多科研項目,讓很多的教授能夠到微軟亞洲研究院來當(dāng)訪問學(xué)者。
第二根支柱是學(xué)術(shù)交流。每一年都會有微軟亞洲研究院的研究員在高校里開課,微軟也會邀請教授到公司進(jìn)行學(xué)術(shù)交流。
第三根支柱是課程創(chuàng)新。例如,目前國內(nèi)除計算機(jī)科學(xué)之外的其他科系大一也有計算機(jī)導(dǎo)論,微軟亞洲研究院希望能夠把計算性思維的概念放進(jìn)計算機(jī)導(dǎo)論里面,讓其他科系的同學(xué)在學(xué)計算機(jī)概論的時候覺得更有趣,這是課程創(chuàng)新的一個重要方面。
第四根支柱就是人才培養(yǎng),微軟亞洲研究院成立到現(xiàn)在16年,已經(jīng)有4000多位實習(xí)生實習(xí)過。
由此看來,微軟非常重視教育行業(yè)。對此,潘天佑談到:“我們相信企業(yè)要幫助教育,這樣才能教出更好的學(xué)生,而這些更出色的學(xué)生對于企業(yè)而言就是一筆寶貴的財富。”
好文章,需要你的鼓勵
新加坡國立大學(xué)研究團(tuán)隊開發(fā)了SPIRAL框架,通過讓AI與自己對弈零和游戲來提升推理能力。實驗顯示,僅訓(xùn)練AI玩簡單撲克游戲就能讓其數(shù)學(xué)推理能力提升8.6%,通用推理提升8.4%,且無需任何數(shù)學(xué)題目作為訓(xùn)練材料。研究發(fā)現(xiàn)游戲中的三種推理模式能成功轉(zhuǎn)移到數(shù)學(xué)解題中,為AI訓(xùn)練提供了新思路。
同濟(jì)大學(xué)團(tuán)隊開發(fā)的GIGA-ToF技術(shù)通過融合多幀圖像的"圖結(jié)構(gòu)"信息,創(chuàng)新性地解決了3D相機(jī)噪聲問題。該技術(shù)利用圖像間的不變幾何關(guān)系,結(jié)合深度學(xué)習(xí)和數(shù)學(xué)優(yōu)化方法,在合成數(shù)據(jù)集上實現(xiàn)37.9%的精度提升,并在真實設(shè)備上展現(xiàn)出色泛化能力,為機(jī)器人、AR和自動駕駛等領(lǐng)域提供更可靠的3D視覺解決方案。
伊利諾伊大學(xué)研究團(tuán)隊通過對比實驗發(fā)現(xiàn),經(jīng)過強(qiáng)化學(xué)習(xí)訓(xùn)練的視覺語言模型雖然表現(xiàn)出"頓悟時刻"現(xiàn)象,但這些自我糾錯行為并不能實際提升推理準(zhǔn)確率。研究揭示了AI模型存在"生成-驗證差距",即生成答案的能力強(qiáng)于驗證答案質(zhì)量的能力,且模型在自我驗證時無法有效利用視覺信息,為AI多模態(tài)推理發(fā)展提供了重要啟示。
MIT等頂尖機(jī)構(gòu)聯(lián)合提出SparseLoRA技術(shù),通過動態(tài)稀疏性實現(xiàn)大語言模型訓(xùn)練加速1.6倍,計算成本降低2.2倍。該方法使用SVD稀疏性估計器智能選擇重要計算部分,在保持模型性能的同時顯著提升訓(xùn)練效率,已在多個任務(wù)上驗證有效性。
關(guān)注科技創(chuàng)新、技術(shù)投資。
以文會友,左手硬核科技,右手浪漫主義。