Linus創(chuàng)造了統(tǒng)治全球服務(wù)器的Linux，可否值得一個(gè)圖靈獎(jiǎng)？

本文來自用戶投稿。 作者：小明，一個(gè)深耕 AI 與自然語言處理領(lǐng)域的編程老兵。

最近看到我加的一個(gè)硬核AI群里吵翻了天。

起因是一個(gè)老生常談的話題：新一屆圖靈獎(jiǎng)名單即將公布了。

當(dāng)我們熟知的AI教父Hinton、LeCun拿獎(jiǎng)拿到手軟時(shí)，總有那么幾個(gè)名字，明明響徹云霄，卻始終被擋在圖靈獎(jiǎng)的門外。

支持者覺得這是“完全離譜”，反對者則給出四字理由：學(xué)術(shù)獎(jiǎng)項(xiàng)。

今天咱們直接把這個(gè)問題拋出來：

撐起地球算力半壁江山的頂級工程壯舉，到底配不配得上一座圖靈獎(jiǎng)？

有一說一，這事兒比想象中硬核得多。

01 Linus：統(tǒng)治世界的“暴君”，為何被圖靈獎(jiǎng)卡了脖子？

如果計(jì)算機(jī)世界有一個(gè)隱形的王，那一定是Linus Torvalds。

Linux操作系統(tǒng)，跑在全世界所有的超級計(jì)算機(jī)上。

跑在絕大多數(shù)的云服務(wù)器上。

甚至跑在幾十億臺安卓手機(jī)的底層。

超級計(jì)算機(jī)操作系統(tǒng)市場占有率圖表

不僅如此，他順手搞出的Git版本控制系統(tǒng)，至今還在管理著全世界程序員的代碼。

論對真實(shí)世界的影響力，Linus可能碾壓大多數(shù)圖靈獎(jiǎng)得主。

但他為什么連個(gè)提名都費(fèi)勁呢？

如果你去問圖靈獎(jiǎng)ACM的評委，他們大概率會推一下眼鏡，甩出一個(gè)非常硬核的“查重”問題：

Unix早在1983年就拿過獎(jiǎng)了。

翻譯一下就是：Ken Thompson和Dennis Ritchie（Unix雙雄）已經(jīng)因?yàn)榘l(fā)明了“一切皆文件”、“管道”等Unix哲學(xué)拿過圖靈獎(jiǎng)了。

在圖靈獎(jiǎng)評委眼里，Linus寫的Linux，本質(zhì)上只是Unix的一種“克隆”和“工程實(shí)現(xiàn)”。

你寫得更好、效率更高、生態(tài)更無敵？那也只是工程好，但理論框架并沒有突破前人。

Unix雙雄，可以說是圖靈獎(jiǎng)在操作系統(tǒng)領(lǐng)域的終極守門人

雖然有點(diǎn)不服氣，但這確實(shí)是圖靈獎(jiǎng)的基因決定的。

圖靈本人是數(shù)學(xué)家，是理論奠基人。這就注定了這個(gè)獎(jiǎng)項(xiàng)生來就是面向計(jì)算機(jī)理論的，偏學(xué)術(shù)性質(zhì)。

它更像是一個(gè)獎(jiǎng)勵(lì)“發(fā)明了輪子”的人的獎(jiǎng)項(xiàng)，而不是獎(jiǎng)勵(lì)“把車開得最快”的人。

02 李飛飛：真的“只是做數(shù)據(jù)的”嗎？

同樣的尷尬，也發(fā)生在了AI界的“數(shù)據(jù)女王”李飛飛身上。

在公眾認(rèn)知里，她是計(jì)算機(jī)視覺（CV）領(lǐng)域的絕對先驅(qū)。

但如果你去逛一圈國外的學(xué)術(shù)論壇，會聽到一種相當(dāng)刺耳的聲音：

“ImageNet確實(shí)好用，但它只是一個(gè)數(shù)據(jù)集。這是苦力活，不是科學(xué)。”

這多多少少讓每天跑模型煉丹的算法工程師們有點(diǎn)破防。

在傳統(tǒng)的學(xué)術(shù)鄙視鏈里：理論 > 算法 > 工程 > 數(shù)據(jù)。

