最近，不少魔性的“換臉”視頻刷爆網絡，當紅明星換臉經典影視人物、游戲主播換臉當紅小生等短片層出不窮。在這場全民狂歡的惡搞熱潮背后，最離不開的，當然是AI技術的支撐。

AI，簡單來說就是通過訓練，讓機器實現原本只有人類才能完成的任務。隨著技術的發展，AI已經滲入到人類生活的方方面面。小到手機上的語音助手，大到安保機器人，都有它的身影。

不過，如果沒有強大的計算能力，人工智能也只能是個“人工智障”。能發展到今天“全民玩AI”的地步，最離不開的，當然是歷史上那些做出卓越貢獻的數學家們。

歷史上的數學家，推動人類升級打怪的步伐

作為人類歷史上第一種人造計算工具，算籌在春秋時代已被廣泛利用。雖無法考究它的創造者，但它確實代替了最低級的“結繩而治”，開啟了人類對計算能力的無限探索。在這之后，各種提升算力的手段在歷史的潮流中應運而生。

戰國時期骨算籌

要論數學界的里程碑，二進制的出現絕對得排第一位。十七世紀，戈特弗里德·威廉·萊布尼茨設置了二進制，奠定計算機發展的基礎。這位曾與牛頓battle“誰創立了微積分”的頭鐵大佬，雖然在這場學術戰中被碾壓，但依然擋不住他超越時代的智慧光芒。

萊布尼茨的成就雖然沒有被世人周知，但作為一個優秀的數學家，某些大學生們苦不堪言的高數、數分、線代等等等等的，都有他的半壁江山，你說氣不氣人！

時間回到十七世紀，那時候的英國學者對牛頓盲目崇拜，固守牛頓的觀點而不嘗試突破創新。在這種觀念下，英國數學開始脫離時代發展的潮流。

一個世紀之后，查爾斯·巴貝奇出現了。他協助成立了分析學會，極大地推動了數學在英國的復興。這位“通用計算機之父”還制造了世界上第一臺差分機，它能夠按照設計，自動處理函數的計算過程。

巴貝奇的動手能力幾乎可以封神，差分機從設計繪圖到零件加工全部自己完成。這要是放在今天，那妥妥的一個自造物網紅啊！不過，頂著富二代光環的巴貝奇卻是個“常敗英雄”，不僅花光了老爹留下的巨額資產，差分機2號、分析機也接連制作失敗。

差分機1號1/7完成品

但不可否認的是，巴貝奇的設想奠定了現代計算機設計的基礎。巴貝奇的分析機，就是現代通用計算機的雛形。在這臺分析機的制造中，另一個重要人物也舉足輕重，她就是計算機程序的創始人、人類歷史上第一位碼農——阿達·洛夫萊斯。

是的，你沒看錯，阿達是個程序媛，還是一位集美貌與才華為一身的貴族夫人。作為英國著名詩人拜倫的女兒，阿達還多次被母親擔憂“出現危險的詩人傾向”。畢竟我們都知道，拜倫可是出了名的情場大王。

阿達·洛夫萊斯

作為巴貝奇的合作者，阿達為分析機寫的程序奠定了現代程序語言的基礎。為了紀念她的貢獻，美國國防部將耗時近20年制作而成的高級計算機編程語言命名為Ada。

分析機雖然沒有制作出來，但它超前的思想卻影響著后人。也正是來源于分析機的靈感，艾倫·麥席森·圖靈在多年后提出了圖靈機的設想。

圖靈被尊稱為計算機科學之父和人工智能之父，他提出的圖靈命題系統構建了計算機科學的基礎，是在巴貝奇的分析機之后更加系統的構造。而他提出的另一個命題圖靈測試，則是人類對人工智能的最初設想。

有趣的是，聽說這位偉大的科學家有著各種奇怪的癖好，比如花粉過敏卻拒絕服藥，寧愿每天戴防毒面具上下班；比如在瓷器奇缺的戰爭時期，為了防止茶杯丟失而用鐵鏈將它鎖在暖氣管上。天才的腦回路，果然不是我等凡人能懂的。

