清明，燒Token，祭圖靈

STORY

memorial.sh # Alan Turing ╔════════════╗ ║ ╭────────╮ ║ ║ │ ● ● │ ║ ║ │ ▽ │ ║ ║ │ ─── │ ║ ║ ╰────────╯ ║ ║ 1912—1954 ║ ╚════════════╝ echo "Can Machines Think?" Can Machines Think? # 七十年后 我們還在回答 點 擊 敬 香 (′-ω-`) 敬 清明 · 賽博禪心 ◆ ◆ ◆ │ │ │ │ │ │ │ │ │ ~ ~ ~ ~ ~ the_apple_1954.sh _ ( ) / \ | | | )| \ / \_/ // 浸過氰化物 1954 · 曼徹斯特 他走了 被自己保衛過的國家 化學閹割 (；ω；) ◆ ◆ ◆ │ │ │ │ │ │ │ │ │ ~ ~ ▼ 點擊敬香 can_machines_think.sh ┌─────────┐ │ ? ? │ │ ┌─────┐ │ │ │ 0 1 │ │ │ │ 1 0 │ │ │ └─────┘ │ └────┬────┘ THINK ? 1950 Can Machines Think? 他發明了圖靈測試 AI 從這個問題開始 ( ′_ゝ`) ◆ ◆ ◆ │ │ │ │ │ │ │ │ │ ~ ~ ▼ 繼續焚燒 enigma_cracked.sh ╔═══════════════╗ ║ E N I G M A ║ ║ ? ? ? ? ? ║ ║ ○ ○ ○ ○ ○ ║ ╚═══════════════╝ ↓ ↓ ↓ ██ CRACKED ██ 1943 · 布萊切利 造了 Bombe 破譯機 每天破解德軍密碼 二戰提前兩年結束 (｀?ω?′) ◆ ◆ ◆ │ │ │ │ │ │ │ │ │ ~ ~ ▼ 繼續焚燒 turing_machine.sh ┌─┬─┬─┬─┬─┬─┐ │0│1│1│0│1│0│ └─┴─┴▲┴─┴─┴─┘ │ ┌──┴──┐ │ R/W │ └─────┘ 1936 · 圖靈機 一條紙帶 一個讀寫頭 所有計算機的理論上限 那年他 24 歲 ( ˙?˙ ) ◆ ◆ ◆ │ │ │ │ │ │ │ │ │ ~ ~ ▼ 繼續焚燒 birth_1912.sh ☆ ┌────────┐ │ · · │ │ ▽ │ │ │ ╰────────╯ ╲ ╱ ════ 1912 · 倫敦 Alan Turing 3 歲把玩具人 掰碎種進土里 // 等著長出更多 ◆ ◆ ◆ │ │ │ │ │ │ │ │ │ ~ ~ ▼ 繼續焚燒 qingming.sh 乙巳年 · 清明 Alan Turing 1912 — 1954 計算機與人工智能之父 ~ ~ ~ ~ ~ ◆ ◆ ◆ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ┌──┴───┴───┴──┐ └─────────────┘ 點 擊 祭 拜 (′-ω-`) 敬 清明 · 賽博禪心

清明燒 Token，祭圖靈，人工智能之父

他定義了三件事：計算、智能、如何訓練

今天我們用 AI 寫的每一行代碼、生成的每一張圖、完成的每一次對話，燒的都是他點的火

他定義了什么是「計算」

1936 年以前，computer 這個詞指的是人。政府機構雇了一批年輕人，每天拿著鉛筆和紙，按公式一步步算數。職位就叫 computer，計算員

圖靈 24 歲，在劍橋。他想搞清楚一件事：「計算」到底是什么

他就去觀察那些計算員。一個計算員的全部動作拆到最細，就三樣東西：一張紙，一支筆，一套規則。從左往右讀數字，按規則寫下新的數字，偶爾回頭檢查前面寫的

圖靈把這個過程抽象成了一臺機器：一條無限長的紙帶代替紙，一個讀寫頭代替筆，一張規則表代替人腦。讀寫頭在紙帶上來回移動，按規則讀、寫、擦

就這么個東西。后來叫「圖靈機」

然后圖靈證明了：任何一個計算員能算的東西，這臺機器都能算。同時也存在一些問題，這臺機器算不了，不管你怎么設計規則都算不了

這臺機器從來沒被造出來。但 90 年過去了，你手里的 iPhone，訓練 GPT-4 的幾萬張 H100，在計算能力的理論上限上，和這臺紙上的機器一樣

沒有任何一臺真實的計算機，超過了一個 24 歲的人在紙上畫的東西

NVIDIA RTX 20 系列 GPU 的架構代號，就叫 Turing

