雷鋒網(wǎng)AI科技評(píng)論報(bào)道：中國(guó)計(jì)算機(jī)學(xué)會(huì)（CCF）舉辦的中國(guó)計(jì)算機(jī)大會(huì)（CNCC 2017）已于10月28日順利結(jié)束。此次會(huì)議規(guī)?？涨埃瑫?huì)議組辦方邀請(qǐng)了國(guó)內(nèi)外的許多著名學(xué)者，包括丘成桐、沈向洋、李飛飛等人，同時(shí)還有十多位院士以及數(shù)百名國(guó)內(nèi)外計(jì)算機(jī)專家學(xué)者。這次大會(huì)除了14場(chǎng)非常值得關(guān)注的特邀報(bào)告外，還有2場(chǎng)大會(huì)主題論壇、40余場(chǎng)學(xué)術(shù)論壇、30余場(chǎng)特色活動(dòng)以及3個(gè)頒獎(jiǎng)大會(huì)，同期還將有80余家企業(yè)舉辦科技成果展。據(jù)了解此次參會(huì)人數(shù)多達(dá)6000多人。雷鋒網(wǎng)AI科技評(píng)論對(duì)這次大會(huì)做了全程報(bào)道。

在大會(huì)的40多個(gè)技術(shù)論壇中，有一個(gè)論壇——“未來計(jì)算—CCF會(huì)士論壇”——可以說是規(guī)格極高：四位講者分別為李國(guó)杰院士、高文院士、林惠民院士和北航的陳小武教授；連論壇主持人都是清華大學(xué)吳建平院士和這次大會(huì)特邀嘉賓中科院計(jì)算所的陳熙霖研究員；此外在互動(dòng)環(huán)節(jié)，還有2017年度“羅摩克里希納·勞獎(jiǎng)”獲得者（該獎(jiǎng)項(xiàng)目前全球只有七位獲獎(jiǎng)?wù)撸?strong>特拉華大學(xué)終身教授高光榮。

所謂“姜還是老的辣”，幾位院士以及知名學(xué)者，就計(jì)算機(jī)科學(xué)的未來發(fā)展給出了非常深刻且獨(dú)到的見解。

在論壇中，首先由李國(guó)杰院士做了一場(chǎng)非常精彩的報(bào)告，主題為《計(jì)算的新時(shí)代——關(guān)于未來計(jì)算的幾點(diǎn)思考》。李國(guó)杰院士以他幾十年的研究經(jīng)驗(yàn)，給出了許多非常有價(jià)值的思考。李國(guó)杰院士認(rèn)為大數(shù)據(jù)和人工智能不是計(jì)算機(jī)科學(xué)的掘墓人，而是為計(jì)算機(jī)科學(xué)的發(fā)展開辟了一片新的空間。以前我們認(rèn)為知識(shí)就是力量，但現(xiàn)在在某些領(lǐng)域AI已經(jīng)不再需要人類知識(shí)了，對(duì)一些規(guī)則清楚的結(jié)構(gòu)性問題，計(jì)算的力量有時(shí)候比知識(shí)的力量更強(qiáng)大。有人認(rèn)為人工智能是一個(gè)新的學(xué)科，但李國(guó)杰院士通過對(duì)計(jì)算機(jī)發(fā)展歷史的回顧和思考，認(rèn)為人工智能本質(zhì)上仍是計(jì)算機(jī)技術(shù)，從基礎(chǔ)研究來看，人工智能是計(jì)算機(jī)科學(xué)的前沿研究；從應(yīng)用來看，人工智能是計(jì)算機(jī)技術(shù)的非平凡應(yīng)用。

圖靈獎(jiǎng)得主霍普費(fèi)爾德最近指出，計(jì)算機(jī)科學(xué)的發(fā)展可以分為三個(gè)階段：早期的研究重點(diǎn)是開發(fā)程序語言、編譯技術(shù)、操作系統(tǒng)以及研究支撐它們的數(shù)學(xué)理論；中期的重點(diǎn)是研究算法和數(shù)據(jù)結(jié)構(gòu)；第三個(gè)階段的重點(diǎn)已從離散類數(shù)學(xué)轉(zhuǎn)到概率和統(tǒng)計(jì)。李國(guó)杰院士認(rèn)為到目前為止計(jì)算技術(shù)的紅利已經(jīng)用的差不多了，靠提升算法和硬件來發(fā)展已經(jīng)走到了盡頭，所以我們需要計(jì)算科學(xué)的第二春，機(jī)器學(xué)習(xí)已經(jīng)成為計(jì)算機(jī)科學(xué)的核心。人工智能經(jīng)過60年的培育，已經(jīng)成長(zhǎng)成為碩果累累的大樹，但是對(duì)于深度學(xué)習(xí)為什么這么有效，至今沒有科學(xué)解釋，我們應(yīng)當(dāng)重視這一類跨學(xué)科的帶根本性的基礎(chǔ)研究。（丘成桐先生也提出這個(gè)觀點(diǎn)，可見“英雄所見略同”）

