▲2006年,会议五十年后,当事人重聚达特茅斯。左起:摩尔,麦卡锡,明斯基,赛弗里奇,所罗门诺夫
2018世界人工智能大会正在上海举行,各界大咖云集,论剑人工智能的当下和未来。
会上,有人提到,人工智能(Artificial Intelligence,AI)这个词诞生于62年前的一所大学里。让我们来回顾那个启发了世界的历史时刻。
1956年8月,在美国汉诺斯小镇宁静的达特茅斯学院中,约翰·麦卡锡(John McCarthy)、马文·闵斯基(Marvin Minsky,人工智能与认知学专家)、克劳德·香农(Claude Shannon,信息论的创始人)、艾伦·纽厄尔(Allen Newell,计算机科学家)、赫伯特·西蒙(Herbert Simon,诺贝尔经济学奖得主)等科学家正聚在一起,讨论着一个完全不食人间烟火的主题:用机器来模仿人类学习以及其他方面的智能。
现在一说起人工智能的起源,公认是1956年的达特茅斯会议。殊不知还有个前奏:1955年,美国西部计算机联合大会(Western Joint Computer Conference)在洛杉矶召开,会中还套了个小会:“学习机讨论会”(Session on Learning Machine)。讨论会的参加者中有两个人参加了第二年的达特茅斯会议,他们是塞弗里奇(Oliver Selfridge)和纽厄尔(Allen Newell),塞弗里奇发表了一篇模式识别的文章,而纽厄尔则探讨了计算机下棋,他们分别代表两派观点。讨论会的主持人是神经网络的鼻祖之一皮茨(Pitts),他最后总结时说:“(一派人)企图模拟神经系统,而纽厄尔则企图模拟心智(mind)……但殊途同归。”皮茨眼可真毒,这预示了人工智能随后几十年关于“结构与功能”两条路线的斗争。
背景
让我们先了解6位与达特茅斯会议相关的人。
▲麦卡锡
首先,会议的召集者麦卡锡(John McCarthy),当时是达特茅斯学院数学系助理教授。两年前的1954年,达特茅斯学院数学系同时有四位教授退休,这对达特茅斯这样的小学校而言是不可承受之痛,刚上任的年轻的系主任克门尼(Kemeny),两年前才在普林斯顿大学逻辑学家丘奇(Church)门下获得了逻辑学博士学位,于是跑到母校求援。克门尼从母校数学系带来了刚毕业的四位博士前往达特茅斯学院任教,麦卡锡就是其中之一。麦卡锡后来发明的LISP语言中最重要的功能eval,实际就是丘奇的lambda(λ)演算,他对逻辑和计算理论一直有强烈的兴趣,后半生致力于用数理逻辑把常识形式化。
▲明斯基
会议的另一位有影响力的参加者是明斯基。他也是普林斯顿大学的数学博士,和麦卡锡在读书时就相熟。他的主要研究方向不是逻辑,尽管他后来写过计算理论的书,还培养过好几个计算理论的博士,其中就有图灵奖获得者布鲁姆(Manual Blum)。明斯基的博士论文做的是神经网络,他在麻省理工学院150周年纪念会议上回忆说,是冯·诺伊曼和沃伦·麦卡洛克(Warren McCulloch)启发他做了神经网络,但后来却和神经网络结下梁子。
▲赛弗里奇
赛弗里奇被后人提及不多,其实他也是人工智能学科的先驱。赛弗里奇在麻省理工学院时一直在维纳手下工作,是维纳最喜欢的学生,但是他没有读完博士。维纳《控制论》一书的第一个读者就是赛弗里奇。赛弗里奇是模式识别的奠基人,他写了第一个可工作的人工智能程序。后来他在麻省理工学院参与领导MAC项目,这个项目之后被分化为麻省理工学院计算机科学实验室和人工智能实验室。如今这两个实验室又合并为MIT CSAIL。
▲克劳德·香农
信息论创始人克劳德·香农(Claude Shannon)也被麦卡锡邀请参加了达特茅斯会议。香农比其他几位年长10岁左右,当时已是贝尔实验室的资深学者。其实麦卡锡和香农的观点并不一致,平日相处也不睦。香农的硕士和博士论文都是关于如何实现布尔代数方面的,由当时麻省理工学院校长布什(Bush)亲自指导。博士毕业后香农去了普林斯顿高等研究院,曾和爱因斯坦、哥德尔、外尔(Weyl)等共事。战争中,他一直在贝尔实验室做密码学工作,阿兰·图灵(Alan Turing)在1943年曾秘访美国,和同行交流破解德国密码的经验,期间和香农曾有会晤,一起聊过通用图灵机。战后香农去英国还回访过图灵,一起讨论计算机下棋的问题。香农内向,以前从没说过这段往事,直到1982年接受一次采访时才提起。1950年,香农在《科学美国人》发表过一篇关于计算机下棋的文章。
▲纽厄尔
另外两位重量级参与者是纽厄尔和司马贺(Herbert Simon)。纽厄尔是麦卡锡和明斯基的同龄人,他硕士也是在普林斯顿数学系,按说普林斯顿数学系很小,他们应有机会碰面,但那时纽厄尔和他俩还真不认识。他们的第一次见面,纽厄尔回忆是在IBM,而麦卡锡回忆是在兰德公司,纽厄尔硕士导师就是冯·诺伊曼的合作者、博弈论先驱摩根斯顿,纽厄尔硕士毕业就迁往西部加入著名智库兰德公司。在兰德开会时认识了塞弗里奇,并受到塞做的神经网络和模式识别的工作的启发,但方法论却完全走的是另一条路。
▲司马贺
司马贺比他们仨都大十一岁(怀特海比罗素也大十一岁),那时是卡内基理工学院(卡内基梅隆大学的前身)工业管理系的年轻系主任,他在兰德公司学术休假时认识了纽厄尔。司马贺后来把纽厄尔力邀到卡内基梅隆大学,并给纽厄尔发了个博士学位,开始了他们终生的合作。
纽厄尔和司马贺的合作是平等的,司马是纽的老师,但他们合作的文章署名都是按字母顺序纽在前司马在后,每次他们受邀去演讲,都是轮流。司马每次见到别人把他名字放到纽厄尔之前时都纠正。他们共享了1975年的图灵奖,三年后司马贺再得诺贝尔经济学奖。纽厄尔和司马贺代表了人工智能的另一条路线:符号派,他们后来把他们的哲学思路命名为“物理符号系统假说”。简单地说就是:智能是对符号的操作,最原始的符号对应于物理客体。这个思路和英美的经验主义哲学传统接近。他们和当时的数学系主任、第一届图灵奖获得者阿兰·珀里思(Alan Perlis)一起创立了卡内基梅隆大学的计算机系,CMU从此成为计算机学科的重镇。
达特茅斯会议
1953年夏天,麦卡锡和明斯基都在贝尔实验室为香农打工。香农那时的兴趣是图灵机以及是否可用图灵机作为智能活动的理论基础,麦卡锡向香农建议编一本文集,请当时做智能研究的各位大佬贡献文章,这本文集直到1956年才以《自动机研究》(Automata Studies)为名出版,这个书名最后是香农起的,他不想花里胡哨,但麦卡锡认为这没有反映他们的初衷。
▲会议原址:达特茅斯楼
文集的作者有两类人,一类是逻辑学家(后来都变成计算理论家了),如丘奇的两位杰出学生马丁·戴维斯和克里尼,后者的名著《元数学导论》国内有逻辑学家莫绍揆先生的译本。明斯基、麦卡锡也都有论文录入,香农本人贡献了一篇讲只有两个内部状态的通用图灵机的文章,文集录入的一篇冯·诺伊曼的论文后来开创了容错计算。文集的另一类作者几乎都是维纳的信徒,如阿什比(Ross Ashby)等,以控制论为基础。麦卡锡素不喜控制论和维纳,既不想把维纳当老大,也不愿和他见面争执,其中原因不详,或许和维纳与麦卡洛克吵翻了有关。麦卡洛克和皮茨两位为维纳《控制论》思想贡献多多的人物,在维纳的自传里压根没被提及。麦卡锡同时又觉得香农太理论,当时他想自立门户,只对用计算机实现智能感兴趣。于是他筹划再搞一次活动。
▲维纳
1955年夏天,麦卡锡到IBM打工(美国教授都是九个月工资,如果没有研究经费,夏天要自己觅食),他的老板是罗切斯特(Nathaniel Rochester),罗切斯特是IBM第一代通用机701的主设计师并对神经网络素有兴趣。他们两人倒是挺对脾气,决定第二年夏天在达特茅斯搞一次活动,他俩遂说动了香农和当时在哈佛做初级研究员(Junior Fellow)的明斯基(哈佛的Fellow还是挺值钱的,历史上人数不多,蒯因、王浩、库恩在变成正式教授之前都做过。乔姆斯基几乎在同时也是哈佛的Fellow)一起给洛克菲勒基金会写了个项目建议书,希望得到资助。美国富豪还是有文化传统,至少知道要资助好东西,值得中国土豪的后代学习,别像他们的父辈即使打着“办大学”的名义还是要骗钱。
麦卡锡给这个第二年的活动起了个当时看来别出心裁的名字:“人工智能夏季研讨会”(Summer Research Project on Artificial Intelligence)。普遍的误解是“人工智能”这个词是麦卡锡想出来的,其实不是。麦老晚年回忆也承认这个词最早是从别人那里听来的,但记不清是谁。后来英国数学家菲利普·伍德华(Woodward)给《新科学家》杂志写信说他是AI一词的始作俑者,麦卡锡最早是听他说的,因为他1956年曾去MIT交流,见过麦卡锡。但麦卡锡的建议书1955年就开始用“人工智能”了,人老了回忆真不靠谱。当事人除了明斯基之外,都已仙逝,这事恐怕要成悬案了。
大家对“人工智能”这个词一开始并没取得完全共识。很多人认为啥事一加“人工”就变味了。纽厄尔和司马贺一直主张用“复杂信息处理”这个词,以至他们发明的语言就叫IPL(Information Processing Language)。他们从某种意义上说偏功能学派,也就是说找到智能的功能不一定非得依靠结构相同或相似。图灵机和递归函数等价,但结构完全不同,所以他们强调“信息处理”。他们俩一开始颇不喜“人工智能”几个字。1958年,在英国国家物理试验室(NPL)召开了“思维过程机器化”(Mechanization of Thought Process)会议,达特茅斯会议的麦卡锡、明斯基、塞弗里奇都参加了,此外还有致力神经网络研究的麦卡洛克,以及英国的控制论代表人物阿什比。两位编程语言的先驱也出席了:巴克斯(Backus)发表了一篇关于他新发明的语言FORTRAN的论文,但他后来一直是函数式语言的倡导者;美国海军女少将格蕾丝·哈泊(Grace Hopper)的文章是讲第一个编译器的,这项工作导致了COBOL语言,中国也有女少将,也是码农。他俩论文的题目里都有Automatic Programming的说法,这在当时就是指高级语言编程,不能和后来人工智能中的自动编程搞混了。这次会上有人再提“人工思维”(Artificial Thinking)的说法。司马贺等人由此也逐渐接受了AI的说法,他晚年还写了本书“人工的科学”,倒是把Artificial这个词更加放大了。
AI历史的方法论
历史研究素有两种方法,基于事件的,基于课题(issue)的。人和事的八卦都属前种。纽厄尔在1981年为一本颇为有料的文集《信息研究》贡献的一篇文章“AI历史的智力课题”走了第二条路线。他的方法也挺有意思。他把AI历史当作斗争史,把历史分为两个阶级、两条路线的斗争,于是历史成了一串儿对立的议题,如模拟vs数字,串行vs并行,取代vs增强,语法vs语义,机械论vs目的论,生物学vs活力论,工程vs科学,符号vs连续,逻辑vs心理等,在每一议题下有进一步可分的子议题,如在逻辑vs心理下又有定理证明vs问题求解等。
“人工智能”这个词真正被共同体广泛认可是在十年后的1965年,当伯克利的欧陆派哲学家德雷弗斯(Hubert Dreyfus)发表了《炼金术与人工智能》一文之后。这篇文章一开始只是针对纽厄尔和司马贺的工作,几年后这篇文章演变成了那本著名的(或者被AI圈子称为“臭名昭著”的)《计算机不能干什么》一书,则是把整个AI当作靶子。欧陆派哲学家被人诟病数学和科学不通,但德雷弗斯有个数学家的兄弟,和他同一年在哈佛得了应用数学博士,后来又同在伯克利教书,是动态规划的大家,还带过神经网络的博士。哥俩一个立场。有时一个共同体的形成并不是靠内部的团结,而是靠外部的反对。有意思的是《炼金术》一文是德雷弗斯在兰德公司工作时写就的。司马贺后来撰文猛批德雷弗斯,说他滥用兰德公司的标签。德雷弗斯后来抱怨他在MIT和哈佛食堂吃饭,所有AI的人都躲他远远的。学术争执哪儿都一样。
麦卡锡和明斯基的建议书里罗列了他们计划研究的七个领域:一、自动计算机,所谓“自动”指的是可编程;二、编程语言;三、神经网络;四、计算规模的理论(theory of size of a calculation),这说的是计算复杂性,明斯基后来一直认为计算理论是人工智能的一部分,他早期对理论问题时不时会动动手,后来一手组建了MIT的计算理论队伍;五、自我改进,这个是说机器学习;六、抽象;七、随机性和创见性。
麦卡锡的原始预算是一万三千五百美元,但洛克菲勒基金会只批了七千五百美元。麦卡锡预计会有六位学界的人出席,会议应该支付每人两个月的薪水一千两百美元,由此可推算出麦卡锡、明斯基当时的年薪在八千美元左右。
除了那六君子外,另外还有四人也参加了达特茅斯会议。他们是来自IBM的撒缪尔(Arthur Samuel)和伯恩斯坦,他们一个研究跳棋,一个研究象棋。达特茅斯的教授摩尔(Trenchard More)也参与了,他后来在工业界混的时间长,少为外人所知。达特茅斯会议中一位被后人忽视的先知是所罗门诺夫(Solomonoff)。
和其他人不同,所罗门诺夫在达特茅斯学院待了整整一个暑假。他1951年在芝加哥大学取得物理硕士学位后就来到了麻省理工学院。在芝加哥对他影响最大的是哲学家卡尔纳普。有意思的是,神经网络的奠基者之一皮茨也受惠于卡尔纳普。司马贺的回忆录里也讲到他在芝加哥时听卡尔纳普的课受到启蒙才开始了解逻辑学,从而对与智能相关的问题感兴趣。这么说来,人工智能的两大派:逻辑和神经网络都起源于卡尔纳普。卡尔纳普当时的兴趣是归纳推理,这也成为所罗门诺夫毕生的研究方向。所罗门诺夫后来结识了明斯基和麦卡锡,在他们的影响下开始研究逻辑和图灵机。达特茅斯会议时,他受麦卡锡“反向图灵机”和乔姆斯基文法的启发,发明了“归纳推理机”。他的工作后来被苏联数学家柯尔莫格罗夫(Kolmogorov)重新独立发明了一遍,即“柯尔莫格罗夫复杂性”和“算法信息论”(加拿大滑铁卢大学教授李明是这个领域的著名专家,曾有专著)。柯尔莫格罗夫1968年开始引用所罗门诺夫的文章,使得后者在苏联的名声比在西方更加响亮。所罗门诺夫的另一个观点“无限点”后来被未来学家库兹维尔改名“奇点”。目前人工智能中广泛用到的贝叶斯推理也可以见到所罗门诺夫的开创性痕迹。
按照麦卡锡和明斯基的说法,上述10个人参加了达特茅斯会议,但现在有证据表明也有其他与会者,包括后来一直做神经网络硬件研究的斯坦福大学电机系教授维德罗(Bernard Widrow)。他回忆说他也去了达特茅斯学院并且在那待了一周。给所有人留下深刻印象的是纽厄尔和司马贺的报告,他们公布了一款“逻辑理论家”的程序,可以证明怀特海和罗素《数学原理》中命题逻辑部分的一个很大的子集。司马贺回忆录里说自己学术生涯最重要的两年就是1955年和1956年。纽厄尔和司马贺的报告后来成为人工智能历史上最重要的文章之一。当时有一段有趣的插曲:这篇文章最早是投给逻辑学最重要的刊物《符号逻辑杂志》的,但被主编克里尼退稿,理由是“把一本过时的逻辑书里的定理重新证明一遍没什么意义”。纽厄尔和司马贺给罗素写信报告这一结果,但罗素不咸不淡地回复说:“我相信演绎逻辑里的所有事,机器都能干。”
▲罗素
值得注意的是“逻辑理论家”对人工智能后来的一个分支“机器定理证明”的影响并不大。哲学家王浩1958年夏天在一台IBM-704机上,只用9分钟就证明了《数学原理》中一阶逻辑的全部定理。当然《数学原理》中罗列的一阶逻辑定理只是一阶逻辑的一个子集。目前,一阶逻辑的机器定理证明比起50年代已有长足进展,但仍然没有更高效的办法。毕竟,王浩证明的是一阶逻辑,而“逻辑理论家”只能处理命题逻辑。数学家马丁·戴维斯和哲学家普特南合作沿着王浩的思路进一步提出了戴维斯-普特南证明过程,后来进一步发展为DPLL。王浩在1983年被授予定理证明里程碑大奖,被认为是定理证明的开山鼻祖。司马贺在回忆录里对此表示不满,认为王浩的工作抵消了“逻辑理论家”的原创性,他们的初衷并不是要有效地证明定理,而是研究人的行为。
麦卡锡多年后回忆说:他从纽厄尔和司马贺的IPL语言中学到了表处理,这成为他后来发明LISP的基础。明斯基后来接受采访时说,他对纽厄尔和司马贺的“逻辑理论家”印象深刻,因为那是第一个可工作的人工智能程序。但事实上,明斯基当时为大会写的总结里对“逻辑理论家”只是轻描淡写。因为他与麦卡锡举办会议旨在创立一门新学科,但纽厄尔和司马贺却抢了他们的风头。
会议之后
达特茅斯会后不久,1956年9月IRE(后来改名为IEEE)在麻省理工学院召开信息论年会,麦卡锡被邀请作一个对一个月前达特茅斯会议的总结报告,这引起司马贺的不满。经过多方协调,最后决定由麦卡锡先作总结报告,然后纽厄尔和司马贺报告他们的“逻辑理论家”,并发表一篇题为“Logic Theory Machine”的文章。
1956年的IRE信息论年会是个值得纪念的会议,除了纽厄尔和司马贺发表的那篇文章之外,心理学家乔治·米勒(George Miller)发表了“Human Memory and the Storage of Information”,这是著名的“The Magic Number Seven”文章的另一个版本。同时,乔姆斯基发表了“语言描述的三种模型(Three Models for the Description of Language)”,该文证明了有限状态句法不能表达某类语言,这是乔姆斯基分层的起源,文中引用了当时尚未出版的不朽名著《句法结构》。乔姆斯基当时刚刚到麻省理工学院现代语言学系(该系后来演变为语言学与哲学系)出任助理教授,并在麻省理工学院电子实验室做机器翻译的研究。
从参与者的角度看,大家认为IRE的信息论年会比达特茅斯会议更重要,影响也更深远。乔治·米勒回忆说,他当时的直觉是实验心理学、理论语言学、认知过程的计算机模拟,都是一个“大家伙”里面的组成部分。这个所谓的“大家伙”就是现在的人工智能加认知科学。
麦卡锡1958年离开达特茅斯学院去了麻省理工学院,帮助麻省理工学院创立了MAC项目,和明斯基一起领导了MAC项目中的人工智能实验室,1962年他再次跳槽到斯坦福大学。MAC项目孕育了计算机科学中很多原创的概念。以至于明斯基后来认为UNIX系统是落后反动的东西,因为他们丢掉了很多Multics中的精华。计算机操作系统里“分时”的概念是由麦卡锡在MAC项目中首创的。他回忆说,当时机器太少,但等着上机的学生很多,于是就提出了分时系统概念。按说分时系统的贡献要比麦卡锡后来的人工智能更为彰显,但麦卡锡得图灵奖也不是靠“分时”,这就像爱因斯坦并不是因为相对论获得了诺贝尔奖一样。从这个意义上讲,人工智能有点像哲学——自身衍生出很多问题,而对这些问题的解决又产生出许多子学科;一旦这些子学科独立,就不再喜欢“人工智能”了。
1968年,参议院多数党领袖曼斯菲尔德对ARPA(Advanced Research Projects Agency)的资助方向不满,认为国防部的钱不能用于军事目的之外,非军事目的的项目应该由美国国家科学基金会(NSF)负责。于是,ARPA改名为DARPA。70年代初期在海尔梅尔(George Heilmeirer)任期内,他以人工智能不能帮助制造武器打仗为理由,大幅削减了人工智能的经费,转而重金资助了隐形飞机和空间武器技术,使美国在相关领域一直保持领先。由于协调政府和麻省理工学院人工智能实验室的工作头绪繁多,明斯基决定从人工智能实验室退位,让他刚毕业的学生温斯顿(Patrick Winston)接手。
尽管明斯基说他不喜事务性工作,但在他的采访和回忆中,触及的话题总是和联邦政府的资助有关。温斯顿后来回忆时说:成功地管理一个实验室要管理好三个圈子,即出资人(主要是政府)、科学上有创建的人、有国计民生价值的项目。温斯顿试图说服几任ARPA的领导别把人工智能当作一个几年一次的项目,而是长期而独立的一门学科。ARPA对人工智能的资助在克罗克(Steve Crocker)在任时才逐步恢复,后来的ARPA信息技术办公室的负责人中还有图灵奖获得者苏泽兰(Sutherland),也继续对人工智能进行了投入。另外温斯顿对比了早期ARPA和NSF的不同,NSF给钱少,而且都是同行评议制,结果是越有成就的学者得到的资助越多,但很少会有根本性的原创性的贡献。而ARPA早期都是项目负责人制,如果负责人品味好,则有可能支持到好的研究项目,比如ARPA也支持了ARPAnet,后来演变成互联网。这类项目如果通过同行评议是很难实施的。这点非常值得国内科技界借鉴——精英制风格的ARPA更适合做大型开创性项目,有时,能否成功取决于少数的决策者;而以民主制为基础的NSF,历来就是小规模资助的基础研究。
预测未来:会有奇点吗?
司马贺在1957年曾预言10年内计算机下棋会击败人。1968年麦卡锡和国际象棋大师列维(David Levy)打赌说,10年内程序下棋会战胜列维,最后赔了列维2000美元。乐观的预言总会给对手留下把柄:德雷弗斯后来每年都拿此事嘲讽人工智能,说计算机下下跳棋还行,下国际象棋连10岁的孩子都比不过。但这种说法在1997年IBM深蓝击败卡斯波罗夫后便不攻自破了。
1995年卡斯帕罗夫还在批评计算机下棋缺乏悟性,但1996年他已经开始意识到“深蓝”貌似有悟性了。而两年间“深蓝”的计算能力只不过提高了一倍而已。当时,司马贺和日本计算机科学家宗像俊則(Munakata)合写了一篇解气的文章“AI Lessons”,刊登在《ACM通讯》上。现在两台普通计算机对弈,人类下棋高手都看不懂了,所有棋手现在都用机器做教练。
当然,德雷弗斯们还可以将“计算机仍然不能干什么”,并加上若干个“仍然”接着批评。明斯基1968年在库布里克的电影2001:A Space Odyssey的新闻发布会上曾大胆预言,30年内机器智能将赶上人类,1989年又预言20年可以解决自然语言处理。然而,现在我们恐怕还不能说机器翻译令人满意。过分乐观的另一个原因,按照明斯基的说法是,一门年轻的学科,一开始都需要一点“过度销售”。但过头了就不免被人当作狗皮膏药或炼金术。
2006年,达特茅斯会议召开50周年,10位当时的与会者有5位仙逝,在世的摩尔、麦卡锡、明斯基、赛弗里奇和所罗门诺夫在达特茅斯学院重新团聚,忆往昔展未来。参加50周年庆祝会之一的霍维茨(Horvitz)现在是微软实验室的一位领导,他和夫人拿出一笔钱捐助了斯坦福大学的一个AI 100的活动,目的是在未来100年,每5年要由业界精英出一份人工智能进展报告。第一期已于2015年底发表。
乔姆斯基晚年边做学问边做斗士。2015年3月,他和物理学家克劳斯对话时被问及“机器会思考吗?”,他套用计算机科学家迪杰斯特拉(Dijkstra)的说法反问:“潜艇会游泳吗?”如果机器人可以有意识的性质,那么机器人可以被认为有意识吗?他进一步说“意识”是相对简单的,而“前意识”是困难的。他把人工智能分成工程和科学。人工智能工程,如自动驾驶汽车等,能做出对人类有用的东西;而人工智能科学,乔姆斯基明显不认可。他引用图灵的话——这问题没有意义,不值得讨论。当一帮奇点理论的粉丝带着正面的期望采访乔姆斯基时,他却对人工智能这个被他深刻影响过的学科没太当回事,他认为气候和毁灭性武器是比奇点更紧迫的问题。这算有意回避吧。
明斯基在2012年时曾接受他的学生、预言家、奇点理论炮制者库兹维尔的采访。他说相信奇点的到来,可能就在我们的有生之年。两位“斯基”在麻省理工学院150周年纪念会上,参加同一个研讨小组,但却只打了一下“太极”,并没有针锋相对。倘若他们能在2016年达特茅斯会议60周年时面对面论剑一番,肯定会很精彩。然而,明斯基已溘然长逝。
作者:尼克
编辑:金婉霞
责任编辑:张鹏
来源:《中国计算机学会通讯》2016年第3期