雖然我們可能對圖靈這個名字很陌生，但喬布斯的蘋果商標，就是為了紀念他而設計的。圖靈機的發明還推動了計算機發展的步伐，促進了人類第一臺通用計算機ENIAC的誕生。

第一臺通用計算機ENIAC

二戰期間，ENIAC為美國軍方提供了大量的數據處理支持，包括彈道計算等。但它有一個致命的缺點：不具備存儲程序。也就是說，雖然運算只需要幾秒鐘，但設置它如何運算，卻需要好幾天的時間，大概等同于拖延癥患者們在Deadline之前的效率吧。

這個時候，現代計算機之父出現了。約翰·馮·諾依曼解決了ENIAC的致命問題，他提出的馮·諾依曼結構被歷代計算機廣泛應用，開啟了電子計算機時代。

雖然在科學研究方面馮·諾依曼是個“老司機”，但現實中開車的技術卻非常差勁。不僅如此，大概是過于醉心研究，他年紀輕輕就已經有地中海的傾向，果然程序猿們都是禿頂的重災人群啊。

百年AI，未來不只是阿爾法狗

在這些數學家們的影響下，人類的計算能力得到更進一步的突破。電子計算機的快速發展，也帶來了另一個領域的大變革——人工智能。

1956年，人工智能的概念首次被提出。那年，達特茅斯夏季人工智能研究會議聚集了各方大佬，包括Lisp語言的發明人約翰·麥卡錫、信息論創始人克勞德·香農、人工智能領域先驅馬文·明斯基等等，世界正在逐步走向數字化、智能化。

1977年，IBM深藍戰勝人類國際象棋冠軍，標志著人工智能歷史邁開了重要的一步，機器模擬人類思考學習的技能提上一個新臺階。而我們都熟悉的阿爾法狗，多次戰勝世界冠軍，更是提升了人類對人工智能的期待。

雖然人工智能的發展經歷了兩個低谷期，但這并沒有阻擋人類前進的步伐。為了能夠享受高新科技帶來的舒適生活，人類發明了各種方便自己偷懶的玩意兒，比如自動駕駛汽車、家務機器人等等。

算力進化，中國占有一方天地

人工智能爆發式的發展，自然離不開計算能力的支持。計算能力，幾千年前是算籌，幾百年前是龐大的計算機，如今藏在小小的芯片里。

爆炸式的數據需要非常強大的計算能力做支持，但芯片也是有物理極限的。人工智能之所以會活成“人工智障”，正是因為算力不足，而人類也在想方設法突破這個瓶頸。

以“智能技術”為特征的第四次工業革命，正在世界范圍內產生巨大變革。我國的科學家和產業研究者們，也都奮戰在科技革命的一線戰場。

正如幾百年前巴貝奇的分析機試圖突破年代算力一樣，如今，我國的優秀企業華為，也在嘗試突破時代的算力極限。進入2019年，華為在智能計算領域的發展越來越迅速。

去年，華為發布了全球首款覆蓋全場景的昇騰系列AI處理器。昇騰310主打推理場景，具有低功耗、極致高效的特點。昇騰910主要用于訓練場景，作為全球單芯片計算密度最大的芯片，計算力遠超業界同類型產品。這兩款芯片，都為華為后續的AI產品提供了強大的算力支持。

2018年10月10日，華為全連接大會，華為輪值董事長徐直軍談全棧AI戰略

致敬先驅，智能計算成為AI新支點

正是因為有了前人的技術沉淀和思想突破，人類的發展才能日漸飛速。盡管許許多多的數學家并沒有被世人熟知，但他們留下的精神財富卻指引著人類走向更文明的方向。

從萊布尼茨到圖靈，從巴貝奇到馮·諾依曼，先驅者們用“計算”的力量不斷改變著人類前行的軌跡。華為中國微博也希望通過這種年輕人喜聞樂見的方式，讓更多人了解到這些為人類發展做出巨大貢獻的偉人。

正如《靈魂擺渡》里面，沉睡千年的蚩尤驚嘆于人類世界的發展時，趙吏所說：人類的社會在發展，人類的社會在進步。假如這些已逝的科學家們能看到自己的成就正在推動人工智能飛速發展，相信他們也會有一番感慨。