在金庸先生的小說(shuō)《倚天屠龍記》當(dāng)中，誰(shuí)也不曾想到倚天劍與屠龍刀這兩把玄鐵鑄就的絕世神器在全力相撞后竟然會(huì)雙雙碎裂，并露出其中隱藏的武功秘籍，幫助故事主角鑄就了新一代的武林神話。而在今天，AI和區(qū)塊鏈成為了近幾年備受社會(huì)關(guān)注的技術(shù)，他們的碰撞又會(huì)產(chǎn)生哪些火花？創(chuàng)造什么價(jià)值呢？

4月18-19日，4月18-19日，由清華校友總會(huì)主辦的第四屆清華校友三創(chuàng)大賽全球總決賽(TMT/AI/大數(shù)據(jù))暨大數(shù)據(jù)智能化高峰論壇在重慶市渝州賓館隆重舉行。上海證交所前總工程師，中國(guó)科學(xué)院教授、博士生導(dǎo)師白碩與我們聊了聊。

人工智能助力區(qū)塊鏈

“世事有些時(shí)候真的很巧，我姓白，拼音是三個(gè)字母，分解開(kāi)來(lái)就是一個(gè)B，一個(gè)AI，B就是區(qū)塊鏈（Blockchain），AI就是人工智能”，談到人工智能和區(qū)塊鏈技術(shù)，白碩感慨地說(shuō)道：“這是上天安排我去做這兩件事”。

AI模型助力數(shù)字貨幣監(jiān)管

首先，白碩為我們分析了AI能夠促進(jìn)區(qū)塊鏈發(fā)展的各個(gè)方面：“以比特幣的交易為例，進(jìn)行貨幣轉(zhuǎn)讓的人是匿名的，但他們的轉(zhuǎn)賬行為是公開(kāi)的。我們可以使用人工智能去分析這些數(shù)據(jù)，從數(shù)據(jù)的結(jié)構(gòu)和數(shù)據(jù)表現(xiàn)的行為中去發(fā)現(xiàn)是什么人在做什么交易，甚至是給不同的賬戶進(jìn)行定量的畫(huà)像和分析。這樣人工智能就能為國(guó)家監(jiān)管區(qū)塊鏈提供依據(jù)。”

形式化驗(yàn)證助力智能合約發(fā)展

區(qū)塊鏈在2.0以后引入了智能合約，智能合約（Smart contract ）的官方定義是一種旨在以信息化方式傳播、驗(yàn)證或執(zhí)行合同的計(jì)算機(jī)協(xié)議。在采訪中，白碩為我們做了更生動(dòng)的解讀：“在智能合約的框架下，體現(xiàn)價(jià)值和信任的數(shù)據(jù)在一個(gè)可以控制的、事先規(guī)定好的邏輯下流動(dòng)，這樣的流動(dòng)可以給社會(huì)各個(gè)領(lǐng)域帶來(lái)與價(jià)值和信任相關(guān)的服務(wù)，而這些服務(wù)就是智能合約。”

白碩表示，利用智能合約的代碼強(qiáng)制執(zhí)行與信任和價(jià)值有關(guān)的業(yè)務(wù)流程將會(huì)成為區(qū)塊鏈的常態(tài)。這些代碼承載著信任的流動(dòng)，一旦出錯(cuò)或者有安全隱患，很有可能引起災(zāi)難性的后果，所以很多人不約而同地將智能合約代碼的把關(guān)工作寄希望于形式化驗(yàn)證。

“AlphaGo Zero這些技術(shù)的出現(xiàn)標(biāo)志了在符號(hào)推理、機(jī)器推理等方面人工智能巨大的進(jìn)展。這種推理反過(guò)來(lái)作用在智能合約上就是形式化驗(yàn)證”，白碩繼續(xù)說(shuō)道：“無(wú)論是程序的正確性、安全性和業(yè)務(wù)資金的安全性還是身份的保證，形式化驗(yàn)證都是能得到廣泛應(yīng)用的一個(gè)技術(shù)。”

為了推動(dòng)區(qū)塊鏈長(zhǎng)遠(yuǎn)健康的發(fā)展，使得更多信任的狀態(tài)能夠在區(qū)塊鏈上流動(dòng)，智能合約的正確性、安全性必須得到保證。目前看來(lái)，形式化驗(yàn)證是一個(gè)有效的解決方案。

區(qū)塊鏈助力人工智能

區(qū)塊鏈助力數(shù)據(jù)權(quán)益保護(hù)

白碩表示，人工智能最近幾年的興起很大程度上要?dú)w功于深度學(xué)習(xí)技術(shù)的突破，而深度學(xué)習(xí)的突破又是由多個(gè)要素的飛躍一起促成的。其中第一是算力的大幅度提高，第二是算法的層次增長(zhǎng)，第三就是數(shù)據(jù)的大規(guī)模積累。