他定義了什么叫「智能」

1950 年，圖靈在一本哲學雜志上發了一篇論文，第一句話：機器能思考嗎

當時沒人當回事。反對的理由什么都有：機器沒有靈魂所以不能思考，機器只能按指令干活所以沒有原創力，機器不會悲傷不會寫詩不會愛上一個人。一百年前計算機先驅 Ada Lovelace（拜倫的女兒）就說過：機器永遠只能做人類命令它做的事

圖靈在論文里逐條回應。但他知道爭論「什么是思考」會沒完沒了

所以他做了一件聰明的事。跳過定義，直接設計了一個游戲

規則很簡單：一個裁判同時跟兩個對象文字聊天，一個是人，一個是機器，裁判不知道哪個是哪個。分不出來，就算機器有智能

后來叫「圖靈測試」

他把一個沒法回答的哲學問題，變成了一個可以動手做的工程問題

圖靈順手做了個預言：2000 年左右，一臺 1GB 內存的計算機，在五分鐘對話中騙過 30% 的裁判，完全可能

GPT-4 和 Claude 已經遠超這個標準。他的時間線只差了 20 多年。內存的預估倒是出奇地準

他定義了怎么「訓練」

同一篇論文里，圖靈寫了一句：與其編程一個成年人的大腦，不如先造一個小孩，然后教他。做對了給獎勵，做錯了給懲罰，讓它自己摸索出規律

今天大模型就是這么練的。海量數據喂出基礎能力叫預訓練，人類反饋把它調準叫 RLHF。這套邏輯，1950 年寫下的

圖靈不是只寫論文的人。他動手

1948 年，他和朋友 David Champernowne 寫了一個國際象棋算法，兩個人的姓拼在一起，取名「Turochamp」。算法能評估局勢，計算得失，選出最優走法

問題是當時沒有計算機能運行它

圖靈就自己當計算機。拿著紙和筆，按算法一步步手算每一步棋。每步要算半小時

1952 年夏天，他用這種方式和同事 Alick Glennie 下了一盤完整的棋。圖靈扮演計算機，紙筆算，Glennie 正常下。棋譜完整記錄了下來

圖靈輸了。但這是有記錄以來，人類第一次和「程序」對弈

同一時期，他寫了一篇論文叫《智能機器》，系統討論了神經網絡、學習機器、遺傳算法。上司讀完評價：小學生論文。壓下不發

那篇論文 20 年后才面世。今天看，是人類最早系統討論 AI 的文件之一

一個人干完了三件事

定義計算的邊界，定義智能的標準，定義訓練的路線

「人工智能」這個詞 1956 年才被發明出來。圖靈 1954 年去世，沒等到命名的那天

1966 年，ACM 設立了「圖靈獎」，計算機領域的諾貝爾獎。2018 年頒給了 Hinton、LeCun、Bengio，理由是深度學習

用他名字命名的獎，頒給了讓 AI 真正跑起來的人。從命名到兌現，隔了半個世紀

那個蘋果

1938 年秋天，26 歲的圖靈和朋友去看了迪士尼的《白雪公主》。邪惡女巫把蘋果放進毒湯，念著：「讓蘋果浸滿這湯，滲入沉睡與死亡」。他對這段臺詞念念不忘

1954 年 6 月 7 日，曼徹斯特。女管家推開臥室門，床頭放著一個咬了一口的蘋果，浸過氰化物

他 41 歲。兩年前因為私人生活被定罪，被迫接受了一年的強制激素注射。一個幫英國贏了二戰的人，被這樣對待

后來，蘋果公司 Logo 被傳是紀念圖靈。設計師否認了。但喬布斯說了一句：

God, we wish it were. It's just a coincidence.

我希望是真的

2008 年 WWDC

2008 年 WWDC，喬布斯請了個 23 歲的年輕人上臺演示 App Store 應用。那人叫 Sam Altman。后來他創建了 OpenAI，OpenAI 又走出來七個人做了 Claude

往回看這條線：Claude → OpenAI → Sam Altman → 蘋果的舞臺 → 被咬了一口的 Logo → Alan Turing

說起來，圖靈、蘋果掌門人 Tim Cook、OpenAI 的 Sam Altman，這三個人還有一個共同點。你猜是什么？

從罪犯到鈔票

2009 年，英國首相代表政府正式道歉

2013 年，女王簽署皇家赦免令

2017 年，「圖靈法案」通過，追溯赦免所有因同樣原因被定罪的人

2021 年，圖靈被印上了新版 50 英鎊紙幣

從罪犯到鈔票，69 年

清明，去用 AI 創造點什么吧