正文
人工智能是从自然到人工的，其中起源之一是英国的数学家图灵在1950年写的一篇文章《计算机器和智能》。为什么不简单的叫计算机呢？因为那个时候，50年代的计算机指的不是我们现在意义上的机器，“计算机”在英语里面指的是人。就像大家知道操作员，或者电话刚出来的时候接线员，计算机指的也是人，实际上是在50年代末60年代初开始，这个词才指计算机。早期所谓计算机就是人肉计算。
那个时候很刻意强调电子计算机，现在很少说电子计算机，原因就是没有区别了，现在指的就是计算机。另外电脑这个说法在50年代和60年代初在英国曾经风行过一段，后来没有了。学术进步更快的表现就是摩尔定律，摩尔定律是什么大家都知道。摩尔是英特尔的创始人，根据半导体发展的趋势，他总结出来计算能力或者说存储能力、或者说普遍的信息处理能力，每12到18个月加一倍，就是说你过十个周期的话，就要翻一千倍。我们把学术出版物、整个社会累计的数据量、摩尔定律，还有整个社会总算例放在一起，发现摩尔定律的增长要比学术出版物还要快，也就是说有了学术之后，人类社会得到了指数级的发展，但是有了新的信息处理技术之后，人对数据和自然的掌控，又有了指数级的提升。
人工智能的来源在哪儿？谷歌曾经做过非常有意思的工作。在2000年，谷歌刚刚开始成立的时候，谷歌的创始人就一直有一个情怀，他想把全世界所有图书馆里面的书都电子化。这个电子化不是说扫描出来做成PDF，而是做了所有语言的处理。后来因为出版社各方面跟他打官司，结果没有公布。但是统计的结果公布了，谷歌在2008年之前，扫了大概有3000万本书。这3000万本书里面所有词出现的频率他都做了统计，并且把这个统计做成一个产品发布了。
这个产品发布了之后，在学术界就非常有用。举几个例子，大家知道“美国”的英文“United States”，后面是复数，既然是复数，后面我应该说“are”还是“is”，谷歌扫了3000万本书之后告诉你这个规律——南北战争之前主要的英文出版物都说“are”，到南北战争之后就变成了“is”。用谷歌等工具你可以做很多很有趣的发现。
既然咱们今天聊人工智能，那我就做了一个很简单的工作，谷歌这个工具丢进去，你会看到控制论是在40年代产生，50年代到达顶峰。人工智能是50年代才出来，60年代、70年代、80年代，因为谷歌这个工作做到2008年就为止了。2008年之前有一段时间，人工智能这个词没那么热，那个时候是人工智能的低潮期。其实在2006年之后，由于深度学习的发现，人工智能又有很大的提升。这些工具告诉我们人工智能的历史，实际上也是起伏变迁的。
除了能量、学术、算例，还有一个是钱——投资，整个在人工智能产业的投融资的情况我们也做了一个对比。这个行业的投资，在过去几年几乎和摩尔定律是同步的。人工智能到底是什么在媒体上有两派观点，一派是人工智能永远超越不了人类；还有一派观点是英国物理学家Hawking提出的，说人工智能将来某一天要颠覆、取代人类。
人工智能一直有所谓的强人工智能和弱人工智能之分，所谓弱人工智能就是指在人们认为是人的智能属性的某一个方面，机器超过了人。这一点大家毋庸置疑，深蓝以及阿尔法狗，获得了如此之大的胜利。现在如果是两个好一点的机器之间下国际象棋的话，人类大师、特级大师是看不懂他们在下什么的。当年深蓝赢的时候，特级大师可以看大概13步，但是深蓝那时候可以看13步半，深蓝多比他看了半步，人就不可能有任何机会赢。所以可以反过来，看你怎么理解这个事。现在去美国的高中去看，美国几乎每个高中都有一个象棋队。30年前，那时候我刚到美国，高中象棋队里面很少有选手积分可以到2000，现在随便一个高中象棋队里面超过2000的孩子，几乎到不了2000就进不了象棋队。这说明现在的小孩有很多机会去跟机器学习。在过去20年前，30年前小孩不可能跟特级大师比。所以说到弱人工智能的话，在某一个方向上面机器超越了人，这个已经毋庸置疑。
强人工智能就是说有这样的人工智能，他能够在人类表现出智能的所有方面都超过人。关于有没有强人工智能，现在有争议，至少短期是没有的。但是我们总是要探讨强人工智能到底是不是可能的。强人工智能如果会发生的话，意味着将来会有机器全方面取代人类，《未来简史》作者的那本书的英文题目叫《神人》，现在的人是智人，将来的人是神人，将来的神人可能是机器了，就像人类也有一个进化的历史。
至于什么是智能，我们又要回到伟大的英国数学家图灵。图灵在1936年的时候写过一篇数学的文章，定义了“图灵机”。我们可以说现在还没有任何一个新的机制比图灵机更强的，当然量子计算有可能在某些方面超过图灵机。如果我们把图灵机当做智能的定义或者智能的衡量尺度的话，机器超过人是迟早的问题。机器不断变得越来越快，处理信息的能力越来越强，但是人不可能像机器这样。图灵被公众认可是在1950年，当然他在1948年的时候就写过一篇文章，这两篇文章里他定义了“图灵测试”。“图灵测试”是一个概念，我做一个简化的版本：假设说你把一个机器放到房间里面，机器对外的沟通是通过递纸条的方式；如果你不断的递纸条、问问题，机器回答问题，过了很长时间，人从外界都没法断定里面的物体是机器还是人的话，那么机器就是智能的。
超级智能有很多种说法，大家知道图灵除了在计算理论、人工智能方面是鼻祖之外，他还是二战的时候英国破解德国密码最重要的功臣之一。他提出了“奇点”，所谓
奇点
，就是机器超过人的时刻。谷歌有一个未来学家，谷歌里面有很多程序员非常看不起他，他总是在那儿不断的预测，他预测的结果就是
奇点
会什么时候发生。有很多不同的时间点，有的人说2048，有的人说2049，他基本是说大概几十年之后，这个
奇点
就会来了。
我刚才讲了《未来简史》和“超级智能”，那图灵是怎么定义计算的以及图灵机是什么东西。图灵机是异常简单的东西，两张图灵的照片下面，就是一个无限长的纸带，上面有一个有限自动机，有限自动机可以打零或者打一，或者往左移，或者往右移，这是图灵机，在数学上还没有人想出比这个装置更强有力的装置。伟大的数学家哥德尔，想出来递归函数，他一直在问自己一个问题，递归函数是不是最强有力的表达手段？他自己没有信心。但是他看到图灵机之后就有了，递归函数跟图灵机是等价的。目前人想出来所有的东西，都跟图灵机等价有关，图灵机又是这么简单的东西，就是无限长的纸带，上面打零打一、左右移。这个东西在数学上可以证明等价于现在我们发现的所有计算装置，所以在数学上我为什么说你可以把图灵机当做至少是一个智能方面的测量，因为你想不出别的更好的方式。
大家知道图灵的遭遇是很悲惨的，因为他是同性恋。关于他的八卦，有一个英国的数学家给他写了一本传记，那本传记八几年写的，现在有很多新的材料，原本就是基于他那本传记。图灵因为同性恋的遭遇，受到了一定的歧视，在四十几岁的时候自杀，那时大家公认他是自杀，但是他母亲不承认。他死的时候床头上有一个苹果，这个苹果被咬掉了，苹果上被鉴定出来有氰化钾。所以很多人开玩笑说，苹果公司logo少了一口就是因为图灵咬掉的，这个乔布斯已经公开说了。后来乔布斯开玩笑说“我倒是希望当时想logo的时候有图灵这么一个高大上的形象”。直到英国的首相、英国皇室对图灵道歉，他们认为50年代图灵遭遇了不公正的待遇。这确实是一个非常感人的故事。
还有一个非常有意思的发现，有一个中国非常天才的数学家叫洪加维，他的结果在80年代的时候有很大的轰动性。因为这个结果已经被大家默认了，默认之后大家就不会再提起来洪加维这个人，他提出的相似性原理是在图灵上面的一个结果，任何一种计算装置都可以模仿，都可以被图灵机来模仿，图灵机也可以被其他的足够强的计算装置来模仿。洪加维提出“机器之间互相模仿的成本是多项式的”，从计算的复杂意义上说，多项式成本是很低很低的。别看图灵机这么简单，如果用图灵机来模仿我们现在最强的超级计算机的话，图灵机的模仿成本只是多项式级别，不是指数级别，是很低成本的模仿。这个实际上也是一个很深刻的观察，所以洪加维把这个叫相似性原则。有了相似性原则，我们就朝着智能定义的方向更进一步，如果说你想不出来比图灵机还强的计算装置的话，起点的来临还真是有可能发生。
超越图灵机的东西可能的话就是量子计算，量子计算可以变成一种通用的计算方式。量子计算是不是比我们常规意义上的计算机或者图灵机更快，现在没有严格意义上的数学证明。我想提到一个点非常有意思——素数分解。素数分解在图灵机上是不是很难实现，现在没有数学上的证明，但是素数分解在实践当中被证明是很难很难的。所以现在大家在网络安全上面用到的最核心的算法RSA的最顶层的东西就是素数分解。你给一个很大的数，你要把他分解成素数的话，需要的时间超级巨大，但是如果有量子计算的话那就不一样了。1994年，有一个数学家提出来一种算法，他说如果说我们能造出一台量子计算机，在这台量子计算机上做素数分解可以超级快。如果量子计算真能发生的话，我们现在所有的安全通信瞬间就变得不安全了。所以可以理解为什么美国在此投入了巨大的资金，国内在量子计算方面也投入了巨大的资金。如果说大家可以证明素数分解很难，实际上量子计算从某种意义上突破了图灵机，但是这个目前没有严格的数学证明。
“超级智能”和“智能”是不同的定义，“超级智能”是说图灵机等价于智能的话，我目前的计算机只要每隔几年快几倍，照这个速度发展下去的话，机器超越人是迟早的。英国物理学家罗杰·彭罗斯有几本书在国内有翻译，《皇帝的新脑》这本书就提出了不同的观点，他实际上是霍金的合伙人，大家知道霍金是物理学家，他是数学家也是物理学家，但是霍金的数学并不够好，所以需要一个数学家跟他一起工作，罗杰·彭罗斯就是跟霍金一起的数学家，包括黑洞理论，他都是原创者之一。罗杰·彭罗斯的理论说人脑是量子计算机，他甚至和加州理工学院心理学家一起合作，企图证明人脑里面存在一种东西叫微管，这种微管可以让人变得不容易被机器模仿。但是很多人都嘲笑他，生物体那么大的一个东西，不可能存在量子效益。这个问题一直有争议，但是他提问题的方法并没有错，他说如果说你可以证明人脑不是传统意义上的图灵机的话，那么就是人脑有某些计算机不具备的能力，这些不具备的能力就是“智能”。所以这个目前为止关于智能的定义还没有一个大家公认的标准，如果按照图灵机就是智能的话，那超级智能发生是迟早的事，但是如果说智能是某种意义上的量子计算的话，还需要更多扎实的数学和物理工作，这些工作现在很多人在做，但是还没有结论性的东西。
