PDF全文链接:从图灵奖看人工智慧的历史沉浮
谨以此文,向熬过寒冬的深度学习先驱,以及依然在各个方向坚持探索的研究者致敬。能否获得图灵奖不是最重要的,信念、坚持、思考、灵感才是他们的追求。
人工智慧领域的7次图灵奖
算上刚拿到的这次,AI已经七获图灵奖,是计算机科学各个领域中获图灵奖最多的方向之一,足见这一领域在整个CS中的地位。首先我们列举一下自1966年以来的历次图灵奖
1966,Alan J. Perlis,程序设计,编译器
1967,Maurice Wilkes,EDSAC,程序设计
1968,Richard Hamming,数值计算,编码,纠错码
1969,Marvin Minsky,人工智慧
1970,James H. Wilkinson,数值计算
1971,John McCarthy,人工智慧
1972,Edsger W. Dijkstra,程序设计
1973,Charles W. Bachman,资料库
1974,Donald E. Knuth,程序设计
1975,Allen Newell,Herbert A. Simon,人工智慧
1976,Michael O. Rabin,Dana S. Scott,非确定性自动机,理论计算
1977,John Backus,程序设计
1978,Robert W. Floyd,程序设计
1979,Kenneth E. Iverson,程序设计
1980,Tony Hoare,程序设计
1981,Edgar F. Codd,资料库
1982,Stephen A. Cook。计算复杂性理论
1983,Ken Thompson,Dennis M. Ritchie,操作系统,程序设计。UNIX与c语言之父,程序员应该都知道
1984,Niklaus Wirth,程序设计
1985,Richard M. Karp,程序设计,计算复杂性理论。NP完全理论的提出者
1986,John Hopcroft,Robert Tarjan,程序设计
1987,John Cocke,编译器,计算机系统结构(RISC)
1988,Ivan Sutherland,计算机图形学
1989,William Kahan,数值计算
1990,Fernando J. Corbató,操作系统
1991,Robin Milner,程序设计
1992,Butler W. Lampson,操作系统
1993,Juris Hartmanis,Richard E. Stearns,计算复杂性理论
1994,Edward Feigenbaum,Raj Reddy,人工智慧
1995,Manuel Blum,计算复杂性理论,密码学,程序验证
1996,Amir Pnueli,程序设计
1997,Douglas Engelbart,人机交互
1998,Jim Gray,资料库
1999 Frederick P. Brooks, Jr.,计算机系统结构,操作系统,软体工程
2000 Andrew Chi-Chih Yao(姚期智,唯一的华人),理论计算,伪随机数,密码学,通信复杂度
2001,Ole-Johan Dahl,Kristen Nygaard,面向对象程序设计
2002,Adi Shamir,Ronald L. Rivest,Leonard M. Adleman,密码学。大名鼎鼎的RSA演算法,大家都知道
2003 Alan Kay,面向对象程序设计
2004,Vinton G. Cerf,Robert E. Kahn,计算机网路,TCP/IP协议,江湖地位不用多说
2005,Peter Naur,程序设计
2006,Frances E. Allen,编译器
2007,Edmund M. Clarke,E. Allen Emerson,Joseph Sifakis,程序设计
2008 Barbara Liskov,程序设计
2009 Charles P. Thacker,设计与制造第一台PC
2010 Leslie G. Valiant,人工智慧
2011 Judea Pearl,人工智慧
2012,Silvio Micali,Shafi Goldwasser,密码学
2013 Leslie Lamport,分散式计算,大名鼎鼎的PAXOS演算法就是他提出的,可以拜读一下
2014 Michael Stonebraker,资料库
2015,Martin E. Hellman,Whitfield Diffie,密码学
2016 Tim Berners-Lee,WWW,浏览器。互联网时代的祖师爷,江湖地位不用多说
2017,John L. Hennessy,David A. Patterson,计算机系统结构
2018,大家都知道
这里面有很多大家耳熟能详的成果和人物。学数据结构时都知道的Dijkstra;计算机课科班的同学都知道的UNIX与c语言之父(不是谭浩强),发明关系型资料库的Edgar F. Codd。其他的不一一列举了,他们是计算机科学和工业史的缩影,真的改变了我们的生活和世界。
有些领域多次获奖,如程序设计语言/演算法设计/编译器累计获奖20+次之多。资料库获奖4次。人工智慧在所有方向中,算是获奖非常多的了。这些多次得奖的方向,都诞生过巨头公司,如计算机系统结构的intel,amd;资料库的ORACLE;操作系统的微软,SUN,IBM等。
令人遗憾的是,自1956年诞生到今天为止,尽管AI已经走完了63年的历程,但AI领域还没有诞生能比肩Microsoft这样的产业巨头。对于很多亟待解决的工业界问题,目前的AI技术水平还未达到能够实用的标准。这条道路之艰辛,可见一斑。
接下来列举一下AI方向所获得的图灵奖
2018 Geoffrey E Hintion,Yann LeCun,Yoshua Bengio,深度学习
2011 Judea Pearl,概率图模型(贝叶斯网路)
2010 Leslie Valiant,PAC(概率近似正确)理论
1994 Edward Feigenbaum,Raj Reddy,专家系统
1975 Allen Newell,Herbert A. Simon,逻辑推理
1971 John McCarthy,LISP,逻辑推理
1969 Marvin Minsky,神经网路
自1969到1975年3次频繁获奖,下一次获奖是在时隔19年之后的1994年,它们是对AI早期成果的肯定,包括逻辑推理,知识工程,专家系统等。不幸的是这些方法并没法解决人工智慧的一些核心问题,如图像识别,语音识别,这些在人类看来再简单不过的问题,却困扰了AI学者几十年。
最近3次获奖都是因为机器学习,这代表了AI方法的转变,从归纳和总结人的知识和能力然后编码实现,演变为模拟人的学习能力。这一现在看来非常简单的转变,却经历了整整数十年。机器学习从1980年兴起开始到第一次拿图灵奖,也间隔了30年。中间的几次浪潮几次寒冬,恐怕只有当年经历过那个时代的学者们才有最深刻的体会。
2018