2 達特茅斯的十俠論劍

1956年夏，位于美國新罕布什爾州的漢諾佛（Hanover）小鎮充滿生機，雖然正值暑假，但位于這里的達特茅斯學院依舊熱鬧非凡。這注定是一個不平凡的夏天，時年29歲的學院教師約翰·麥卡錫（John McCarthy）和馬文·明斯基（Marvin Lee Minsky），邀請了來自五湖四海的年輕科學家們。他們相聚于達特茅斯學院，召開了一次頭腦風暴式的研討會。

這次夏季會議的全稱為“達特茅斯人工智能夏季研討會”（圖3）。此時，帶著各種目的來參會的人們可能不會想到，這次長達一個月的討論會在人工智能發展史上將產生里程碑式的意義。

論道：大咖云集達特茅斯

眾所周知，達特茅斯是人工智能革命的濫觴之地。但實際上在達特茅斯的這一個月里，參會者們并沒有一個固定的議程，討論都建立在大范圍的集思廣益之上。最令人意外的是，雖然這是一次人工智能會議，參會的學者們卻大多不是計算機專業的研究者，他們有的來自數學界，有的來自哲學界，學科背景各異，但都關注同一個問題。由此可見，人工智能從一開始就是一門跨學科的學問。

比會議內容本身更閃亮的是這些參與會議的大咖們（圖4）。會議的召集者麥卡錫是普林斯頓大學的數學博士，他當時擔任達特茅斯學院數學系的助理教授。雖然他的職業看起來與計算機科學沒有什么直接的聯系，但他對邏輯和計算理論一直有著強烈的興趣。另外，他也深受“計算機之父”馮·諾伊曼（John von Neumann）的影響，對于用計算機來模擬智能抱有很大的興趣。

會議的另一位召集人馬文·明斯基是畢業于普林斯頓大學的數學博士，他和麥卡錫在讀書時就熟識。同樣也受馮·諾伊曼的啟發，其博士論文的主題就是神經網絡。由此可見，盡管馮·諾伊曼沒有參加此次會議，但到處都是他的影子。

參加此次會議的重量級人物，還有后來的圖靈獎得主，也是歷史上首次同時獲得圖靈獎的師生組合——司馬賀（Herbert Alexander Simon）和艾倫·紐厄爾（Allen Newell）。司馬賀可謂年輕有為，他當時已經是卡內基理工學院工業管理系的系主任。值得一提的是，他十分熱愛中國文化，并給自己取中文名為司馬賀。他還是中國科學院的外籍院士。人工智能只是司馬賀眾多獲得成就領域中的一個，他在政治科學和經濟計量學領域的成就也足以被載入史冊。他有9個博士頭銜，各種大獎拿到手軟。除圖靈獎外，諾貝爾經濟學獎、美國心理學會獎等重量級的國際大獎也是他的囊中之物。

紐厄爾的導師是博弈論領域的“大牛”莫根施特恩（Oskar Morgenstern）。他和司馬賀都代表人工智能符號派，他們將其哲學思路命名為“物理符號系統假說”。這個思想與英美的經驗主義哲學傳統接近。簡單說來就是：最原始的符號對應于物理客體，所謂智能就是將物體轉化為符號。司馬賀和紐厄爾雖然是師生關系，但在學術上也是親密無間的搭檔。卡內基梅隆大學計算機系的奠基者——阿蘭·珀里思（Alan Perlis），也是第一屆圖靈獎獲得者，從此該系也成為計算機學科的重鎮。

大名鼎鼎的信息論創始人克勞德·香農也在此次會議的參與者名單中。香農在戰時也曾參與破解密碼的工作，早在1943年時就同圖靈會晤過。然而，雖然他受到麥卡錫的邀請參會，但他們兩個的觀點其實并不一致，平時的相處也并不和睦。這些錯綜復雜的關系表明，這次會議可不是一派平和的交流會，其中充滿實打實的觀點碰撞。

遺珠：隱藏的“大人物”

在這次會上，除了如今如雷貫耳的業內大拿們，也有一些參會者顯得有些“小眾”，但是他們在人工智能領域的成績不容忽視。

在眾多參會者之中，塞弗里奇（Oliver Selfridge）的名聲現在不太響亮，實際上他算得上是真正的人工智能學科先驅。他在模式識別領域是開山鼻祖式的人物，第一個可工作的AI程序也是由他書寫的。著名的MIT計算機科學實驗室和人工智能實驗室的前身就是由塞弗里奇在麻省理工學院參與領導的MAC的項目。鮮為人知的是，塞弗里奇的祖父創辦了英國第二大百貨店。塞弗里奇雖出身豪門，但他卻醉心于計算機科學。

另一位被后人忽視的參會者是所羅門諾夫（Ray Solomonoff）。提到他就不得不提現在炙手可熱的未來學家雷·庫茲韋爾（Ray Kurzweil），庫茲韋爾憑借“奇點”的觀點收獲擁躉無數，并著有《奇點臨近》一書，谷歌和美國宇航局還合作開辦了一所奇點大學（Singularity University，簡稱SU）。這所大學設在硅谷的美國宇航局埃姆斯研究中心內，戰略地位不言而喻。這所新興崛起的大學致力于培養未來科學家，申請入校難度非常之大。然而，“奇點”這一觀點就來源于所羅門諾夫的“無限點”觀點。所羅門諾夫對AI中被廣泛運用的貝葉斯理論也有開創性貢獻。

