雷鋒網(wǎng)按：你可能聽說過北大數(shù)力系1954級，那個誕生了王選、張恭慶、張景中、周巢塵、劉寶鏞、胡文瑞、朱建士7位院士的神奇班級。這個大班級的兩百余名同學(xué)公認(rèn)，他們當(dāng)中最聰明的是馬希文，在中國人工智能的發(fā)展歷史中，馬希文也是一位里程碑式的人物。

我國著名數(shù)學(xué)家、計算機(jī)科學(xué)家、我國人工智能奠基人之一馬希文教授誕生于1939年5月23日，今天正是他的八十周年誕辰紀(jì)念日。近日，北京語言大學(xué)聯(lián)合商務(wù)印書館共同舉辦了“紀(jì)念馬希文教授八十誕辰暨《邏輯·語言·計算 馬希文文選》出版”座談會。參會專家們共同追憶了馬希文教授的生平，并回顧了他在多個領(lǐng)域內(nèi)所作出的具有開創(chuàng)性、先驅(qū)性及前瞻性的學(xué)術(shù)貢獻(xiàn)。本文謹(jǐn)節(jié)選記錄與馬希文先生相關(guān)的若干片段，以紀(jì)念馬希文先生。

（馬希文先生）

北京神童

馬希文高中就讀于北京最有名的中學(xué)之一北京四中。北京四中有多牛？1995年高考，四中300名畢業(yè)生中有160余人被清華北大錄取，比當(dāng)年整個海淀區(qū)還要多。馬希文則是北京四中尖子生中的拔尖者，在中學(xué)的時候就被報紙稱為“北京神童”，他考上北大的時候只有15歲，被后來的北大校長丁石孫教授譽為“最有才能的學(xué)生之一”。

北大數(shù)力系54級一二年級不分專業(yè)，200多人分成9個班，其中有兩個班是考分高的，即6班和9班。馬希文在尖子班9班，這個班成績最好的是他和后來成為中科院院士、中國數(shù)學(xué)界的領(lǐng)軍人物之一的張恭慶，兩人畢業(yè)后一道留校在北京大學(xué)任教，同住一個宿舍，張恭慶對馬希文廣博的知識和興趣頗為折服，但也正因為興趣太過廣泛，馬希文雖然取得了不少成績，但與其才華相比，這些成績是不相匹配的。

在大學(xué)期間馬希文上課很輕松，余下的時間就按自己的愛好發(fā)展，他學(xué)過蒙古文，用德文寫過詩，更大的精力放在音樂和語言上，“文革”期間成為北大樂隊的作曲。他1979年赴美國斯坦福大學(xué)做訪問學(xué)者，在人工智能之父、圖靈獎獲得者麥卡錫手下從事研究。麥肯錫有一公理系統(tǒng)長期以來有毛病，但始終找不出原因，馬希文只用兩周時間就發(fā)現(xiàn)了問題所在，麥卡錫大為震驚，逢人便說“北京來的馬解決了我的問題”。后來馬希文回國的時候，麥卡錫對馬希文還寄予很大厚望，稱“中國的人工智能未來在馬先生”。

對于聰明絕頂?shù)娜藖碚f，最困難的就是讓他去干平凡的事。但馬希文卻甘為人梯，去干了很多相當(dāng)基礎(chǔ)但具有啟發(fā)性的工作。最典型的莫過于對數(shù)學(xué)的科普，在馬希文編寫的《數(shù)學(xué)花園漫游記》一書中包含了他撰寫的關(guān)于考試的問題、地圖上的數(shù)學(xué)、四色問題、偵察員的策略、模糊數(shù)學(xué)等近三十篇文章，這本書面向小學(xué)生讀者，以簡明清晰的描述，激發(fā)起了一批又一批學(xué)生對數(shù)學(xué)的興趣，深受廣大青少年讀者的歡迎；他還曾擔(dān)任第30屆國際數(shù)學(xué)奧林匹克競賽中國隊總教練，取得了團(tuán)體總分第一、金牌總數(shù)第一的好成績；此外在與朱德熙教授組建北京大學(xué)計算語言學(xué)研究所期間，擁有良好數(shù)學(xué)基礎(chǔ)的他沒有受當(dāng)時流行的喬姆斯基思想的影響，而是默默做了很多本來應(yīng)該是文科出身的語言學(xué)家們應(yīng)該做的工作，這樣的奉獻(xiàn)精神值得敬佩。

“金門馬祖”

