走过半个世纪的图灵奖和摘得桂冠的AI大师们

素有“计算机界诺贝奖”之称的图灵奖已经走过了整整半个世纪。50年间，这项极富盛名的崇高荣誉，让65位业内顶尖的计算机科学家、几十项科技成就走进了公众视野，勾勒出一副宏阔的计算机进化版图。从智能办公到5G网络，从大数据到无人车……计算机从一个抽象的概念，化作公众触手可及的生活终端，深刻影响、变革着人类的生活方式。

从基础架构到云计算，从操作系统到手机应用，也许没有哪个领域像计算机一样瞬息万变。那么，我们为什么还要纪念诞生于一百多年前的图灵？

 

“艾伦·图灵勇于提出了机器能否思考的疑问。而他对于这个问题的理解和回答，却超出了已有认知体系的分类。”

——安德鲁·霍奇斯 （《图灵传：谜团》的作者）

 

早在1936年，图灵就凭借其令人震撼的天赋，对智能机器的“躯干”与“灵魂”做出了界定。81年来，整个计算机学界的发展，几乎都没有逃出他的“手掌心”。

图灵不仅提出了计算机的概念，也是“人工智能（AI）之父”。1950年，他发表了题为《计算机与智能》（Computing Machinery and Intelligence）的论文，首次提出了机器具备思维的可能性。图灵还预言，到20世纪末，一定会出现可以通过图灵测试的计算机。1966年，美国计算机协会（ACM）以图灵的名字设立了图灵奖（A.M. Turing Award），专门奖励那些对计算机事业作出重要贡献的个人。

回顾图灵奖50年的历史，欣喜地发现人工智能亦是图灵奖不断鼓励、不断发现的重要话题。也许我们纪念图灵——无论是以图灵机、图灵测试还是图灵奖也好——正是因为他的思考是计算机的起点，而直到80年后炙手可热的AI仍能从他的思考里找到启迪。下面，就让我们来介绍几位获得图灵奖的人工智能科学家和他们的傲人成就。

马文·明斯基（Marvin Minsky）

1969年，因“人工智能理论及软件”被授予图灵奖。

他是框架理论的创立者。1956年，马文·明斯基（Marvin Minsky）和约翰·麦卡锡(John McCarthy)发起了“达特茅斯会议”。这个会议提出了“人工智能” 概念，直接催生了人工智能革命，明斯基也成为了“革命家”。不仅如此，他研发了第一个神经网络模拟器、设计了最早的模拟人类机器人，他还是虚拟现实的最早倡导者，也是世界上第一个人工智能实验室——MIT人工智能实验室的联合创始人。1969年，明斯基被授予了图灵奖，成为了第一位获得图灵奖的人工智能学者。

约翰·麦卡锡（John McCarthy）

1971 年，因提出“人工智能”这一术语并使之成为一个重要的学科领域获得图灵奖

麦卡锡是“人工智能”概念的提出者（1956年）和LISP语言的创造者，是过去半个多世纪以来最重要的计算机科学家之一。时至今日，LISP语言仍在人工智能领域被广泛使用。特别值得一提的是，麦卡锡还和自己的两位门徒拉吉·瑞迪（Raj Reddy）、芭芭拉·丽兹科（Barbara Liskov）一起，组成了图灵奖评奖历史上罕有的“一门三杰”，被传为一段佳话。

艾伦·纽厄尔（Allen Newell）

1975年，因在人工智能、人类识别心理和表处理的基础贡献获得图灵奖。

纽厄尔是人工智能符号主义学派的创始人。这尊图灵奖，由艾伦·纽厄尔（Allen Newell）和自己的老师赫伯特·西蒙（Herbert Alexander Simon）共享。纽厄尔对研究“人如何思维”非常感兴趣，通过和西蒙合作，共同提出了“中间结分析法”，成功地开发了最早的启发式程序“逻辑理论家”和“通用问题求解器”，为人工智能的基本原理打下了基础。

阿伦·凯（Alan Kay）

2003年，因在面向对象语言方面的原创性思想，领导了Smalltalk的开发团队，以及对PC的基础性贡献获得图灵奖。

阿伦·凯（Alan Kay）是Smalltalk面向对象编程环境语言的发明人之一，也是面向对象编程思想的创始人之一，是笔记本电脑最早的构想者和现代Windows GUI的最初尝试者。今天我们使用的C/C++或Java语言都或多或少从Smalltalk汲取过养分。“预测未来的最好方法是创造它”（The best way to predict the future is to invent it!），就是出自天才大师阿伦·凯（Alan Kay）的至理名言。

