再见,马文·明斯基(1927-2016)

我第一次见面是在1979年马文•明斯基当时我还是个十几岁的少年,在加州理工学院(Caltech)研究物理。那是一个周末,我安排去看理查德-费曼讨论一些物理问题。但那天费曼也有另一位来访者,他不只是想谈论物理,而是热情地提出了一个又一个意想不到的话题。

那天下午,我们开车经过加利福尼亚州的帕萨迪纳市,费曼的访客并没有明显地关心实际的驾驶过程,而是积极地向我们指出,如果人工智能能够完成驾驶,它必须计算出各种各样的东西。我有点放心了,当我们到达我们的目的地,但很快访问者是另一个话题,谈论大脑如何工作,然后说,一旦他完成了他的下一本书,他很乐意让别人打开他的大脑,把电极内部,如果他们有一个好的计划搞清楚它是怎么运作的。

费曼经常有古怪的访客,但我真的很想知道这个人是谁。再过了几次,我才认识了这位古怪的访客,他叫马文·明斯基(Marvin Minsky),是计算和人工智能的先驱,我很高兴能把他当作30多年的朋友。

这篇文章也在:
创意者:对一些名人的生活和想法的个人看法» 有线»

就在几天前,我还在谈论访问马文的事,当我听说他去世时,我非常难过。我开始回忆起这些年来我们所有的互动方式,以及我们共同的兴趣爱好。我和马文讨论过的生活中的每一个重大项目SMP,我的第一个大型软件系统早在1981年,通过数学软件,一种新的科学,Wolfram | Alpha最近Wolfram语言

这张照片是我最后一次见到马文时拍的。他的健康每况愈下,但他很想说话。看着我35年的生活,他想告诉我他的评价:“你真的做到了,史蒂夫。”你也做到了,马文!(我总是叫“斯蒂芬”,但不知何故,某个年龄段的美国人有一个习惯叫我“史蒂夫”。)

马文·明斯基和我

我认识的马文是严肃和古怪的完美结合。他几乎对任何话题都有话要说,通常都很不寻常。有时候会很有趣;有时候这很不寻常。这让我想起了上世纪80年代初的一段时光,当时我在波士顿,转租了马文的女儿玛格丽特(Margaret)的一套公寓(她当时在日本)。玛格丽特收集了大量精心制作的植物。有一天,我注意到有些植物的叶子上长出了难看的斑点。

由于我不是这方面的专家(也没有网上的资料!),我打电话给马文,问他该怎么办。接下来是一场关于开发能够赶走粉蚧的微型机器人的可能性的长时间讨论。虽然这很吸引人,但在最后我还是要问,“但是我应该怎么做呢?事实上玛格丽特的植物怎么办?”马文回答说:“哦,我想你最好和我妻子谈谈。”

几十年来,马文可能是世界上人工智能研究的最大能源。他是思想的源泉,他把这些思想灌输给了自己的孩子学生顺序长麻省理工学院。尽管细节发生了变化,但他始终坚持自己的目标,即弄清思维是如何运作的,以及如何让机器去思考。

计算理论家马文

我认识马文的时候,他谈论的大多是一些理论,在这些理论中,事情可以通过某种相当于常识的东西来解决,也许是基于心理学或哲学推理。但在他生命的早期,马文采取了不同的方法。他1954年在普林斯顿大学的博士论文是关于人工神经网络的(《神经模拟强化系统理论及其在大脑模型问题上的应用》),这是一篇数学论文,充满了技术数学。比如在1956年,马文发表了一篇论文有限自动机的若干通用元在书中,他谈到了如何“用少量的基本元素建造复杂的机械”。

这篇特别的论文只考虑了本质上有限的机器,直接基于人工神经网络的特定模型。但很快,马文开始研究更通用的计算系统,并试图看看它们能做些什么。从某种意义上说,马文只是开始了对计算宇宙的探索,几年后我也会这样做,并最终写作一种新的科学有关。事实上,早在1960年,马文就差点发现了我最终发现的核心现象。

