第1章 歸國
西曆1950年,著名的圖靈測試誕生,按照人工智慧之父艾倫.圖靈的定義,如果一台機器能夠與人類通過電傳設備開展對話而不被辨別出其機器的身份,那麼就可以稱這台機器具有智能。
到了1956年,以麥卡錫、明斯基、羅切斯特和申農等為首的一批年輕科學家在一起聚會,共同研究和探討用機器模擬智能的一系列有關問題,並首次提出了「人工智慧」概念。
此後,人工智慧如燎原之勢,開始與人類的各行各業相結合,人工智慧也日益步入人類的生活之中。
人工智慧的終極目標就是讓計算機這台機器能夠像人一樣思考,但是怎麼讓機器人跟人類一樣擁有智慧,幾十年來無數科學家致力於從不同的角度對此進行嘗試,從而衍生出了不同的理論派系。
傳統的人工智慧主要分為符號主義、連接主義和行為主義三大學派,經過長期的辯論與實踐,三大學派不斷在融合中發展。
符號主義認為人工智慧源於數理邏輯,希望用數學和物理學中的邏輯符號來表達思維的形成,通過大量的「如果…就…」規則語言,產生類似於人類一樣的智能。
連接主義認為人工智慧源於仿生學,其主張智能來自於神經元之間的連接,旨在讓計算機模擬人類大腦中的神經網路及其連接機制。
行為主義認為人工智慧源於控制論,基於感知行為的控制系統使每個基本單元實現自我優化和適應。
位於英國首都倫敦的蓋茨比計算神經科學中心作為極富盛名的連接主義大本營,由神經網路之父和人工智慧教父傑弗里.辛頓發起,主要研究深度學習,主張神經網路由一層一層的神經元構成,深度學習就是用很多層神經元構成的神經網路達到機器學習的功能。
作為訪問學者,林一在這裡進行了兩年多的學習,對前沿技術有了深刻得理解,但是隨之而來的是更多的不解與困惑。
技術的發展帶來了人類長久的進步,但是在攻克技術難題的過程中,人類頻頻舉步維艱。技術的規律、真理或許早就已經存在,似乎只是在等著被人類發現而已,但是有些規律真理,窮盡人類幾代人的智慧也無法去詮釋,而且規律的本質又是什麼,也不能去細究,因此,林一在這裡有了最大的收穫,人,應該時刻保持敬畏之心。
今天,為期兩年多的訪問計劃正式結束,林一回到寢室準備收拾東西回國。當初為了獲得工作單位的支持,林一答應等訪問計劃結束就回去繼續開展未競的腦機一體化項目,現在是兌現承諾的時候了。
「喲,林子,收拾東西呢?」說著,魏強咬著蘋果,穿著人字拖,嘴裡含糊不清地走了進來。
「下午的飛機回國了,你呢,不一起?」林一看了眼魏強,手裡的活沒停。魏強綽號「圍牆」,華國粵省人,4年前來蓋茨比計算神經科學中心讀計算神經科學博士,平時雖然弔兒郎當沒個正形,但是人家輕輕鬆鬆以霍普菲爾德神經網路模型為基礎搭建新的模擬人類記憶模型,也因此成為領域的學術新星,今年也已經正式博士畢業。這兩年,由於大家來自同個國家,加之氣味興趣相投,一來二去交情變得頗為深厚。
「不了,你先回去,中心這邊好像有些突破,最近想解決哥德爾那傢伙留下來的定理問題,我想再看看」,魏強少見地有點嚴肅,頓了頓,笑嘻嘻地拍了拍林一的肩膀,「回去好好混,混好了撈我回去,
我去給你做牛做馬啊,死鬼。」
「滾,小心被資本主義的糖衣炮彈腐蝕了你追求真理的靈魂」,林一有點嫌棄地看著嬉皮笑臉的魏強。
「那再好不過了,定叫那資本主義的糖衣炮彈有去無回哈哈,不過你真的不考慮留下嗎?」
林一望了望魏強,隨即搖了搖頭。
「好吧,一路平安,回去了常聯繫。」
六月的太陽很是毒辣,雖是午後,但是校園內的道上一個學生也沒有,異常靜謐。路旁,林一接過魏強手裡的行李,隨意地扔進後備箱里,低聲跟魏強說了聲保重便上了車去機場。
車上,剛剛被陽光曬得有點發暈的林一此刻稍微緩了過來,思緒也不由得飄遠。魏強所說的哥德爾是美國著名的奧地利裔數學家,西曆1931年正是其提出了不完全性定理,又稱哥德爾不完全性定理。
哥德爾不完全性定理有第一和第二定理,其中第一定理是指任意一個包含一階謂語邏輯與初等數論的形式系統都存在一個命題,它在這個系統中既不能被證明為真,-也不能被證明為否。
而第二定理則是指如果系統S含有初等數論,當S無矛盾時,它的無矛盾性不可能在S內證明。
如果將哥德爾不完全性定理運用到人工智慧領域,本意是指基於計算的人工智慧系統都具有基礎局限性,但是牛津大學哲學家盧卡斯認為,根據哥德爾不完全性第一定理,機器不可能具有人的心智。
諾貝爾物理學獎獲得者羅傑.彭羅斯使用了哥德爾不完全性第二定理,同樣論證心靈是不可計算的,這裡的可計算是指圖靈機計算。彭羅斯的論斷進一步支撐人腦優於機器,同時彭羅斯也把哥德爾不完全性定理視為弱人工智慧與強人工智慧的分界線。不過盧卡斯與彭羅斯的論斷也引起諸多質疑。
因此,對於人腦與機器的優劣對比,機器能否具有人類的智慧,人腦歸根到底是不是也只是一種圖靈機將是未來繼續爭論的焦點。
蓋茨比中心要是真的能在這方面取得突破,那麼人工智慧真的能稱之為人工智慧了,不過這該如何與自己的研究方向相結合,這種智能最後又是種什麼樣的東西,又代表著什麼?機器人真的可以和人類一樣進行思考嘛?林一搖了搖頭,心中略微有些不安,但是又不知道這種不安源於何處。
慢慢收回思緒,望了望窗外,林一發現有點不對勁,這不是往常去機場的路,這條路他這兩年多走了幾次,應該不會記錯。於是,林一小心地用英文問了句我們是不是走錯路了啊?
聞言,司機突然猛地加速,林一措不及防重重地摔在了後座上。