随记

加班忙了一天，错过两节课，晚上昏昏欲睡，强打精神听完关于人工智能的学习。

人工智能有两个基石假设：一、人类的思考过程可以机械化；二、机械化的思考可以用工程实现。

为了实现两个假设，人工智能发展一路坎坷，但让我意外的事人工智能起步很早，从希尔伯特提出“能否将所有的数学推理形式化？”这个推理形式化，就是人工智能的底层原理，或者思路的起点。后来罗素和怀特海写书《数学原理》证明这个形式化。后来图灵提出图灵机。后来的信息论和控制论以及现代的二进制计算机。这过去50多年的历程中，已经经历了三起两落。

对于人工智能的焦虑，就如同当年人们还在使用马车时，对于新出现的铁路的焦虑一样，实际上铁路并没有吞噬人类和马车夫，而是为社会创造了更多岗位。对于人工智能以后也是如此。