我们历经了很多时代,有PC攒机的时代,有互联网时代,有移动互联网时代,现在呢,是AI时代!
很多人以为AI是刚诞生的,其实不是,它比互联网要早得多。一个让我们如此震撼的东西(一堆元器件,竟然有智能),不太可能是刚刚研究的。其实世界上任何的突破,就连牛顿定律和爱因斯坦相对论那种严重依靠个人天赋的东西,都不是一下子的事情,是前人无数的积累, 他们爆发了而已。
1946年,也就是新中国诞生前3年,美国发明了第一台计算机,叫艾尼亚克。它是真空管的,非常大,占据了好几个房间。那时没有人认为计算机可以走进家庭。
1971年因特尔发明了微处理器(4004),是个人计算机产业的开端。
十年之后,1981年,IBM推出了第一台个人计算机(IBM 5150),标志着个人计算机时代的来临。而中国则是更晚的90年甚至是2000年代才走入个人计算机时代。
1983年,TCP/IP协议成为网络标准协议,标志着互联网的诞生。1997年新浪创立,98年搜狐创立,中国纷纷走入门户网时代。到了2005年百度创立,09年微博上线,再到阿里,腾讯,字节等进入互联网大厂时代。
那些年,大家都疯狂的押注互联网,万物互联是我们的终极梦想。当时没有几个人会想到2022年,人类突然进入了人工智能时代。互联网突然变得不那么重要,人工智能才是性感的未来。
个位,记住第一台计算机是1946年。仅仅4年后,1950年,那是个大部分人都不知道计算机,行内人也仅认为计算机又大又笨,计算也不算那么快的时候,图灵发表了震古烁今的一篇论文,提到了图灵测试。
图灵竟然,竟然在思考:机器是否可以思考?并解决了一个巨大的问题:什么是智能?(不得不佩服,世界天才何其璀璨)
什么是智能,这不是新问题,是已经争吵了几千年的问题,从苏格拉底就开始了。按西方哲学的范式,一定先有个严格的定义,符合这个定义的就叫智能,不符合的就不算。虽然无数人给了无数个定义,但没有任何一个的定义无懈可击,因为总能找到轻而易举的反例。
不过,大家是有共识是,那就是人是有智能的。所以图灵说,假如一个机器的表现和人一样(图灵测试的场景:有三个人在对话,把其中一个人换下来,换成机器,而其他两个人根本没察觉到换了,这就说明机器和人一样的表现),是否可以认为机器是有智能的。
它把一个哲学的问题,变成了一个工程学的问题。他不再纠结于定义、范式,只在意结果。就好像一个人一辈子行善,但是总有人说,他不是真心,他是伪装的。但是,假如他伪装了一辈子,那么是否他就是个大善人。
图灵测试的提出,为人类开了一扇窗,下面就是怎么才能让机器表现的像人就是了。
怎么让机器表现得像人,在历史上有两种路径,这两种路径争斗不休。一种叫符合主义,一种叫联结主义。
符号主义就是先给机器规定各种定义,各种符号,让机器去check看到的东西,符合这些符号就叫A,不符合的就不是A。是不是有点类似于历史上的西方哲学的范式?
联结主义其实是按人脑的运行方式走的,它是一堆“人工神经元”的联结。之前大火的Deepmind(打败李世石的那个),现在大火的各种大模型(豆包,deepseek,千问)都是联结主义。显然,联结主义笑到了最后,符号主义丢尽了垃圾堆里。
其实,符号主义非常符合大家的直觉,因为我们就是这么看东西的。我们看到猫,觉得它是猫,是因为它符合我们脑子里猫的外形。
但是历史上第一次出现的是联结主义。这东西其实很好解释。在那个计算机还算非常新鲜玩意的时代,假如有个人恰好是图灵测试的拥趸,也在琢磨让机器思考。如果这个人是个符号主义的人,那就是先出现了符号主义,如果相反那就先出现了联结主义。事实恰好是第二个。
这个人叫马文·明斯基,他有个伙伴叫邓恩·艾德蒙,恰好邓恩是个神经学家。他发现,人的神经系统是个零和游戏。神经元接收到的信号超过了一个阈值,就传递给下一个,如果不到阈值,就是0。这就是神经信号传递的全有和全无原理。这个玩意就太像二进制了,简直就是计算机啊。
所以这俩人在1950年,就构建了历史上第一台神经网络计算机。实际上他们的很原始,就是一堆输入,假如到了这些信息求和,到了某个值就输出一个结果。实际效果是没啥效果的。但是他开了个好头,有了联结主义。
下一个大事来了。1956年,有个助理教授,暑期没事干,他就想组织个事,一个是找点有意思的事干,也想着搞点名声。于是他组织了一拨人,召开了一个会议,这就是历史上鼎鼎大名的达特茅斯会议。这个人就是约翰·麦卡锡。
参加会议的有这么几个人:马文・明斯基(前文出现过的那位)、克劳德・香农、纳撒尼尔・罗切斯特、雷・所罗门夫、艾伦・纽厄尔、赫伯特・西蒙(司马贺)。
这个会议之所以重要,是因为本次会议的主要目的就是研究人工智能。AI即人工智能这个词也是本次会议提出来的,这标志着人工智能的诞生。同时这几个人都是大大的牛人。马文・明斯基后来创立了MIT 人工智能实验室。克劳德・香农人称“信息论之父”,没有他就没有信息传输。雷・所罗门夫,他发明了一种数学算法,叫雷・所罗门夫归纳法,现在爆火的chatgpt就是用了这个办法才解决了一个难题。
这次会议本来的愿景非常好,当时的会议招募书说,通过一个夏天的研究,我们基本能解决人工智能的一些比较困难的问题。当然,愿望没能实现,但是,这几个人成了人工智能的推动者,他们分别强力推动了两大流派即符号主义和联结主义的演进,未来很长一段时间的恩仇纠葛,就在这些人中发生。