文·本報記者 高 博 綜合報道
由于4∶1大勝人類圍棋冠軍,一個名叫“阿爾法狗”的AI(人工智能)紅了。在阿爾法狗之前,它的許多前輩也曾紅極一時,深藍(lán)、尤金……每一次AI的進(jìn)步都會同時引發(fā)一輪熱潮,我們應(yīng)該記住它們和它們的締造者——
隨著阿爾法狗(AlphaGo)戰(zhàn)勝李世石,人工智能的發(fā)展又引起了全世界的興趣。其實,人們自古就幻想著智慧的機(jī)器。中國古籍記載,周穆王去西邊的昆侖山旅游,碰到一個工匠叫偃師的,能造出跟人一模一樣的假人,能跳舞唱歌,還對周穆王的愛妃暗送秋波。惹得穆王大怒,要處死偃師。偃師急忙扯掉假人的頭,原來里面是機(jī)器。
如今大家對人工智能的印象,跟周穆王差不多:有時幾乎被它蒙騙,但下一個時刻它又現(xiàn)出原形。即使許多最聰明的頭腦投入這項事業(yè),人工智能的“奇點(diǎn)”仍未到來。
不能不說的圖靈測試
1945年,技術(shù)史上劃時代的天才,阿蘭·圖靈提出了所謂的“仿真系統(tǒng)”,他寫了一份詳細(xì)的文件,想制造一種沒有固定的指令系統(tǒng)的計算機(jī)。它能模擬各種不同指令系統(tǒng)的計算機(jī)的函數(shù)。
這份文件公布于1972年,此時大家才知道:圖靈在二戰(zhàn)結(jié)束時就開啟了后來被稱為“人工智能”領(lǐng)域的研究,而且他已經(jīng)開始注意人的神經(jīng)網(wǎng)絡(luò)和計算機(jī)器可能的聯(lián)系。
1950年,圖靈來到曼徹斯特大學(xué)任教,并負(fù)責(zé)曼大的自動計算機(jī)項目。就在1950年10月,他發(fā)表了另一篇題為《機(jī)器能思考嗎?》 的論文,成為劃時代之作。也正是這篇文章,為圖靈贏得了“人工智能之父”的不朽名譽(yù)。
這篇論文里,圖靈第一次提出了“機(jī)器思維”。他有條理地反駁機(jī)器不能思維的看法。他還把對機(jī)器智能的判斷變成一個行為主義范疇的問題。
圖靈給出了后來人工智能領(lǐng)域的金標(biāo)準(zhǔn)——一個人如果不是面對面地交流,而是隔著一道帷幕,和對方進(jìn)行問答,而且在相當(dāng)長時間內(nèi),無法根據(jù)這些問題判斷對方是人還是計算機(jī),那么就可以認(rèn)為這個計算機(jī)具有同人相當(dāng)?shù)闹橇Α_@就是著名的“圖靈測試”(Turing Testing)。圖靈說,只要有30%的人類測試者在5分鐘內(nèi)無法分辨出被測試對象,就可以認(rèn)為機(jī)器通過了圖靈測試。
雖然計算機(jī)當(dāng)時剛剛發(fā)明,還遠(yuǎn)達(dá)不到能跟人對話的程度,但圖靈預(yù)言,20世紀(jì)末會有電腦通過“圖靈測試”。他的預(yù)言在IBM的深藍(lán)身上部分實現(xiàn)。不過,卡斯帕羅夫和深藍(lán)是通過棋局切磋,而不是言語交流。能夠跟人長時間無限制地交流而不被辨認(rèn)出來的電腦,仍然未有,這一點(diǎn)上圖靈太樂觀了。
2014年6月12日,一個名為“尤金·古斯特曼”的聊天程序成功地在5分鐘內(nèi)蒙騙了30%的人類測試者,被認(rèn)為通過了圖靈測試。但也有人反駁說,這個聊天機(jī)器人自稱只有13歲,并使用第二語言來回答問題,因此它模仿的不應(yīng)該是圖靈所想的那種正常智人。
群星輩出的短暫黃金期
1956年8月,在美國漢諾斯小鎮(zhèn)的達(dá)特茅斯學(xué)院,約翰·麥卡錫、馬文·閔斯基、克勞德·香農(nóng)、艾倫·紐厄爾、赫伯特·西蒙等人發(fā)起了第一次用機(jī)器模擬人的智力的大討論。這些名字后來在學(xué)界都是響當(dāng)當(dāng)?shù)摹?/p>
會議開了兩個月,沒有共識,但會議討論的內(nèi)容有了一個名字:人工智能。所以也有人把1956年看作是人工智能元年。之后,隨著大批智者撲向這一新領(lǐng)域,人工智能像噴氣式飛機(jī)一樣驟然升空。
一開始,有人用計算機(jī)程序代替人類進(jìn)行自動推理來證明了數(shù)學(xué)定理。在達(dá)特茅斯會議上,紐厄爾和西蒙展示了他們的程序:“邏輯理論家”可以獨(dú)立證明出《數(shù)學(xué)原理》第二章的38條定理;1963年,它已證明該章的全部52條定理。
1958年,美籍華人王浩在IBM704計算機(jī)上,5分鐘之內(nèi)就證明了《數(shù)學(xué)原理》中有關(guān)命題演算部分的全部220條定理。IBM公司還研制出了平面幾何的定理證明程序。