“但是數(shù)據(jù)的積累這個(gè)問(wèn)題有正反兩個(gè)方面，尤其是最近互聯(lián)網(wǎng)巨頭積累數(shù)據(jù)的速度已經(jīng)遠(yuǎn)遠(yuǎn)超過(guò)了我們的預(yù)期，在沒(méi)有其他配套設(shè)施和法規(guī)的情況下，這樣大規(guī)模的數(shù)據(jù)增長(zhǎng)是孤軍深入式的”，談到數(shù)據(jù)的權(quán)益問(wèn)題，白碩擔(dān)憂地說(shuō)道：“我們的數(shù)據(jù)匯集起來(lái)了，但是被其他人拿走了，學(xué)習(xí)了，個(gè)性化地分析、決策了，甚至是拿著我們的畫(huà)像去做危險(xiǎn)的事情了。這樣的行為目前非常缺乏制約，我們數(shù)據(jù)方面的權(quán)益缺少保護(hù)。”

白碩表示，怎樣在不影響人工智能在數(shù)據(jù)上應(yīng)用的情況下保護(hù)數(shù)據(jù)的權(quán)益，這是一個(gè)很復(fù)雜的問(wèn)題。“醫(yī)學(xué)影像是一個(gè)特別典型的例子，每個(gè)醫(yī)院都把自己的影像當(dāng)作寶貴的數(shù)據(jù)資產(chǎn)，但是要想獲得一個(gè)好的識(shí)別模型，少量的樣本不行的”，白說(shuō)繼續(xù)說(shuō)道：“數(shù)據(jù)是醫(yī)院的核心資產(chǎn)，要把大家的數(shù)據(jù)匯聚起來(lái)交到一個(gè)人手里，哪怕是交到大家都放心的第三方手里，都是一件很難的事情。”

在保護(hù)多方的數(shù)據(jù)隱私和數(shù)據(jù)安全的情況下將數(shù)據(jù)匯聚起來(lái)進(jìn)行訓(xùn)練以得到更好的模型和系統(tǒng)一直被大家認(rèn)為是一個(gè)不可能解決的挑戰(zhàn)。但從白碩的觀點(diǎn)來(lái)看，機(jī)器學(xué)習(xí)和區(qū)塊鏈的結(jié)合似乎為這個(gè)問(wèn)題提供了一個(gè)解決方案。他總結(jié)道：“把區(qū)塊鏈加上多方安全計(jì)算、加上大數(shù)據(jù)去學(xué)出人工智能，同時(shí)保護(hù)大家原有的權(quán)益，在未來(lái)變成了可能。歐盟最近出臺(tái)了史上最嚴(yán)的數(shù)據(jù)保護(hù)法案，在這樣的背景下，這一領(lǐng)域AI和區(qū)塊鏈技術(shù)的結(jié)合是一個(gè)很有希望的行業(yè)。”

區(qū)塊鏈助力眾包新模式

人工智能的基礎(chǔ)是數(shù)據(jù)，而數(shù)據(jù)的大規(guī)模標(biāo)注，數(shù)據(jù)資源的創(chuàng)建，目前很多都需要人工完成。“對(duì)于這樣的行為，我們傳統(tǒng)的說(shuō)法是眾包。眾包可以創(chuàng)造單個(gè)個(gè)體、單個(gè)公司所無(wú)法創(chuàng)建的強(qiáng)大的知識(shí)庫(kù)和數(shù)據(jù)庫(kù)”，白碩繼續(xù)說(shuō)道：“眾包不是簡(jiǎn)單地做無(wú)償?shù)氖虑椋敲醋詈笞匀灰鶕?jù)個(gè)體的貢獻(xiàn)度去分享匯聚以后的資源數(shù)據(jù)的收益。這是一種我們看到即將出現(xiàn)的新商業(yè)模式，而區(qū)塊鏈?zhǔn)侵芜@種商業(yè)模式的最有效的技術(shù)體系。”

關(guān)于清華三創(chuàng)大賽

清華校友三創(chuàng)大賽（創(chuàng)意創(chuàng)新創(chuàng)業(yè)），是由清華校友總會(huì)主辦的全方位、多層次、無(wú)間歇地支持校友和學(xué)生創(chuàng)新創(chuàng)業(yè)的大型系列活動(dòng)，為有創(chuàng)新精神和創(chuàng)業(yè)能力的校友、師生，提供展示、交流、融資和成長(zhǎng)的舞臺(tái)；為愿意幫助、輔導(dǎo)、支持和投資創(chuàng)新創(chuàng)業(yè)項(xiàng)目的校友，提供參與和對(duì)接的平臺(tái)；共同推動(dòng)清華大學(xué)創(chuàng)新創(chuàng)業(yè)教育更上一層樓，為清華校友創(chuàng)新創(chuàng)業(yè)提供更大的勢(shì)能和動(dòng)能，形成互幫互助的清華創(chuàng)業(yè)圈。

三創(chuàng)大賽聘請(qǐng)了400多位創(chuàng)業(yè)導(dǎo)師和評(píng)委，與100多家投資機(jī)構(gòu)、上百名天使投資人、30多個(gè)地方政府招商招才機(jī)構(gòu)保持密切的聯(lián)系與合作。第四屆三創(chuàng)大賽全球共有799個(gè)項(xiàng)目參賽，涉及互聯(lián)網(wǎng)+、大數(shù)據(jù)、人工智能、大建筑、城市更新、文創(chuàng)體育、健康醫(yī)療、先進(jìn)制造、集成電路、新材料、環(huán)保等多個(gè)領(lǐng)域。