在后人看來，這次會議可謂群星閃耀，而在當時，這些人不過是剛剛顯現的新星。在會議籌辦之初，組織者和與會者們也并沒有料到其將成為人工智能發展史上的一座里程碑。

追溯：緣何相聚達特茅斯？

由于美國教授都只能領九個月工資，1955年夏天，麥卡錫為了掙錢到IBM打短工。納撒尼爾·羅切斯特作為IBM第一代通用機701的主設計師，恰巧是他的老板，而且納撒尼爾·羅切斯特對神經網絡非常有興趣。麥卡錫和羅切斯特一拍即合，決定第二年夏天即1956年在達特茅斯學院舉辦一次活動。

籌辦會議首先要尋找資金支持，麥卡錫和羅切斯特說動了香農和明斯基一起給洛克菲勒基金會寫了一份項目建議書，希望得到資助。這份建議書羅列了他們計劃研究的自動計算機、編程語言、神經網絡等七個領域。

麥卡錫給這次活動取名為“達特茅斯人工智能夏季研討會”，這一用詞在當時看來十分別出心裁。現在我們對之已司空見慣，而在20世紀50年代大家對 “人工”一詞并沒取得完全的共識，“人工智能”一詞真正取得學界的廣泛認可是在1965年。由此，麥卡錫也被認為是發明了“人工智能”一詞。

意外：達特茅斯沒有神話

盡管有諸多的參與者和顯赫的名聲，事實上達特茅斯會議并沒有取得顯赫的成果，這次會議中也沒有嚴格規定的議題和要討論的問題，因為在人工智能方興之時，大家對很多問題都沒有共識。

會議由明斯基和麥卡錫發起，他們的初衷是創立一門新學科。但原計劃兩個月的閉門研討，并沒有讓與會者們全身心投入進去，實際上鮮少有人在達特茅斯待滿兩周。即使是重要參與者如紐厄爾后來都回憶說，達特茅斯會議對他和司馬賀的研究并沒有產生什么影響。

1956年9月，在美國無線電工程師協會（即IRE）信息論年會上，麥卡錫受邀對達特茅斯會議作一個報告，報告公布了紐厄爾和司馬賀一款名為“邏輯理論家” 的程序，這個程序可以用于證明懷特海和羅素《數學原理》中命題邏輯部分的一個很大子集。因此，最后關于達特茅斯會議的總結是由紐厄爾和司馬賀介紹他們的“邏輯理論家”并發表一篇題為《邏輯理論機》的文章。這篇文章是AI歷史上最重要的文章之一，“邏輯理論家”也是第一個可工作的AI程序。

同在IRE的信息年會上，心理學家喬治·米勒（George Miller）也發表《人類記憶和對信息的儲存》一文。諾姆·喬姆斯基（Noam Chomsky）則發表了論文《語言描述的三種模型》。

雖然如今我們將達特茅斯會議作為人工智能的起源，但是從參與者和會議成果的角度看，1956年的IRE信息論年會更重要，影響也更深遠。明斯基后來回憶到，達特茅斯會議期間，他曾在紙上畫了一個幾何定理證明器的設計圖，并手動證明了等腰三角形的某一個定理。信息年會后IBM就招募了剛畢業的物理博士格蘭特（Herb Gelernter）來實現明斯基的幾何定理證明器構想。

喬姆斯基晚年和物理學家克勞斯對話時被問及“機器可以思維嗎？”，這個問題圖靈也被問到過。喬姆斯基套用計算機科學家戴客斯特拉（Dijkstra）的說法反問：“潛艇會游泳嗎？”（圖5）

喬姆斯基認為“意識”是相對簡單的，而“前意識”（preconsciousness）是困難的問題。他把AI分成工程的和科學的兩類。工程的一面，如自動駕駛車等，能做出對人類有用的東西；科學的一面，他引用圖靈的話：這問題too meaningless to deserve discussion（沒有討論的意義）。

其實，達特茅斯會議的地位之所以被捧得如此之高，很重要的原因是它的影響力源遠流長。參會者們后來都成為AI發展中的中流砥柱，并且在不斷地激發新的創造力，由此才使得這次會議被視為AI興起之源。2006年，達特茅斯會議五十周年，十位當時的與會者在世的只剩五位：摩爾、麥卡錫、明斯基、所羅門諾夫和塞弗里奇，他們在達特茅斯團聚，追憶往昔，展望未來。

結語：達特茅斯會議的真正意義？

雖然達特茅斯會議本身沒有產生什么了不起的思想。但是，它的意義超過十個圖靈獎，因為它提出了問題。好幾個以后非常熱門的研究領域的研究工作，包括人工智能和機器學習的探索研究，就始于那次會議之后。

哲學家丹尼爾·丹尼特（Daniel Dennett）曾說：AI就是哲學。哲學是科學之母，但一旦問題確定，科學就分離出來成為獨立的學科。如同AI，它衍生諸多問題，而在解決這些問題的過程中會產生許多子學科，一旦這些子學科能夠獨立，就沒人再去關心AI了。

現在計算機科學已成為成熟的學科，每一個計算機系都大致有三撥人：理論、系統和AI方面這樣三撥。AI如今成為一個熱詞，但我們不能忘記的是，AI人曾經是被壓迫者。