馬希文的弟子、與馬希文合作在1983年的IJCAI上發(fā)表中國在人工智能頂級學(xué)術(shù)會議第一篇論文的郭維德（1983年的IJCAI共收錄來自中國的三篇文章，除了馬希文、郭維德外，還有蔣新松的一篇文章和張鈴、張鈸合著的一篇論文，在《中國人工智能簡史》中會有詳細(xì)描述）曾提起這樣一件趣事：某年社科院舉辦了一場慶祝著名哲學(xué)家、邏輯學(xué)家金岳霖學(xué)術(shù)生涯周年的活動，托郭維德給馬希文一份請?zhí)ｑR希文頗為奇怪，問道：“這是社科院的活動，為什么會給我發(fā)請?zhí)?？?/p>

郭維德解釋說：這是一場由金門弟子組織的學(xué)術(shù)活動，與金岳霖同為數(shù)理邏輯師祖的還有沈有鼎先生，我是您和沈先生聯(lián)合帶的研究生，所以馬老師您也算是入了“金門”啦。

馬希文便幽了一默：那我可是地地道道的“金門馬祖”啊。

在場的人一齊大笑，馬希文的急智和對文字的把握能力可見一斑。

馬希文畢業(yè)后留校后在數(shù)學(xué)力學(xué)系概率教研室工作，主要研究信息論和編碼理論。他是我國計算機(jī)科學(xué)領(lǐng)域的第一批研究生導(dǎo)師之一，在教學(xué)中一直把創(chuàng)新擺在第一位，包括數(shù)力系第一門數(shù)學(xué)信息論、新式語言與自動機(jī)等全新的課程，自己動手做LISP語言的動態(tài)編譯、定理證明系統(tǒng)等。他的學(xué)術(shù)思想和治學(xué)方法使學(xué)生們終身受益，他樂于分享自己的智慧，在他的身上，體現(xiàn)了一種真正的學(xué)者風(fēng)范。1983 年，他從斯坦福進(jìn)修回國后在北大開設(shè)了計算語言學(xué)課程，1986 年與朱德熙教授一起組建了北京大學(xué)計算語言學(xué)研究所，并參與創(chuàng)辦北京語言大學(xué)語言信息處理研究所，在國內(nèi)計算語言學(xué)領(lǐng)域開山立派。他在中國科學(xué)院軟件研究所、北京信息工程學(xué)院、黑龍江大學(xué)、中軟公司等單位指導(dǎo)課題研究，涉及漢字輸入、文本編輯、機(jī)器翻譯、語言理解、自動文摘、漢語計算機(jī)輔助教學(xué)等方面；他曾撰寫多篇文章論及兩個學(xué)科的關(guān)系，并熱情洋溢地為他的研究生的著作作序，鼓勵用計算機(jī)科學(xué)的方法輔助語言學(xué)研究。幾十年教學(xué)中桃李無數(shù)，為后來者指明了許多研究新方向，稱為“馬祖”當(dāng)之無愧。

馬希文與《集異璧》

除了上文提及為青少年讀者編寫的《數(shù)學(xué)花園漫游記》，馬希文還組織并領(lǐng)導(dǎo)了一本被譽為“神書”的科普名著《哥德爾、艾舍爾、巴赫：集異璧之大成》（簡稱《集異璧》）的翻譯工程。《集異璧》一書是由哥德爾的好友、人工智能研究華人第一人王浩先生在馬希文訪美期間向他推薦，而王浩當(dāng)年在西南聯(lián)大的邏輯學(xué)啟蒙老師，就是后來馬希文弟子郭維德的另一位導(dǎo)師沈有鼎先生。早期王浩因1959年用計算機(jī)證明了《數(shù)學(xué)原理》中的數(shù)百條數(shù)理邏輯定理而聲名大噪，在華人圈中的影響力能與楊振寧、李政道相提并論，即便如此，他還是以極為平易近人的態(tài)度與晚輩郭維德以師出同門相交。

王浩晚年致力于哥德爾思想的研究。據(jù)說哥德爾被認(rèn)為是個怪人，他在普林斯頓高等研究院只有兩個人能和他聊天，一個是愛因斯坦，另一個就是王浩。哥德爾要王浩承諾，這些聊天的內(nèi)容在他生前不得發(fā)表，所以王浩每次與哥德爾聊完天后就回到家中用紙筆記錄下來。哥德爾去世后，王浩將他從這位偉人這里取得的啟迪寫成了一本書，中譯本書名就叫《哥德爾傳》。王浩后來和郭維德說，還有兩位有大學(xué)問的人，他每次和他們聊完天后也是要回家把聊天的內(nèi)容用紙筆記錄下來的：一位是王浩的老師沈有鼎先生，還有一位就是馬希文，可見馬希文在王浩心目中評價之高。