基于對(duì)圖靈機(jī)模型的思考，李國(guó)杰院士認(rèn)為圖靈機(jī)有它自身本質(zhì)上的局限性。圖靈機(jī)的提出主要是用于說明某些數(shù)學(xué)問題的不可能性，它不能提供所有計(jì)算形式的完整模型，圖靈機(jī)的算法的前提都是假定輸入和輸出都是確定的，如果輸入可隨機(jī)選擇，那么就會(huì)突破圖靈機(jī)的界限。所以在以后的研究中要重點(diǎn)研究非確定的計(jì)算。

隨后中科院軟件所的林惠民院士做了《計(jì)算與軟件》的報(bào)告，報(bào)告分為兩部分，分為探討了“計(jì)算是什么”和“軟件的問題”。林惠民院士首先回顧了對(duì)“計(jì)算是什么”這個(gè)問題的歷史思考。對(duì)于這個(gè)問題，數(shù)千年來一直沒有人真正認(rèn)真地思考過，直到希爾伯特在他的23個(gè)希爾伯特問題中提出“是否存在一個(gè)數(shù)學(xué)公理，能夠?qū)⑺袛?shù)學(xué)定理推導(dǎo)出來”和“給定一個(gè)定理，能否在有限步數(shù)范圍內(nèi)推出這個(gè)定理”（第2、10問題）。基于對(duì)這兩個(gè)問題的思考，哥德爾、Alonzo Church、圖靈分別提出了遞歸函數(shù)、Lambda-演算和圖靈機(jī)模型，隨后丘奇證明這三個(gè)看起來完全不同的模型所定義的可計(jì)算函數(shù)概念彼此是等價(jià)的，并且得出一個(gè)“丘奇-圖靈”論斷：一個(gè)函數(shù)是可計(jì)算的當(dāng)且僅當(dāng)它是圖靈可計(jì)算的。一部圖靈機(jī)描述了一個(gè)計(jì)算過程，這個(gè)過程就叫算法。任何人都可以按照算法的規(guī)則，機(jī)械地進(jìn)行計(jì)算，并且得到同樣的結(jié)果。但是這樣的計(jì)算本質(zhì)上不能產(chǎn)生新的知識(shí)，因?yàn)榻Y(jié)論已經(jīng)蘊(yùn)含在前提之中，沒有增進(jìn)人類對(duì)客觀世界的認(rèn)識(shí)；但是從另一方面，計(jì)算機(jī)在機(jī)械計(jì)算方面大有用處，我們可以用他們產(chǎn)生有價(jià)值的東西。

在軟件的問題上，林惠民院士同樣回顧了軟件的歷史發(fā)展，并提出當(dāng)前軟件工程所面對(duì)的問題和困難。軟件的開發(fā)源于馮·諾伊曼結(jié)構(gòu)，通過硬件+軟件的方式實(shí)現(xiàn)通用計(jì)算機(jī)，相比之前通過硬件來實(shí)現(xiàn)運(yùn)算的方式，軟件更容易修改。不過這樣結(jié)構(gòu)導(dǎo)致的結(jié)果就是軟件數(shù)量極多，因?yàn)槭褂糜?jì)算機(jī)解決多少問題，就需要多少軟件，當(dāng)然也需要特定領(lǐng)域的知識(shí)。對(duì)于當(dāng)前軟件工程，依然面對(duì)著諸多問題，包括免責(zé)條款、安全漏洞等等，此外如何通過嚴(yán)格的數(shù)學(xué)符號(hào)和理論來保障軟件的安全是一個(gè)很重要的問題。

林惠民院士之后，北京航空航天大學(xué)的陳小武教授做了關(guān)于《萃取視覺大數(shù)據(jù)，驅(qū)動(dòng)智能生長(zhǎng)力》的報(bào)告。陳小武教授認(rèn)為人類從古至今的變化，其本質(zhì)就是大腦、眼睛和手的一個(gè)變化，是這些變化促成了我們?nèi)祟惤裉斓陌l(fā)展?，F(xiàn)在人類對(duì)世界的認(rèn)識(shí)不僅僅是物質(zhì)世界，還包括信息空間的世界。通過類比，陳小武教授認(rèn)為我們應(yīng)當(dāng)去思考信息空間中的腦袋、眼睛和手分別是什么?，F(xiàn)在隨著大數(shù)據(jù)（尤其是視覺大數(shù)據(jù)）越來越多，陳小武教授以自己的研究為例向聽眾說明，我們可以通過挖掘可視大數(shù)據(jù)的信息，例如構(gòu)建可視數(shù)據(jù)的知識(shí)圖譜等，來構(gòu)建信息空間的大腦；通過這些可視大數(shù)據(jù)以及知識(shí)遷移等技術(shù)，我們可以生成圖像，重建3D場(chǎng)景等，以此來構(gòu)建信息空間的眼睛。在智能的世代，把人的智能與計(jì)算機(jī)的智能結(jié)合起來，可能要大于單純?nèi)嘶蛘邫C(jī)器的智能，因此如何將人與機(jī)器協(xié)同起來（例如現(xiàn)在的AR、VR）是一個(gè)重要問題，也即如何去做信息空間的這只手。

