第 1 节 从科大讯飞看人工智能发展进程:人工智能是否能成为生活标配?(第1页)

2006 年,美国达特茅斯学院举办了一场以 「AI@50」为名的学术讨论会。会后,5 位绩学之士留下一张照片。

照片从左起,分别是:摩尔,麦卡锡,明斯基,赛弗里奇,所罗门诺夫

照片从左起,分别是:摩尔,麦卡锡,明斯基,赛弗里奇,所罗门诺夫

从这场讨论会往前倒 50 年,照片里应该还存在另外 5 个学者,就在同一个地方,他们就麦卡锡为当时会议设定的七个明确的讨论范围和希望解决问题,进行了两个多月的讨论。

达特茅斯会议十君子

达特茅斯会议十君子

出自这场讨论最硬核的干货,莫过于只在两周会议的纽厄尔和司马贺公布的一款名叫「逻辑理论家」(Logic Theorist)的程序,这个程序可以证明怀特海和罗素《数学原理》中命题逻辑部分的一个很大子集。

可这不是讨论的主要目标,他们想要讨论的问题牵扯到的知识覆盖面实在太广,打个比方,本来以为解决的哥德巴赫猜想,走进一看才发现自己研究的是整个数学,这场讨论到了最终都没有什么实质性结果。

结果不是重点,里程碑是讨论本身。

麦卡锡基于会议讨论内容,总结了一个名词为那次研讨会命名,尽管这个名词没有得到所有人的共识,但这个名词仍然被默认流传,促使了一门新兴学科得以建立。

正是因为他们的讨论,一个充满了未知的领域得以发觉,并在后世影响人类发展进程。

而这个名词就是如今我们耳熟能详的——人工智能。

一、世界人工智能的三次浪潮

(本章节未完结,点击下一页翻页继续阅读)