首页 理论教育意义非凡的重大事件汇总

意义非凡的重大事件汇总

【摘要】:1956年,第一届人工智能会议召开,这是一个大事件,同年,还有另外一个重要事件。1994年,西洋跳棋程序Chinook击败世界排名第二的人类选手廷斯利,并以有史以来最大的优势赢得美国西洋跳棋锦标赛的冠军。但西洋跳棋和国际象棋的计算量有限,围棋一直是人类最后的骄傲和阵地。科幻小说《棋局》就是人工智能们布下的一局对弈,只不过参战双方都是业已觉醒的人工智能,而它们的棋子正是人类。

1956年,第一届人工智能会议召开,这是一个大事件,同年,还有另外一个重要事件。艾伦·纽厄尔、J.C.肖和赫伯特·A.西蒙联合开发出一个叫作“逻辑理论家”(Logic Theorist)的程序,能够证明《数学原理》中前52个定理中的38个,其中某些证明甚至比原著更加新颖和精巧。这是一个值得振奋的成功,计算机不仅仅用来做毫无创意的计算,更加可以当作辅助数学的工具。

■ENIAC最经典的照片(美国陆军拍摄)

前文提及的约翰·麦卡锡可不是仅仅对人工智能下了一个定义就能赢来一个“父亲”的称号,他在1958年发明了Lisp编程语言。Lisp语言不仅广泛用于人工智能领域,更对计算机编程语言产生了深远影响。Lisp全称为List Processor,这是一种基于λ演算的函数式编程语言。硬件是躯体,软件则是灵魂,Lisp语言就是计算机的灵魂,它拥有理论上最高的运算能力,时至今日,对计算机编程的发展立下了不可磨灭的汗马功劳。Lisp语言在CAD绘图软件应用非常广泛,普通用户均可以用Lisp编写出各种定制的绘图命令。《私奔4.0》中的虚拟形象本质上就是一串串代码,跟现在流行的虚拟歌姬一样。

第一届人工智能会议的另外一位参与者,数学家雷·所罗门诺夫,在1964年引入了通用的贝叶斯推理与预测方法,奠定了人工智能数学理论基础——那届大会真是人才济济,随便一位都是开山祖师级别的王者。还是1964年,当时还是麻省理工学院博士生的丹尼尔·博布罗用Lisp语言设计的程序STUDENT可以理解人类所用的自然语言(他的研究对象是英语),并能解高中程度的代数应用题。

让我们加快脚步,把目光放到人工智能与人类的博弈之上。说到博弈,人工智能与人类最初交手的方面就是对弈。1994年,西洋跳棋程序Chinook击败世界排名第二的人类选手廷斯利,并以有史以来最大的优势赢得美国西洋跳棋锦标赛的冠军。1997年,IBM公司开发的国际象棋程序深蓝击败了当时的国际象棋世界冠军加里·卡斯帕罗夫,从而引起全世界范围的关注。深蓝在1秒之内能够计算出2亿种可能的位置,可以搜索并预估随后的12步棋,这是一个让人类大脑崩溃的数据,我们也用毫不意外的败绩把“崩溃”两个字踏踏实实践行到位。

■国际象棋电脑,现在与电脑下棋已经成了最常见的休闲方式(Morn摄影

下棋说白了就是计算,落子往往有时间限制,人工智能能够在短时间内计算出所有棋局,自然胜券在握。但西洋跳棋和国际象棋的计算量有限,围棋一直是人类最后的骄傲和阵地。棋类运动中,大概只有围棋可以叫暂停,用一个小时甚至更长时间思考如何应对,即为长考。想必读者一定猜到,接下来要说的就是2016年谷歌旗下Deep Mind公司研发的人工智能围棋程序AlphaGo以4∶1的比分战胜世界冠军李世石,之后,AlphaGo在网上对职业高手们取下快棋60连胜,并完成了对世界围棋第一人柯洁3∶0的横扫。至此,阿尔法围棋团队宣布将不再参加围棋比赛——不参加不是害怕,而是感到了无敌的寂寞吧。AlphaGo之所以能够在围棋界大杀四方,不仅仅得益于AlphaGo的计算能力,还有通过深度学习和神经网络技术为机器赋予的“直觉”。这已经相当接近人类的感观体验,不过AlphaGo只是在围棋领域所向披靡,仍然不能同真正的智慧相提并论。科幻小说《棋局》就是人工智能们布下的一局对弈,只不过参战双方都是业已觉醒的人工智能,而它们的棋子正是人类。

■在我们最熟悉的围棋和中国象棋方面,与AI对弈也已经成为常态