1960年和现在一样,图灵机被用作计算的标准基本模型。为了了解计算机——以及潜在的大脑——是由什么组成的,马文开始研究最简单的图灵机(只有两种状态和两种颜色),并使用计算机找出其中的原因所有的4096个都有. 他发现的大多数只是重复行为,还有一些是我们现在所说的嵌套或分形行为。但没有人做得比这更复杂了,事实上,马文在1967年的经典著作中根据了最后的练习计算:有限和无限机器注意到“D。G. Bobrow和作者对所有(2,2)台机器(1961年,未出版)进行了冗长的简化,将其减少到30多个(无法出版)。”

多年以后,马文告诉我,他在(2,2)图灵机上花了那么多精力之后,不打算再走得更远了。但正如我在1991年最终发现的那样,如果你只看(2,3)台图灵机,那么在300万台左右的图灵机中,有一些是不要只是表现出简单的行为甚至从它们非常简单的规则中也会产生巨大的复杂性。

早在20世纪60年代初,尽管马文并没有仅仅通过搜索简单的“自然发生的”图灵机来发现复杂性,但他仍然希望构建一个能够展示它的最简单的图灵机。通过艰苦的工作,他在1962年创造了一个(7,4)图灵机他证明了这一点通用(因此,从某种意义上说,可以任意地做出复杂的行为)。

当时,Marvin的(7,4)图灵机是已知的最简单的通用图灵机。它保持了这一点记录基本上是完整的40年了,直到我终于出版了一本(2,5)通用图灵机一种新的科学.过了这么久才把唱片从马文的机器里拿走,我感到有点内疚。但是马文对此很好。几年后,他热情地同意加入委员会我的奖品以确定是否(2、3)图灵机我认为最简单的普遍性候选者实际上是普遍的。

没过多久就提交了一份普遍性的证明,马文就参与了验证它的一些技术细节,并指出,考虑到它的复杂性,也许我们都应该知道这样的事情是可能的埃米尔·波斯特观察用他所谓的标签系统早在1921年,马文还没出生。

马文与神经网络

说到科学,有时似乎有两个马尔文。一个是受过数学训练的马文,他能精确地证明定理。另一位是马文,他谈论的是一些大而古怪的想法,与数学形式化相去甚远。

我认为马文最终对数学和形式化所能达到的效果感到失望。在他早年的时候,他认为通过简单的人工神经网络——也许像图灵机这样的东西——可以很容易地建立起像大脑一样工作的系统。但这似乎从未发生过。1969年,和他长期的数学家合作派珀特, Marvin写了一本书,证明了被称为感知器的一类简单神经网络不能(用Marvin的话来说)“做任何有趣的事情”。

令马文后来懊恼的是,人们拿这本书来证明任何类型的神经网络都做不出任何有趣的事情,而对神经网络的研究几乎停止了。但有点像(2,2)图灵机器,更丰富的行为实际上就潜伏在视线之外。它在20世纪80年代开始受到关注,但直到最近几年计算机能够处理几乎大脑规模的网络,神经网络的丰富功能才开始变得清晰。

尽管我不认为当时有人会知道,但我们现在知道,马文早在1951年就在研究的神经网络,实际上最终将导致他所希望的那种令人印象深刻的人工智能能力。真可惜花了这么长时间,马文都没来得及看。(当我们释放基于神经网络的图像标识符去年,我给马文发了一封信,说“我从来没想过神经网络真的会工作……但是……”很遗憾,我从来没有和马文谈过这件事。)

Marvin和Symbolic AI

马文最早的人工智能方法是通过神经网络之类的东西。但也许是受约翰·麦卡锡Lisp的发明者马尔文开始了麻省理工学院的人工智能实验室,马尔文开始考虑更多的“象征性”的人工智能方法。1961年,马文让他的一个学生用LISP语言编写了一个程序来进行符号整合。Marvin告诉我,他希望程序尽可能“人性化”,这样它就会停下来说“给我一块饼干”,用户就必须回答“一块饼干”。