从马文·明斯基（Marvin Minsky）到艾伦·纽厄尔（Allen Newell），从约翰·麦卡锡（John MaCarthy）到阿伦·凯（Alan Kay），半个世纪以来，人工智能一步一步踏实向前，在图灵奖的历史上留下了一串脚印。我们真切地感受到，这其中的每一步跨越、每一份成绩，无不是站在巨人的肩膀上、前人的成就上完成的。可以说，高水平的学术交流、切磋琢磨，对于促进人工智能领域的不断发展，功不可没。

“二十一世纪的计算”与图灵奖

作为引领计算机科学创新的机构，微软亚洲研究院从1999年起，每年都会在亚太地区举办“二十一世纪的计算”学术大会，邀请行业巨擘共聚一堂，分享学术方法、心得感悟。该会的一大亮点是专门面向学生和教师群体，迄今为止已在多所高校成功举办了十八届，累计参会人数超过40,000人。另一个亮点则是每届大会都会邀请图灵奖得主，与高校师生面对面，分享他们在各自领域取得的研究成果。迄今为止参加过“二十一世纪的计算“大会的图灵奖获得者已达32人次。下面让我们回顾几位曾多次参加“二十一世纪的计算”大会的图灵奖大师以及他们的精彩演讲。

巴特勒·兰普森（Butler Lampson）

1992年获得图灵奖

Butler Lampson （曾于1999年、2003年、2008年、2014年出席大会）

1992年获得图灵奖的巴特勒·兰普森（Butler Lampson），因在分布式计算环境、个人计算环境的发展和实现技术上的贡献而获奖，其中包括：工作站，网络，操作系统，程序语言，显示，安全和文档排版处理等。同时他也是一个兴趣广泛、多才多艺的计算机专家，事实上他的第一个学位是哈佛大学文学学士。

约翰·霍普克罗夫特（John Hopcroft）

1986年获得图灵奖

John Hopcroft （曾于2001年、2007年、2010年、2012年出席大会）

因在算法和数据结构设计与分析方面取得突破，在1986年获得图灵奖的约翰·霍普克罗夫特（John Hopcroft），其研究集中于计算的理论方面，特别是算法分析、自动机理论、以及图论算法等。他提出的“最坏情况渐近分析法”成为衡量算法的效率和优劣的数学准则，被学界所广泛认同和接受。2017年，他还应上海交通大学之邀，领衔建立了一个以他名字命名的计算机科学中心。

拉吉·瑞迪（Raj Reddy）

1994年获得图灵奖

Raj Reddy （曾于1999年、2003年、2008年出席大会）

1994年获得图灵奖的拉吉·瑞迪（Raj Reddy），因在“大规模人工智能系统”方面取得突破而获奖。他研究的语音识别课题为当今的高科技领域普遍的应用，他关注的是社会金字塔底层人物的生活和命运，提出旨在用计算技术来服务于这些文化程度和社会地位不高的人的生活，尤其是在教育、健康等方面。而他也是微软亚洲研究院院长洪小文的老师。

姚期智（Andrew Chi-Chih Yao）

2000年获得图灵奖

姚期智（曾于2002年、2006年、2011年出席大会）

因在计算理论方面做出独特贡献，2000年获得图灵奖的“华人之光”姚期智博士，是迄今为止65位图灵奖获得者中唯一的亚裔学者，也是世界现代密码学基础的奠基人之一，他的研究涵盖了基于复杂性的伪随机数生成理论、密码学、通信复杂性等领域。13年前，他毅然放弃了美国名校的终身教职，回到祖国，倾注所有精力，为中国创建世界一流计算机学科，培养拔尖创新人才。

莱斯利·兰伯特（Leslie Lamport）

2013年获得图灵奖

Leslie Lamport（曾于2015年出席大会）

2013年，微软研究院首席研究员莱斯利·兰伯特（Leslie Lamport），因在提升计算机系统的可靠性及稳定性领域的杰出贡献荣获图灵奖。他的分布式计算理论奠定了这门学科的基础，并被称为“分布式计算原理之父”，他在1978年发表的论文《分布式系统内的时间、时钟事件顺序》成为计算机科学史上被引用最多的文献。

近20年来，“二十一世纪的计算”学术研讨会上一直活跃着图灵奖大师们的身影，激荡着关于计算机前沿课题的探讨与思索。 “二十一世纪的计算”大会以其前瞻性、开放性、包容性、创新性，打开了一扇扇国内外学术交流的窗口，推动着计算机基础科学的研究和发展。

● 注：以上图片来自图灵奖官方网站http://awards.acm.org/