“Sometimes it is the people who no one imagines anything of who do the things that no one can imagine.”
在談到人類智慧與機器智慧的交匯時，我們無法繞過一個閃耀的名字——艾倫·圖靈。他是數學家、邏輯學家、密碼學家，人工智慧先驅。從提出劃時代的圖靈機和圖靈測試，到二戰時期破解 Enigma，圖靈的工作不僅推動了計算機科學的發展，他的思想和創新在當今的科技世界中依然熠熠生輝。70 年前的今天，他離開了這個世界，70 年後的今天，我們緬懷他。
天才科學家的輝煌與遺憾
艾倫·圖靈（Alan Turing），1912 年 6 月 23 日出生在英國倫敦的一個富裕家庭。他的母親希望他走經典教育的道路，但圖靈卻對數學和科學情有獨鍾。在中學時，圖靈已經顯示出卓越的數學才能，特別是在解決複雜問題和邏輯推理方面。
1931 年，他進入劍橋大學國王學院學習。在那裡，他的數學天賦得到了充分的展示和發展。1934 年，他以優異成績獲得學士學位，並開始從事更深入的研究。
劍橋大學國王學院，圖靈於1931年成為本科生，並在1935年成為研究員。那裡的計算機房以他的名字命名。
1936 年，圖靈向倫敦權威數學雜誌投稿了一篇論文《論可計算數》，在這篇論文中，他提出了圖靈機的概念，奠定了現代計算理論的基礎。
1936 年至 1938 年，圖靈在美國普林斯頓大學跟隨著名數學家阿隆佐·丘奇學習，並獲得了博士學位。在普林斯頓期間，他繼續研究數學邏輯和密碼學，為後來的工作打下了堅實的基礎。
1939 年，第二次世界大戰開始，在白金漢郡布萊切利莊園的戰時密碼分析總部，圖靈開始了高度保密的工作——破解德國的 Enigma。
他在這裡發揮了關鍵作用，特別是在設計和改進用於破解德國 Enigma 的機器（如 Bombe）。圖靈的工作極大地加速了密碼的破譯過程，為盟軍獲得關鍵情報並最終贏得戰爭做出了重大貢獻
。
他熱愛長跑，這是他釋放工作壓力的最主要方式。他的馬拉松最好成績是 2 小時 46 分 03 秒（手動計時），只比 1948 年倫敦奧運會男子馬拉松冠軍 Delfo Cabrera 慢了 11 分鐘。他將愛好發揮到了極致！
他的人生故事是閃耀的但並非總是光明的，他因同性戀傾向而遭到當時的英國政府迫害，職業生涯盡毀，1954 年 6 月 7 日去世，被發現時身邊有一個吃了一半的蘋果，普遍推測是食用浸過氰化物溶液的蘋果而去世。但也有觀點認為他是在進行化學實驗時不慎中毒。圖靈的神秘去世，至今仍給人留下無盡的猜想和懸念，成為了他傳奇一生不可磨滅的一部分。
著名數學家、 邏輯學家戴維斯(Martin Davis)親自在霍奇斯的《艾倫·圖靈傳: 如謎的解謎者》中寫過一段評論，最後一句是：“對圖靈的指控是悲劇，他應該被當作民族英雄。”
2009 年，他終得平反。英國前首相戈登·布朗代表英國政府為圖靈當年受到的不公正待遇公開致歉，2013 年他獲得了英國皇家特赦。為了紀念他的偉大貢獻，ACM 還設立了圖靈獎，專門獎勵對計算機事業作出重要貢獻的個人，被譽為計算機界的諾貝爾獎。
費曼說微積分是上帝的語言。如果我們把第一次工業革命歸因於機械和能量，貼上牛頓的標籤，而把當下正在經歷的第四次工業革命歸因於資訊和計算，那麼，上帝的語言該改成圖靈機了。至少，英國 50 英鎊鈔票的頭像剛剛從瓦特（Watt）換成圖靈。
圖靈最重要的貢獻無疑是他 1936 年的那篇文章《論可計算數》（On Computable Numbers, with an Application to the Entscheidungsproblem）， 其中他定義了一種機械裝置，後來被他的導師丘奇稱為“圖靈機”。馮諾依曼說這不僅奠定了計算的理論基礎，也為現代計算機的工程實現指明瞭方向，哥德爾也認為圖靈機比他自己的遞迴函式更令人信服。
在這篇論文中，圖靈提出了圖靈機的概念，將計算過程抽象成一系列簡單的操作步驟，可以透過讀取和寫入紙帶上的符號來完成。這種思想雖然簡單，卻極為強大，奠定了計算理論的基礎，使得我們能夠理解和設計更復雜的計算系統。
圖靈證明了某些數學問題是不可解的，即沒有演算法能夠在有限時間內解決所有輸入的情況下得出確定的答案。圖靈機的提出不僅解決了希爾伯特的決斷問題，表明了數學中存在不可計算的問題，還為現代計算機的設計提供了理論基礎。圖靈機的概念被廣泛用於程式語言、演算法設計和複雜性理論等領域。
圖靈 1950 年在哲學雜誌《心》上發表的文章《計算機與智慧》（Computing Machinery and Intelligence）
中把“機器能思考嗎”的問題轉換為一種模仿遊戲——後世稱為“圖靈測試”，這也是人工智慧的起源。
圖靈– 1950，《計算機與智慧》發表在《心》上
在這個遊戲中，一個人（我們叫他 A），一個機器（我們叫它 B），還有一個提問者（我們叫他 C）。
C 的任務是透過文字交流來判斷 A 和 B 中誰是人，誰是機器。如果 C 無法區分，或者錯誤地將機器判斷為人，那麼這臺機器就被認為通過了圖靈測試，展現出了與人類相似的智慧。
想象一下，你在網上聊天，但看不到對方。如果你發現對方回覆得很機智，有邏輯，有情感，你會不會懷疑對方其實是個人？但如果對方真的是一臺機器，而你完全沒察覺到，那這臺機器就厲害了！是不是很像現在的 ChatGPT 呢？
作為市場上最好用的 AI 聊天機器人之一，OpenAI 的 ChatGPT 經常會被懷疑是否能透過圖靈測試。答案是肯定的，GPT-4 透過圖靈測試了！UCSD 研究團隊透過實證研究，人類無法將 GPT-4 與人類進行區分。而且，有 54% 的情況下，它被判定為人類。
正因為圖靈機的奠基性工作，才有了今天我們所見證的人工智慧的飛躍發展。從最初的理論構想，到今天高度發達的 AI 應用，圖靈的思想為無數科學家和工程師指明瞭方向。
圖靈測試不僅僅是衡量機器智慧的標準，更是一座橋樑，連線了人類與智慧機器之間的鴻溝。如今，圖靈的遺產在 GPT-4 這樣的先進 AI 中得到了生動體現，證明了他的遠見卓識和不朽貢獻。
艾倫·圖靈的工作為現代計算理論奠定了基礎，尤其是透過圖靈機這一概念，不僅幫助我們理解計算的本質，還為自然語言處理和機器學習等複雜過程鋪平了道路。此外，圖靈測試作為評判 AI 智慧的重要標準，激勵著人工智慧研究的發展，推動我們追求更高階、更自然的機器智慧。圖靈的計算理論直接影響了從簡單演算法到複雜大規模 AI 模型的發展，使得今天的深度學習和神經網路成為可能。
現代大模型能夠處理多種資料型別，廣泛應用於翻譯、對話系統、文字生成等領域，這些應用的實現離不開圖靈奠定的計算基礎。圖靈的貢獻不僅揭示了計算的本質，還為實際應用提供了堅實的理論支援，他的工作開啟了計算機科學的新時代，並引領我們進入了人工智慧的輝煌時代。
不僅限於技術層面，圖靈的個人遭遇也引起了對性取向和隱私權的廣泛討論，推動了社會對 LGBTQ+ 群體權利的認同和尊重。他的故事成為了爭取平等權利和反對歧視的象徵。在藝術領域，圖靈的形象和故事在電影、書籍、藝術作品和博物館展覽中廣泛傳播，成為流行文化的一部分。
他的傳奇不僅僅是科學和技術的豐碑，更是人類精神和社會進步的象徵。在紀念圖靈逝世 70 週年之際，我們不僅緬懷他的科學貢獻，更銘記他為平等和尊嚴所作的鬥爭。
70 年後的今天，我們緬懷圖靈，用一本書向他致敬，不僅是為了紀念他的過去，更是為了啟迪我們的未來。《理解圖靈》從多角度剖析圖靈的一生與學術成就，帶你深入圖靈的思想世界，領略智慧的本質。
這本書由中華優秀出版物圖書獎得主、吳文俊獎獲得者、央視“2017 年度中國好書”作者張曉東（尼克）創作，是當代最好的一本全方位深入瞭解圖靈的佳作。也是普通人認識圖靈的最好的一部作品。
《理解圖靈》
尼克｜著
圖靈 1936 年的文章《論可計算數》奠定了計算機科學的基礎；而其 1950 年的文章《計算機與智慧》則開啟了人工智慧，此文開頭提到的“模仿遊戲”後來被稱為“圖靈測試”。本書以註釋形式對《計算機與智慧》進行了細緻解讀。
書中首先追溯圖靈的生平和思想軌跡，特別是他對智慧與機器關係的早期洞察，以及他在計算理論方面的重大貢獻——提出圖靈機；接著透過分析圖靈與同時代其他思想家的交流與辯論，如與哲學家維特根斯坦的深入對話，以及在 BBC 廣播討論中與神經生理學家傑弗遜的激烈交鋒，逐步揭示了圖靈對於機器智慧的獨到見解及其思想的演進過程。
本書力圖使讀者在充分理解背景知識的基礎上，更加深刻地領會圖靈文章的內涵，也使得對圖靈思想的探討更加全面和深入。還附贈人物關係圖和經典論文原文：人物關係圖助你輕鬆釐清人物關係。
大模型已經在各種領域有著廣泛的應用和實踐，如BI、企業生產、AIoT、程式設計、資料分析等場景。各個企業當前的探索為大家在落地時解決各種問題提供了重要參考。「AI前線」整理了AICon 北京 2024上大模型在不同領域的應用探索和 Agent 實踐相關PPT以及資料。關注「AI前線」，回覆關鍵詞「應用探索」即可免費獲取。