布鲁姆|图灵奖得主的大神之家：一家三口都是MIT博士，还联合发了一篇AI论文中薪|高薪|ai|图灵奖|大神|一家

编者按：本文来自微信公众号“新智元”（ID:AI_era），作者：新智元，36氪经授权发布。
【导读】一家三口都是MIT博士是一种怎样的体验？最近，图灵奖得主曼纽尔 · 布鲁姆（Manuel Blum）和他的妻子莱诺尔 · 布鲁姆（Lenore Blum）、他的儿子阿夫里姆 · 布鲁姆联合发表了一篇论文，展示了他们对于有意识的AI的研究成果。
优秀是不是真的会遗传？
就在最近，著名计算机科学家布鲁姆夫妇——曼纽尔 · 布鲁姆（Manuel Blum）和莱诺尔 · 布鲁姆（Lenore Blum）发表了一项新的研究，为实现机器意识的绘制了一个新的蓝图。

文章插图
夫妇二人一生致力于计算机科学的研究，尤其关注机器意识。在卡内基梅隆大学任教的数十年里，他们还发表了数十篇相关的论文。
这篇题为「A Theoretical Computer Science Perspective on Consciousness」的论文，只是一篇预印版的论文，但仍然在理论计算机科学领域拥有拥有重要的意义。
更重要的是，这篇论文的第三作者，正是他们的儿子阿夫里姆 · 布鲁姆（Avrim Blum）。

文章插图
布鲁姆一家
一家三口均是MIT博士，老爸还拿过图灵奖不仅是在学术论文上过招，这三位布鲁姆都在MIT获得了博士学位。
两位年长的布鲁姆还在卡内基梅隆大学计算机科学系度过了65年的美好时光。
小儿子阿夫里姆 · 布鲁姆还芝加哥大学的计算机科学研究机构获得了博士学位，主要研究领域为机器学习、算法、人工智能(机器人学、自然语言、语音和视觉)、数据科学和计算生物学。
父亲曼纽尔·布鲁姆，于1995年因其计算复杂性理论杰出贡献和密码学和编程校验上的应用而获得图灵奖。
在学习电子工程的时候，他通过在神经生理学实验室工作来追求理解思维和大脑的愿望，然后他专注于数理逻辑和可计算性理论，因为这给了他对大脑和思维的洞察力。
他在人工智能先驱马文 · 明斯基的指导下完成了他的博士研究工作，并于1964年获得麻省理工学院数学博士学位。

文章插图
他在加州大学伯克利分校担任计算机科学教授直到2001年。
从2001年到2018年，他是卡内基梅隆大学计算机科学的教授，2002年被选入美国国家科学院。
在60年代，他发展了一个公理化的复杂性理论，独立于具体的机器模型。这个理论是基于哥德尔数值和布鲁姆公理。
尽管这个理论并不是基于任何机器模型，但它产生了具体的结果，如压缩定理、间隙定理、诚实定理和布鲁姆加速定理等。

文章插图
母亲莱诺尔 · 布鲁姆也是美国计算机科学家和数学家，曾经也是卡内基梅隆大学计算机科学的杰出教授。
她因为对实数计算理论的贡献、发明密码学安全伪随机数生成器、努力增加数学和计算机科学的多样性而闻名。
除了科研之外，她还致力于为女性的平等教育发声。
在CMU时，她认为主修计算机科学的女性人数较少部分是由于一种恶性循环造成的。
因为女性很少，计算机科学领域的女性比男性拥有更少的支持网络，使得成为一名计算机科学家对女性来说更加困难，因此选择计算机科学专业的女性较少。
为了支持这一目标，她在卡内基梅隆大学创立了Women@scs 项目，为计算机科学领域的女性提供指导和推广机会。
通过这个项目，卡内基梅隆大学将计算机科学本科生中的女性比例提高到了近50% 。
最近的这篇论文也是他们一家三口第一次联合发表论文。
或许我们身边都见过很多家族企业，但理论计算机科学家族并不多见。
图灵机-CTM更上一层楼：让AI也拥有意识这篇论文的主要贡献在于有意识图灵机(CTM)的精确形式定义，也被称为有意识的人工智能。
论文开头写道：
我们的主要贡献在于有意识图灵机(CTM：Conscious Turing Machine)的精确形式定义，也被称为 Conscious AI。
我们对 CTM 的定义来源于阿兰图灵对于计算机的简单的定义：图灵机(TM)。我们不是在寻找大脑或认知的复杂模型，而是在寻找意识的简单模型。

文章插图
在这种情况下，CTM 看起来就是任何能够证明意识的机器。
这个想法不一定能够开发一个会思考的机器人，而更多的是展示意识的核心概念，希望能更好地理解我们自己。