按照Mathematica或Wolfram|Alpha的标准,1961年的集成程序非常原始。但我很高兴马文造了它。因为它开启了麻省理工学院的一系列项目,导致了MACSYMA系统最终使用了在20世纪70年代,在很多方面开始我的努力在SMP和Mathematica上。

然而,马文自己并没有继续思考用计算机来做数学,而是开始研究如何让计算机完成所有人(包括儿童)都例行做的任务。Marvin的合作者Seymour Papert,他曾与发展心理学家合作过让·皮亚杰他对儿童如何学习很感兴趣,马文积极参与了西摩为儿童开发计算机语言的项目。结果就是Logo——scratch的前身——在20世纪70年代,马文和西摩有过一段时间的公司,试图向学校推广Logo和硬件“海龟”。

对我来说,马文关于人工智能的理论总是有某种神秘感。在某些方面,他们看起来像心理学,在某些方面,他们像哲学。但偶尔会有一些软件或硬件声称实现了它们,通常是以我不太了解的方式实现的。

可能最引人注目的例子是由马文的学生开发的连接机丹尼•希利斯还有他的公司思维机器(Richard Feynman和我都是顾问)。连接机器总是在空气中被建造来实现马文关于大脑的一个理论,也许有一天会被视为“人工智能的晶体管”。但我,例如,最终使用了它的大规模并行架构来实现流体的细胞自动机模型,而不是任何人工智能。

马文总是有新的想法和理论。就在连接机器建造的时候,他给了我他的书的草稿心灵社会这本书讨论了新的、不同的人工智能方法。马文告诉我,他想用韵文来写这本书。但这本书的结构有点像我和Marvin的许多对话:每一页都有一个想法,通常很好,但有时不是很生动。

我想马文看过心灵社会作为他的代表作,我认为他很失望,因为更多的人不理解和欣赏它。这本书出版于20世纪80年代,当时人工智能正处于最低谷,这可能对它没有帮助。但我认为,要真正欣赏书中的内容,就需要马文在那里,用他特有的个人能量来表达他的想法,并回应人们可能提出的任何反对意见。

马文和细胞自动机

马文已经习惯了关于思考的理论,这种理论可以通过思考来理解——有点像古代哲学家所做的那样。但马文对一切都感兴趣,包括物理。他不是物理学形式主义方面的专家,尽管他确实对物理学课题做出了贡献(尤其是为共焦显微镜申请了专利)。通过他的老朋友Ed Fredkin,他在20世纪60年代初就被介绍到细胞自动机领域。他真的很喜欢以它们为基础的物理学哲学,并最终写了一篇题为“大自然厌恶真空”的论文,讨论了人们如何实际上从细胞自动机中设计出物理学的某些特征。

马文在细胞自动机方面做得并不多,但在1970年,他和弗雷德金在Triadex Muse数字音乐合成器中使用了类似的东西,他们为该合成器申请了专利,并销售了其早期前身基于元胞自动机的音乐创作

马文非常支持我在细胞自动机和其他简单程序方面的工作,尽管我认为他发现我对自然科学的取向有点陌生。在我工作的十年里一种新的科学我和马文的互动有些规律。他当时也开始写一本关于情感的书,他在1992年告诉我,他希望这本书“能改变人们对自己的看法”。我偶尔和他谈一谈他的书,试图理解它的认识论特征(我曾经问它在这方面是否有点像弗洛伊德,他说是的)。马文花了15年才完成了后来的工作情感的机器. 我知道他还计划了其他的书;例如,在2006年,他告诉我,他正在写一本关于神学的书,这本书“几年后就要出版了”——但遗憾的是,这本书从未面世。

马文在人