陳小武教授認(rèn)為在構(gòu)建信息空間的大腦、眼睛和手方面，還有很多任務(wù)要去做。首先，現(xiàn)在普遍比較迷信大數(shù)據(jù)，認(rèn)為數(shù)據(jù)越多越好，但其實(shí)小樣本更重要，如何通過小數(shù)據(jù)來尋找屬性與計(jì)算對(duì)象之間的關(guān)系是一個(gè)需要琢磨的事情。其次，如何在數(shù)字空間做跨域和跨類的映射是一個(gè)比較困難的事情，只有實(shí)現(xiàn)這點(diǎn)，數(shù)據(jù)才能實(shí)現(xiàn)自生長(zhǎng)和自演化。第三個(gè)困難時(shí)怎么實(shí)現(xiàn)人的智能和機(jī)器的智能進(jìn)行互動(dòng)和協(xié)同，實(shí)現(xiàn)人與機(jī)器之間的融合，從而實(shí)現(xiàn)智能的生長(zhǎng)。

經(jīng)過短暫的茶歇，北京大學(xué)的高文院士簡(jiǎn)單介紹了他正在推動(dòng)的兩件事情：首先，是數(shù)據(jù)視網(wǎng)膜?，F(xiàn)在城市的各個(gè)角落都密布著視頻監(jiān)控系統(tǒng)，但基本的攝像頭只負(fù)責(zé)編碼然后傳到服務(wù)器存起來。但是在“智慧城市”中這類攝像頭幾乎沒法用，因?yàn)樗鼰o法做到實(shí)時(shí)反應(yīng)?！皵?shù)據(jù)視網(wǎng)膜”其本質(zhì)就是在傳輸數(shù)據(jù)的時(shí)候?qū)⒃獢?shù)據(jù)一分為二，一方面進(jìn)行編碼存儲(chǔ)，另一方面去提取識(shí)別特征。雖然技術(shù)簡(jiǎn)單，但這是一個(gè)工程問題，將傳統(tǒng)攝像頭完全取代也許還需要一些時(shí)間。其次，高文院士針對(duì)在座的院士、教授們介紹了一些他在基金委的工作情況，鼓勵(lì)大家要表現(xiàn)出自己的競(jìng)爭(zhēng)力。

(互動(dòng)環(huán)節(jié)后的合影，從左至右分別為：陳熙霖教授、高光榮教授、李國(guó)杰院士、高文院士、陳小武教授。)

在互動(dòng)問答環(huán)節(jié)，特拉華大學(xué)的高光榮教授認(rèn)為，要小心deep learning，任何東西一過熱就會(huì)跌入低潮，科學(xué)的事情沒有巧，年輕人要扎扎實(shí)實(shí)地從基礎(chǔ)做起，不要忽悠；隨后高光榮教授特別強(qiáng)調(diào)了李國(guó)杰院士報(bào)告中“圖靈機(jī)什么事情不可做”的重要性（雷鋒網(wǎng)隨后將全文報(bào)道李國(guó)杰院士的演講），希望做人工智能的學(xué)者對(duì)這個(gè)問題要認(rèn)真思考。

在這場(chǎng)CCF會(huì)士論壇中，幾位院士和教授基于歷史對(duì)計(jì)算機(jī)科學(xué)未來的發(fā)展做出了非常深刻的思考，他們提出的許多觀點(diǎn)都值得當(dāng)前的學(xué)者，特別是年輕學(xué)者，認(rèn)真思考。說真的，姜，真的是老的辣。

相關(guān)文章：

丘成桐演講全文：工程上取得很大發(fā)展，但理論基礎(chǔ)仍非常薄弱，人工智能需要一個(gè)可被證明的理論作為基礎(chǔ) | CNCC 2017

未來計(jì)算—CCF會(huì)士論壇，一群大牛要在這里對(duì)（yuē）話（jià） | CNCC 2017

雷峰網(wǎng)原創(chuàng)文章，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見轉(zhuǎn)載須知。