1950 - Turing 測試(機器能思考嗎?——把哲學問題變成偵探遊戲)#
案件摘要#
1950 年,Turing 在哲學期刊《Mind》發表〈計算機器與智能〉(Computing Machinery and Intelligence)。 面對「機器能思考嗎?」這個無法回答的哲學懸案,Turing 的偵探手法是換一個可操作的問題: 與其問「機器能否思考」,不如問「機器能否在對話遊戲中不被識破」——模仿遊戲,後世稱圖靈測試。
\[ \text{機器智能} \iff \text{人類評審在對話中無法區分機器與人類}. \]
前因 -- 為什麼會有這個案子#
- 「機器能思考嗎」的僵局:「思考」沒有定義,問題無法操作——哲學爭論永無結案。
- Turing 機的遺產(1936):Turing 已證明通用計算機的存在(見計算理論案件);二戰中他破解 Enigma,深知機器的能與不能。
- 電腦的誕生:1940 年代末 ENIAC 等電腦問世,「機器能做到什麼」成為現實問題。
- Turing 的偵探直覺:與其定義「思考」,不如設計一個行為測試——判決標準從「內心」轉移到「外部行為」。這是行為主義的偵探版。
線索與推理 -- 數學式、程式、理論#
模仿遊戲的規則#
三方參與:評審 (C)、人類 (A)、機器 (B)。評審透過純文字對話判斷誰是人類。 若機器能讓評審誤判的比例顯著高於瞎猜(50%),則判決:機器通過測試。
Turing 對「機器不能思考」九大反駁的逐一擊破#
Turing 在論文中列出當時的反對意見並逐一反駁,包括: 1. 神學反對:思考是靈魂的專利——Turing:造物主既然能造會思考的人,沒理由不能造會思考的機器。 2. 數學反對:Gödel 不完備定理限制機器——Turing:人類同樣不完備(人也會自相矛盾),限制是對稱的。 3. 意識反對(Jefferson):機器不會「感覺」——Turing:若按此標準,只能知道自己會思考(唯我論)。 4. Lovelace 反對:機器只能做被程式化的事——Turing:機器可以「學習」,也可以被「驚喜」(隨機數 + 程式產生未預期行為)。
機器學習的先驅宣言#
Turing 在論文末尾提出:與其寫死規則,不如製造會學習的機器——「兒童機器」(child machine):
\[ \text{成人頭腦} \approx \text{兒童頭腦} + \text{教育}. \]
他預言:與其模擬成人,不如模擬兒童的學習過程,用獎懲教導它——這正是 70 年後強化學習與 RLHF(見「2022-ChatGPT與RLHF.md」)的先聲。
Python:一個極簡的「模仿遊戲」騙局示範#
import random, re
def eliza_reply(user_input): # 1966 年 ELIZA 的雛形思路
rules = [
(r"我.*難過|我.*傷心", "聽到你難過,你希望我怎麼幫你?"),
(r"你(.*)嗎", "你為什麼想知道我{}嗎?"),
(r"我(.*)你", "你為什麼{}我?"),
]
for pat, resp in rules:
m = re.search(pat, user_input)
if m: return resp.format(*(m.groups()))
return random.choice(["能多說一點嗎?", "這讓你想到什麼?"])
for u in ["我今天很難過", "你會思考嗎", "我喜歡你"]:
print("USER:", u, "\nBOT :", eliza_reply(u))
USER: 我今天很難過
BOT : 聽到你難過,你希望我怎麼幫你?
USER: 你會思考嗎
BOT : 你為什麼想知道我會思考嗎?
USER: 我喜歡你
BOT : 你為什麼喜歡我?
結案 -- 後果與影響#
- 「機器能思考嗎」被重新立案為可操作的工程問題,催生 1956 年 Dartmouth 會議與整個 AI 學科(見「1956-Dartmouth會議.md」)。
- 哲學影響:Searle 的「中文房間」(1980)是對圖靈測試最著名的反駁——行為等價是否等於理解?辯論延續至今。
- 圖靈獎:1966 年設立,成為電腦科學的諾貝爾獎。
- 70 年後的迴響:大型語言模型(見「2022-ChatGPT與RLHF.md」)首次在對話中難以被普通人區分——圖靈測試在 2020 年代實質通過,但「它是否理解」的辯論依然未結案。
- Turing 的預言幾乎全部命中:機器學習、獎懲訓練、甚至「機器會寫詩」——他預估 2000 年前後機器可在 5 分鐘對話中騙過 30% 評審,大致成真。
關鍵人物與文獻#
- Alan M. Turing:〈Computing Machinery and Intelligence〉, Mind 59, 433 (1950)。
- Searle:中文房間, Behavioral and Brain Sciences 3, 417 (1980)——著名反駁。
- Weizenbaum:ELIZA (1966)——最早「騙過」評審的程式。
- 相關案件:
1943-McCullochPitts神經元.md、1956-Dartmouth會議.md、2022-ChatGPT與RLHF.md。