2015年的秋天，美國(guó)西海岸。
身處于海關(guān)出境口的李云鵬平靜而淡定，那時(shí)一心回歸的他，為自己所設(shè)定的未來(lái)，或許并沒(méi)有拓荒者——這個(gè)充滿了激情與執(zhí)著的角色。畢竟，在硅谷的華裔技術(shù)精英里，他總是那么醒目。
心有猛虎，細(xì)嗅薔薇。
“說(shuō)AI取代人類，一定是歷史沒(méi)學(xué)好，這不可能”
——計(jì)算機(jī)出世，是哲學(xué)漸變的過(guò)程
處女座的天數(shù)智芯創(chuàng)始人李云鵬，自喻大殺器，一頭扎進(jìn)創(chuàng)業(yè)江湖，從此有了板書小王子的傳說(shuō)。
小個(gè)兒的他，胸懷大丘壑，擼貓嗜辣，出口成章，下筆成文，文采與代碼齊飛，風(fēng)趣共嚴(yán)謹(jǐn)一色，與傳統(tǒng)印象中的技術(shù)派著實(shí)是相去甚遠(yuǎn)，極大的刷新了“攻城獅”單一呆板的固定畫像，就像趙佶的作品里無(wú)意中混進(jìn)了一副莫奈的《睡蓮》，竟奇異的融合，相得益彰，大抵是技術(shù)派里的文青流，文青流里的技術(shù)派吧。
而李云鵬與天數(shù)智芯，緣起哲學(xué)派，他對(duì)于這幾年?duì)幾h甚囂的“AI是否能取代人類”命題，用歷史的方式作出了妙趣橫生的解讀。并認(rèn)為，計(jì)算機(jī)的出現(xiàn)不是橫空出世的發(fā)明，而是一個(gè)人類思想漸變和技術(shù)發(fā)展交互的產(chǎn)物。
“18世紀(jì)之前，數(shù)學(xué)與哲學(xué)，你中有我我中有你?！崩钤迄i娓娓道來(lái)。
兩者間第一次有了偏離的定義，始于18世紀(jì)康托爾原始的集合論。
集合論作為數(shù)學(xué)中最富創(chuàng)造性的偉大成果之一，它萌發(fā)、孕育的歷史源遠(yuǎn)流長(zhǎng)，至少可以追溯到兩千多年前。數(shù)學(xué)家們發(fā)現(xiàn)，從自然數(shù)與康托爾集合論出發(fā)可建立起整個(gè)數(shù)學(xué)大廈。因而集合論成為現(xiàn)代數(shù)學(xué)的基石。
“一切數(shù)學(xué)成果可建立在集合論基礎(chǔ)上，這一發(fā)現(xiàn)使數(shù)學(xué)家們?yōu)橹兆恚撬麄兲兆淼挠行┰??！崩钤迄i一本正經(jīng)講故事的樣子，讓人忍俊不禁?！?903年，突然跳出來(lái)一個(gè)人說(shuō)：集合論是有漏洞的!這個(gè)人是英國(guó)數(shù)學(xué)家羅素，著名的羅素悖論就是這么誕生的?！?/p>
羅素悖論的核心表達(dá)一言以蔽之——“我在說(shuō)謊，”這句話是真是假?從這天起，數(shù)學(xué)哲學(xué)終于分裂。哲學(xué)家維特斯根坦認(rèn)為是否在說(shuō)謊與他人無(wú)關(guān)，無(wú)需證明真假，這只是一種表達(dá)，由此，其名言“不可說(shuō)”流傳至今。而熱衷于用數(shù)理邏輯分析哲學(xué)問(wèn)題的數(shù)學(xué)家哥德爾在1930年證明了他的“不完全性定理”：即使把初等數(shù)論形式化之后，在這個(gè)形式的演繹系統(tǒng)中也總可以找出一個(gè)合理的命題來(lái)，在該系統(tǒng)中既無(wú)法證明它為真，也無(wú)法證明它為假。
“這個(gè)‘不可說(shuō)’，佛也說(shuō)過(guò)?！崩钤迄i幽默的玩笑道，“愛(ài)因斯坦的好朋友哥德爾強(qiáng)調(diào)的是，任何一個(gè)公理系統(tǒng)，人類認(rèn)知中，一定有一條定理老天知道人不知道。同時(shí)，人知道的，或者說(shuō)狹義的說(shuō)計(jì)算機(jī)能做的，所謂可計(jì)算，可以通過(guò)嚴(yán)格的數(shù)學(xué)方式來(lái)決定。這是天數(shù)智芯成立之初的歷史理論背景?！崩钤迄i繼續(xù)講到。
“1936年前后，眾所周知的計(jì)算機(jī)之祖圖靈機(jī)重新演證了哥德爾理論，由此明晰計(jì)算機(jī)界只做一件事情：哪些是可計(jì)算的，哪些是不可計(jì)算的，自然科學(xué)發(fā)展計(jì)算機(jī)分支就是由這條主線過(guò)來(lái)的，分為兩個(gè)方向，確定性的和非確定性的。前者有數(shù)學(xué)公式可以一步步推導(dǎo)，有固定的規(guī)則遵循，比如說(shuō)計(jì)算機(jī)看到0會(huì)向左走，看到1會(huì)向右走;而后者，計(jì)算機(jī)看到0并不知道是怎么回事，會(huì)先向左走了再說(shuō)，然后再回來(lái)驗(yàn)證向左走是否正確，這是一個(gè)猜想驗(yàn)證的過(guò)程。前者容易后者難?！?/p>
“應(yīng)用計(jì)算機(jī)科學(xué)發(fā)展到今天絕大多數(shù)的工作都是在做前者。從這個(gè)角度上來(lái)推演，人工智能計(jì)算只是計(jì)算機(jī)科學(xué)的分支，解決的依舊是可計(jì)算的問(wèn)題中的較為簡(jiǎn)單的問(wèn)題。而可計(jì)算問(wèn)題中的難易之爭(zhēng)，即著名的“P?=NP”一直沒(méi)有被證明。
“所以，有人說(shuō)AI會(huì)取代人類，如果了解了AI計(jì)算到底在干什么的話，沒(méi)可能啦，一聽就是科學(xué)史沒(méi)學(xué)好。”李云鵬風(fēng)趣的說(shuō)到。
潛心解決產(chǎn)業(yè)“沙漠化”問(wèn)題
——做智能數(shù)據(jù)時(shí)代基礎(chǔ)軟硬件系統(tǒng)拓荒者
李云鵬本來(lái)的專業(yè)是計(jì)算復(fù)雜性理論，“在南京大學(xué)、香港科技大學(xué)、威斯康辛麥迪遜大學(xué)就讀都是理論計(jì)算機(jī)科學(xué)”,李云鵬說(shuō)，“求學(xué)的時(shí)光就好像是在少林寺藏經(jīng)閣研讀內(nèi)功心法”。2015年在收到甲骨文數(shù)據(jù)庫(kù)研發(fā)組的Offer后，他來(lái)到加州舊金山灣區(qū)，沉浸于此十年，“從理論計(jì)算機(jī)，轉(zhuǎn)身做計(jì)算機(jī)產(chǎn)業(yè)就好像少林寺弟子去龍門鏢局跑鏢，但是一直心系內(nèi)功心法”，直到今天，李云鵬依然保持著對(duì)基礎(chǔ)技術(shù)的熾熱之情。
事實(shí)上，在每一個(gè)天數(shù)人的心里，大概都清晰的知曉自己的重要使命之一是——解決中國(guó)計(jì)算機(jī)產(chǎn)業(yè)“沙漠化”(缺“芯”少“魂”)的問(wèn)題。
信息化發(fā)展至今，中國(guó)的核心技術(shù)能力與西方國(guó)家相比依然差距甚大，歷史原因，國(guó)內(nèi)信息產(chǎn)業(yè)起步較晚，研發(fā)體系和技術(shù)積累薄弱，經(jīng)過(guò)多年發(fā)展雖與國(guó)際基本接軌，取得初步成效，但在計(jì)算機(jī)軟硬件核心技術(shù)上的距離，依然不盡人意，一方面影響著使用體驗(yàn)，另一方面影響著市場(chǎng)占有率和正向循環(huán)良性生態(tài)鏈的建設(shè)，
在芯片、操作系統(tǒng)、高端服務(wù)器等核心技術(shù)方面長(zhǎng)期依賴西方，并沒(méi)有形成完備的信息技術(shù)創(chuàng)新體系和能力。
“基礎(chǔ)硬件系統(tǒng)與世界主流產(chǎn)品存在差距，操作系統(tǒng)、數(shù)據(jù)庫(kù)、中間件和開發(fā)工具的應(yīng)用和發(fā)展并不均衡，產(chǎn)業(yè)的推動(dòng)和實(shí)施慢，亟待實(shí)現(xiàn)從行業(yè)突破到全面實(shí)施的良性格局，部分核心產(chǎn)品研發(fā)企業(yè)還在輸血扶持，國(guó)產(chǎn)化應(yīng)用缺乏，應(yīng)用開發(fā)廠商主動(dòng)性低?！闭劦竭@里，李云鵬明亮的音色暗沉了下來(lái)。
其實(shí)，還有情況更甚者，這些年，不少國(guó)內(nèi)基礎(chǔ)軟硬件提供商沒(méi)有完善的現(xiàn)代企業(yè)制度，沒(méi)有創(chuàng)新激情與市場(chǎng)氛圍，沒(méi)有高水準(zhǔn)的技術(shù)團(tuán)隊(duì)，更沒(méi)有足夠的用戶去使用國(guó)內(nèi)基礎(chǔ)軟硬件產(chǎn)品，由此產(chǎn)生惡性循環(huán)。資金的缺失，更顯得雪上加霜。
“尤其是，自我發(fā)展完善的產(chǎn)業(yè)生態(tài)鏈尚未建立。以現(xiàn)今美國(guó)產(chǎn)業(yè)生態(tài)為例，Intel和AMD專注于CPU、微軟專注于操作系統(tǒng)、Oracle專注于數(shù)據(jù)庫(kù)、中間件等基礎(chǔ)軟件、HP和Dell等專注于整機(jī)，各IT巨頭在特定領(lǐng)域持續(xù)投入，更加專注、專業(yè)的同時(shí)又互相協(xié)同、聯(lián)盟，最終構(gòu)建成輻射全球的信息產(chǎn)業(yè)體系，這對(duì)我們產(chǎn)業(yè)生態(tài)的構(gòu)建，是很有借鑒意義的?！?/p>
“中國(guó)基礎(chǔ)軟件和高端計(jì)算芯片產(chǎn)業(yè)，基本上是一片沙漠地帶，總要有人去試著建立綠洲?！彼\(chéng)懇的說(shuō)?；蛟S，正是在這樣的背景下，天數(shù)智芯應(yīng)運(yùn)而生，李云鵬選擇拓荒守望。
想與做，對(duì)李云鵬而言，從來(lái)沒(méi)有距離。他帶著團(tuán)隊(duì)，正在以自己的節(jié)奏，從智能數(shù)據(jù)與AI算力的需求出發(fā)，圍繞高端服務(wù)器系統(tǒng)，形成從芯片到一體機(jī)，從操作系統(tǒng)到數(shù)據(jù)庫(kù)和應(yīng)用軟件和云服務(wù)，從底至上、軟硬一體、擁抱云計(jì)算的完備技術(shù)體系，互相支撐，開放兼容，試圖破解國(guó)產(chǎn)核心技術(shù)生態(tài)系統(tǒng)薄弱、上下游不銜接的難題。
“市場(chǎng)公認(rèn)20年能做到，那么5年能不能做到呢?”李云鵬揣著深沉的愿景，期待著能拿回中國(guó)計(jì)算機(jī)軟硬件系統(tǒng)市場(chǎng)的控制權(quán)。
智能制造時(shí)代的生逢其時(shí)
——“通用、標(biāo)準(zhǔn)、高性能AI計(jì)算先鋒”
毋庸置疑，作為實(shí)現(xiàn)“智能制造2025”的必要條件，中國(guó)IT行業(yè)將全面進(jìn)入“核心技術(shù)”的自主可控提升階段。
其中，行業(yè)應(yīng)用層的國(guó)產(chǎn)替代空間超過(guò)220億元，而信息安全的增量資本開支預(yù)期有望保持在25%以上年化成長(zhǎng)。在傳統(tǒng)云計(jì)算投入保持20%以上的穩(wěn)步成長(zhǎng)預(yù)期下，科技巨頭們加速邊緣計(jì)算布局，2020年前后，全球有望實(shí)現(xiàn)超過(guò)150億個(gè)的IoT設(shè)備實(shí)現(xiàn)鏈接，百億級(jí)的新數(shù)據(jù)經(jīng)濟(jì)有望在安防、健康、稅控、智慧政務(wù)等場(chǎng)景快速落地。
“這是最好的時(shí)代。我相信天數(shù)智芯能抓住機(jī)遇，成為行業(yè)先鋒，實(shí)現(xiàn)技術(shù)的追趕和跨越?！崩钤迄i略有些興奮的說(shuō)。“我們的產(chǎn)品貫穿了AI產(chǎn)業(yè)鏈縱向的基礎(chǔ)架構(gòu)、通用技術(shù)以及行業(yè)應(yīng)用三個(gè)層面，公司雖然年輕，份量卻不輕?！?/p>
他堅(jiān)定的認(rèn)為，透過(guò)對(duì)基礎(chǔ)技術(shù)的深耕，集合垂類應(yīng)用的延展，充分的體現(xiàn)核心價(jià)值的快速更新與迭代。通過(guò)集成電路和基礎(chǔ)軟件的突破，最終必定會(huì)解決高端服務(wù)器芯片及基礎(chǔ)軟件的沙漠化問(wèn)題。
“同時(shí)還有，針對(duì)AI計(jì)算，解決自主可控問(wèn)題;通過(guò)應(yīng)用級(jí)產(chǎn)品與云服務(wù)，在工業(yè)的轉(zhuǎn)型升級(jí)過(guò)程中，去高度配合中國(guó)制造2025的戰(zhàn)略?！崩钤迄i的戰(zhàn)略藍(lán)圖里不經(jīng)意間勾勒出天數(shù)智芯沉甸甸的使命感。
“情況其實(shí)并沒(méi)有想象的那么糟，在部分AI芯片前沿創(chuàng)新領(lǐng)域，國(guó)內(nèi)一些企業(yè)的技術(shù)能力已經(jīng)達(dá)到了國(guó)際領(lǐng)先水平。這一方面體現(xiàn)在基礎(chǔ)研究方面，基礎(chǔ)研究能力開始與國(guó)際接軌甚至引領(lǐng)。另一方面體現(xiàn)在大批海外AI芯片領(lǐng)域?qū)＜液透叨巳瞬艢w國(guó)創(chuàng)業(yè)，比如天數(shù)智芯?！崩钤迄i略有些得意的說(shuō)。
的確，天數(shù)智芯裹挾著國(guó)內(nèi)堪稱頂級(jí)豪華陣容的百人技術(shù)團(tuán)隊(duì)，多數(shù)人漂洋過(guò)海而回，可謂生逢其時(shí)。
“切入AI芯片領(lǐng)域的算法和系統(tǒng)公司逐漸增多，僅僅通過(guò)算法來(lái)實(shí)現(xiàn)商業(yè)變現(xiàn)會(huì)有瓶頸。如果將各自的AI核心算法芯片化、的確提升了原有性能。然而， AI計(jì)算正處于爆發(fā)增長(zhǎng)期，軟件算法快速、方便的變化，而芯片的研發(fā)周期較長(zhǎng)，按照當(dāng)前算法需求定義芯片需求，無(wú)異于賭博。天數(shù)智芯的AI計(jì)算芯片之所以追求通用、標(biāo)準(zhǔn)、高性能，便是要擺脫對(duì)算法的依賴，不僅僅對(duì)現(xiàn)有AI計(jì)算提供強(qiáng)勁支撐，而且要對(duì)各種高性能計(jì)算提供全方位的支持。在該計(jì)算體系，著眼的是以AI計(jì)算為代表的高性能計(jì)算最大公約數(shù)市場(chǎng)!目前國(guó)內(nèi)在我們同一賽道上的，鳳毛麟角?！崩钤迄i認(rèn)真的說(shuō)。
“同時(shí)，我們離場(chǎng)景很近，對(duì)場(chǎng)景真實(shí)需求有深刻了解，強(qiáng)大的軟硬件一體化產(chǎn)品能力，市場(chǎng)營(yíng)銷渠道能力以及充足的資本儲(chǔ)備是我們的優(yōu)勢(shì)，但這些并不能讓天數(shù)智芯永遠(yuǎn)處在一個(gè)相對(duì)強(qiáng)勢(shì)的地位，無(wú)論是攜手合作、或直接競(jìng)爭(zhēng)，都有著產(chǎn)業(yè)格局的不確定性，而我們能確定的是，始終如一的開放態(tài)度與共贏情懷?！?/p>
再過(guò)一個(gè)月，Intel就要50歲了，而蘋果也已經(jīng)度過(guò)了它42歲的生日，2歲半的天數(shù)智芯和年近不惑的李云鵬，或?qū)⒂瓉?lái)自己的里程碑時(shí)刻。6月22日，中國(guó)大飯店，AI智變，王者芯聲，這場(chǎng)智能生態(tài)發(fā)布會(huì)，將揭開其全球首發(fā)的神秘面紗。
李云鵬，天數(shù)智芯創(chuàng)始人兼CEO。2002年畢業(yè)于南京大學(xué)計(jì)算機(jī)系，2005年獲美國(guó)威斯康辛州大學(xué)麥迪遜校區(qū)(University of Wisconsin-Madison) 碩士學(xué)位，曾任美國(guó)甲骨文公司數(shù)據(jù)庫(kù)部門研發(fā)總監(jiān)。他曾帶領(lǐng)一支橫跨五個(gè)時(shí)區(qū)的跨國(guó)團(tuán)隊(duì)， 為甲骨文數(shù)據(jù)庫(kù)拳頭產(chǎn)品Oracle Database 11g、12c和Exadata的研發(fā)做出卓著的貢獻(xiàn)， 專長(zhǎng)于研發(fā)體系的組織和管理以及智能系統(tǒng)架構(gòu)設(shè)計(jì)。2015年歸國(guó)創(chuàng)立天數(shù)智芯。