言歸正傳，馬希文回國后便于北大的另一位數(shù)理邏輯與計算機(jī)科學(xué)的大家吳允曾先生一道組織《集異璧》的翻譯。吳允曾一生的最后十年也是改革開放之初的十年，他為促進(jìn)我國與國際計算機(jī)界的學(xué)術(shù)交流和國際合作做出了重大貢獻(xiàn)，在1979年的“中國的達(dá)特茅斯會議”、第一次將人工智能作為重要內(nèi)容的學(xué)術(shù)會議——吉林大學(xué)計算機(jī)科學(xué)暑期討論會上，吳允曾是四位大會報告嘉賓之一，他就數(shù)理邏輯方面的內(nèi)容進(jìn)行了演講，算起來他也是中國人工智能的早期探索者之一。為體現(xiàn)中英文兩種語言在構(gòu)成形式上的根本差異《集異璧》一書的翻譯耗費了很大精力，原作者侯世達(dá)（Douglas R. Hofstadter）還讓其友人莫大偉（David Moser）來到中國加入翻譯小組，幾經(jīng)周折和修改甚至重新翻譯，才有了今天這本中譯文依然能很好表達(dá)原著思想的神書《集異璧》。

計算機(jī)不能做什么

隨著近年來深度學(xué)習(xí)浪潮的興起，“人工智能”一詞又再度火熱起來。毫無疑問，人工智能已經(jīng)改變了我們的生活方式，對于未來人工智能的對人類的影響，以霍金、馬斯克為代表所表達(dá)的“警惕人工智能”觀點也引發(fā)了熱烈的討論。

“人工智能”可謂是一個討論的門檻足夠低、但研究起來門檻又相當(dāng)高的一個領(lǐng)域。這也造成了大眾眼中的人工智能與研究者眼中的人工智能的差異，而很多人所討論的人工智能，不是AI，而是科幻（Science Fiction）。而作為中國第一批人工智能的研究者和開拓者，馬希文眼中的人工智能更接近于用計算機(jī)按照一定的形式化方式、替代人類思考的過程，在《邏輯·語言·計算 馬希文文選》中，他曾用類似“黑白帽子”（注：黑白帽子是經(jīng)典的邏輯推理問題，限于篇幅不再展開）的推理過程來描述人工智能所起的作用，在他組織翻譯的另一本書《計算機(jī)不能做什么——人工智能的極限》（注：該書的作者Hubert Dreyfus在1965年就發(fā)表了一篇《人工智能與煉金術(shù)》的文章，這也是最早關(guān)于人工智能是不是煉金術(shù)的討論）一書的中文序言中，馬希文提出了如下觀點：

計算機(jī)不應(yīng)是也不會是最終的智能機(jī)器。人工智能要向前邁進(jìn)，就不應(yīng)把自己局限于計算機(jī)的應(yīng)用。這里指的是以圖靈機(jī)和可計算理論為背影的現(xiàn)代通用數(shù)字計算機(jī)。應(yīng)該開創(chuàng)一門新的學(xué)科，研究思維活動的更深入的具體規(guī)律，提出新的概念、新的方法和新的機(jī)制，比信息處理更為廣泛、更為深入地描述思維的某些功能，并把這些與某種機(jī)器模型相聯(lián)系以其最終得到工程實現(xiàn)。

他認(rèn)為：

對思維的認(rèn)識是一個不斷前進(jìn)的無窮過程。每推進(jìn)一步，就更加接近于思維的本來面目。盲目的樂觀固然不對，盲目的悲觀也沒有根據(jù)。因為兩者都使我們停止不前，而我們不能總停留在一個水平上。

馬希文進(jìn)行人工智能研究的時代正是數(shù)理邏輯大行其道的時代。但馬希文從哲學(xué)的角度，進(jìn)一步論述了未來人工智能發(fā)展的可能方向：人工智能的突破口一定會轉(zhuǎn)到人機(jī)交互的領(lǐng)域，包括圖像、聲音以及其他方面的人機(jī)交互，將使計算機(jī)系統(tǒng)得以演化，最后能夠達(dá)到智能的水平。不得不承認(rèn)，在1980年代中國人工智能還是很模糊的概念的時候，是他天才般的想法真的“看”見了今天；而在人工智能第三波浪潮達(dá)到拐點之時，再去看馬希文當(dāng)年的相關(guān)論述，對于今日的人工智能研究，或許會有著啟示性的靈感。

本文是《中國人工智能簡史》系列的第三篇致敬文章。為更好回顧與總結(jié)中國人工智能研究發(fā)展的歷程，從去年十月起，雷鋒網(wǎng)已經(jīng)拜訪和采訪了數(shù)十位中國人工智能研究的老、中、青三代代表人物，作為致敬中國人工智能四十周年之作，《中國人工智能簡史》的后續(xù)采訪和寫作正在進(jìn)行中，本書也將于年內(nèi)出版，在今年7月份雷鋒網(wǎng)承辦的CCF-GAIR大會上會對本書的進(jìn)度做更詳盡的介紹，歡迎關(guān)注。

雷峰網(wǎng)原創(chuàng)文章，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見轉(zhuǎn)載須知。