见到马文总是一件愉快的事。通常是在他位于马萨诸塞州布鲁克林的大房子里。一旦有人进来,马文就会开始说些不寻常的话。它可能是,“如果今天太阳不下山,我们会得出什么结论?”或者,“你一定要来我的温室里看看真正的二叉树。”有一次,有人告诉我,马文可以做几乎任何事情的演讲,但如果有人想做得好,就应该在他开始之前问他一个有趣的问题,然后他就会谈论这个问题。我意识到这也是处理与马文的对话的方法:提出一个话题,然后他就可以指望他说一些不同寻常的,通常是有趣的事情。

我记得几年前,我提出了教编程的话题,我希望Wolfram语言与此相关。马文立即开始谈论编程语言是人们在学会阅读之前唯一应该学习的语言。他说他一直在试图说服Seymour Papert,教编程的最好方法是从向人们展示好的代码开始。他举了一个教音乐的例子艾因·克莱恩·纳奇穆西克,让他们换一种不同的节奏,看看会出现什么问题。(马文是古典音乐的长期爱好者。)就这样,一种方式Wolfram编程实验室我们上周推出的让人们学习编程的方法就是从好的代码开始,然后让他们修改它。

马文总是有一种温暖。他喜欢和支持人民;他与各种有趣的人交往;他喜欢讲关于人的好故事。他的房子似乎总是充满了活力,尽管这些年来,房子里堆满了东西,唯一的空闲空间就是厨房桌子的一小部分。

马文也非常喜欢各种想法。那些看起来很重要的。那些奇怪的和不寻常的。但我认为最终马文最大的乐趣在于将思想与人联系起来。他是一个思想黑客,但我认为,当他把这些思想作为与人联系的一种方式时,这些思想对他来说就变得有意义了。

我将错过所有那些关于想法的对话,无论是我认为有意义的还是我认为没有意义的。当然,马文一直是冷冻学的狂热爱好者,所以也许这还不是故事的结尾。但至少现在,再见,马文,谢谢你。

张贴于:18.luck新利 ,18luck

10条评论

  1. 《思想社会》在我上高中一年级的时候问世,它无疑影响了我对科技以及我们与科技的关系的看法。我很后悔我没有密切关注明斯基先生的每一件事,因为我显然错过了很多有趣的事情。谢谢你写这篇文章!

    托德·辛克
  2. 谢谢你写的这篇精彩而感激的文章!

    莫因·艾哈迈德
  3. 多么美丽的颂词啊!很遗憾你失去了亲人。

  4. 斯蒂芬-和马文讨论思考的话题很精彩

    道格·瑞肯-马文的长期同事
  5. 阅读的乐趣。虽然我没有机会见到他,但马文似乎和你一样对人很感兴趣。有趣的是,像神经网络这样的想法几乎可以被扔掉,然后又咆哮回来……我想知道,现在有哪些想法正在逐渐消失,最终将成为未来的关键想法。

    丹尼尔Bigham
  6. 很高兴能读到你和马文相处了很长时间的经历。我从未见过他本人,尽管十多年来,我曾试图在互联网上阅读和听他谈论各种各样的事情,从人工智能、数学到音乐。他死了,真是一个巨大的损失。也许将来他会通过人体冷冻术回来做更多不可思议的事情。

    再见,马文。

    维杰
  7. 做得很好。这是明斯基教授。

    南希
  8. 很好的致敬!

    安迪
  9. 一个传奇的冠军对抗无聊的军队。在冷漠的天空中一颗流星。

    他从未见过的学生
  10. 我同意学习代码。我记得有一本书,里面有完整的代码,我会把它们输入电脑。然后我将运行它,看看它是否有效。如果没有,那么我会检查代码,以确保没有错误。当它起作用时,我就会做一些调整和改变,以理解它们的作用。然后我就可以制作我自己的简单程序了。几年后,我看了一些编程方面的书,然后就放弃了。他们让编程变得非常枯燥。

    查尔斯·佩登
Baidu