評委們更偏愛“從0到1”的算法發(fā)明。

比如Hinton搞出的反向傳播，再比如LeCun搓出的卷積神經(jīng)網(wǎng)絡(luò)（CNN）。

而李飛飛做的ImageNet，在很多人眼里就是在“收集圖片”和“清洗打標(biāo)”。

但事實(shí)真的如此嗎？

如果沒有ImageNet這千萬級的圖片喂養(yǎng)，2012年那場引爆全球AI革命的AlexNet時(shí)刻，根本連影子都不會有。

ImageNet硬生生把AI從“邏輯驅(qū)動”的舊思路，拽到了“數(shù)據(jù)驅(qū)動”的高速公路上

李飛飛極其敏銳地發(fā)現(xiàn)了一個(gè)被所有人忽視的盲點(diǎn)：

限制AI智商的，不是算法不夠精妙，而是數(shù)據(jù)不夠大。

這是一種底層邏輯的范式轉(zhuǎn)移（Paradigm Shift）。

如果說Hinton造出了內(nèi)燃機(jī)，那李飛飛就是那個(gè)勘探出大型油田的人。

03 規(guī)則在松動，未來在變道

其實(shí)近幾年，圖靈獎(jiǎng)評委會自己也在糾結(jié)。

摩爾定律都在放緩，當(dāng)“實(shí)驗(yàn)科學(xué)”和“超級工程”開始主導(dǎo)計(jì)算機(jī)領(lǐng)域，那套幾十年前的老標(biāo)準(zhǔn)，是不是也該打個(gè)補(bǔ)丁了？

畢竟，他們都已經(jīng)把獎(jiǎng)?lì)C給了皮克斯的創(chuàng)始人（計(jì)算機(jī)圖形學(xué)應(yīng)用），也頒給了軒尼詩（RISC架構(gòu)的商業(yè)化落地）。

這說明學(xué)術(shù)界也逐漸意識到一個(gè)事實(shí)：

偉大的工程實(shí)現(xiàn)，本身就是科學(xué)不可分割的一部分。

那么，Linus到底能不能拿獎(jiǎng)？

很多圈內(nèi)大佬預(yù)測，極有可能。

等到Linus真正準(zhǔn)備退休的那一天，ACM沒準(zhǔn)會通過一座終身成就性質(zhì)的圖靈獎(jiǎng)，來表彰他對“開源軟件工程范式”的貢獻(xiàn)。

他證明了開源協(xié)作模式可以擊敗封閉的商業(yè)帝國（對，說的就是曾經(jīng)的微軟）。

這種在社會學(xué)和軟件工程學(xué)上的貢獻(xiàn)，意義早已超越了代碼本身。

如果圖靈獎(jiǎng)的百年名單里永遠(yuǎn)沒有Linus，那尷尬的絕對不只是Linus。

04 結(jié)語：算力即權(quán)力的時(shí)代，我們在焦慮什么？

說到底——

這不僅僅是幾個(gè)硅谷大佬的獎(jiǎng)項(xiàng)之爭，它也是對如今科技產(chǎn)業(yè)評價(jià)角度的一次提問。

在中國的科技產(chǎn)業(yè)里，我們經(jīng)常陷入一種“二元對立”的極端爭論：

要么在PPT上瘋狂追求“國產(chǎn)原創(chuàng)”的底層理論，要么在現(xiàn)實(shí)中沉迷于“造殼”和“套殼”的低水平工程。

Linus和李飛飛的爭議，其實(shí)也給我們上了一課。

頂級的工程，從來都不是簡單的搬磚。

能夠處理全球海量并發(fā)、能夠組織百萬級開發(fā)者協(xié)同的代碼，其背后包含的深邃智慧，絲毫不亞于一篇Nature頂刊。

同時(shí)，定義問題，往往比解決問題更重要。

在這個(gè)算力即權(quán)力、數(shù)據(jù)即石油的時(shí)代，與其去爭吵誰是“科學(xué)家”誰是“工程師”？

不如睜眼看看，到底是誰的代碼，真正跑在了統(tǒng)治這個(gè)世界的服務(wù)器上。

畢竟，歷史確實(shí)是由寫論文的人起草的，但未來的大廈，只能由寫代碼的人一塊磚一塊磚地建起來。