“Sometimes it is the people who no one imagines anything of who do the things that no one can imagine.” ―
在谈到人类智慧与机器智能的交汇时,我们无法绕过一个闪耀的名字——艾伦·图灵。他是数学家、逻辑学家、密码学家,人工智能先驱。从提出划时代的图灵机和图灵测试,到二战时期破解 Enigma,图灵的工作不仅推动了计算机科学的发展,他的思想和创新在当今的科技世界中依然熠熠生辉。70 年前的今天,他离开了这个世界,70 年后的今天,我们缅怀他。
天才科学家的辉煌与遗憾
艾伦·图灵(Alan Turing),1912 年 6 月 23 日出生在英国伦敦的一个富裕家庭。他的母亲希望他走经典教育的道路,但图灵却对数学和科学情有独钟。在中学时,图灵已经显示出卓越的数学才能,特别是在解决复杂问题和逻辑推理方面。
1931 年,他进入剑桥大学国王学院学习。在那里,他的数学天赋得到了充分的展示和发展。1934 年,他以优异成绩获得学士学位,并开始从事更深入的研究。
剑桥大学国王学院,图灵于1931年成为本科生,并在1935年成为研究员。那里的计算机房以他的名字命名。
1936 年,图灵向伦敦权威数学杂志投稿了一篇论文《论可计算数》,在这篇论文中,他提出了图灵机的概念,奠定了现代计算理论的基础。1936 年至 1938 年,图灵在美国普林斯顿大学跟随著名数学家阿隆佐·丘奇学习,并获得了博士学位。在普林斯顿期间,他继续研究数学逻辑和密码学,为后来的工作打下了坚实的基础。1939 年,第二次世界大战开始,在白金汉郡布莱切利庄园的战时密码分析总部,图灵开始了高度保密的工作——破解德国的 Enigma。他在这里发挥了关键作用,特别是在设计和改进用于破解德国 Enigma 的机器(如 Bombe)。图灵的工作极大地加速了密码的破译过程,为盟军获得关键情报并最终赢得战争做出了重大贡献。
他热爱长跑,这是他释放工作压力的最主要方式。他的马拉松最好成绩是 2 小时 46 分 03 秒(手动计时),只比 1948 年伦敦奥运会男子马拉松冠军 Delfo Cabrera 慢了 11 分钟。他将爱好发挥到了极致!
他的人生故事是闪耀的但并非总是光明的,他因同性恋倾向而遭到当时的英国政府迫害,职业生涯尽毁,1954 年 6 月 7 日去世,被发现时身边有一个吃了一半的苹果,普遍推测是食用浸过氰化物溶液的苹果而去世。但也有观点认为他是在进行化学实验时不慎中毒。图灵的神秘去世,至今仍给人留下无尽的猜想和悬念,成为了他传奇一生不可磨灭的一部分。 著名数学家、 逻辑学家戴维斯(Martin Davis)亲自在霍奇斯的《艾伦·图灵传: 如谜的解谜者》中写过一段评论,最后一句是:“对图灵的指控是悲剧,他应该被当作民族英雄。” 2009 年,他终得平反。英国前首相戈登·布朗代表英国政府为图灵当年受到的不公正待遇公开致歉,2013 年他获得了英国皇家特赦。为了纪念他的伟大贡献,ACM 还设立了图灵奖,专门奖励对计算机事业作出重要贡献的个人,被誉为计算机界的诺贝尔奖。
上帝的语言该改成图灵机了
费曼说微积分是上帝的语言。如果我们把第一次工业革命归因于机械和能量,贴上牛顿的标签,而把当下正在经历的第四次工业革命归因于信息和计算,那么,上帝的语言该改成图灵机了。至少,英国 50 英镑钞票的头像刚刚从瓦特(Watt)换成图灵。 图灵最重要的贡献无疑是他 1936 年的那篇文章《论可计算数》(On Computable Numbers, with an Application to the Entscheidungsproblem), 其中他定义了一种机械装置,后来被他的导师丘奇称为“图灵机”。冯诺依曼说这不仅奠定了计算的理论基础,也为现代计算机的工程实现指明了方向,哥德尔也认为图灵机比他自己的递归函数更令人信服。
在这篇论文中,图灵提出了图灵机的概念,将计算过程抽象成一系列简单的操作步骤,可以通过读取和写入纸带上的符号来完成。这种思想虽然简单,却极为强大,奠定了计算理论的基础,使得我们能够理解和设计更复杂的计算系统。 图灵证明了某些数学问题是不可解的,即没有算法能够在有限时间内解决所有输入的情况下得出确定的答案。图灵机的提出不仅解决了希尔伯特的决断问题,表明了数学中存在不可计算的问题,还为现代计算机的设计提供了理论基础。图灵机的概念被广泛用于编程语言、算法设计和复杂性理论等领域。
人工智能的起源:机器能思考吗?
图灵 1950 年在哲学杂志《心》上发表的文章《计算机与智能》(Computing Machinery and Intelligence)中把“机器能思考吗”的问题转换为一种模仿游戏——后世称为“图灵测试”,这也是人工智能的起源。
图灵– 1950,《计算机与智能》发表在《心》上
在这个游戏中,一个人(我们叫他 A),一个机器(我们叫它 B),还有一个提问者(我们叫他 C)。 C 的任务是通过文字交流来判断 A 和 B 中谁是人,谁是机器。如果 C 无法区分,或者错误地将机器判断为人,那么这台机器就被认为通过了图灵测试,展现出了与人类相似的智能。 想象一下,你在网上聊天,但看不到对方。如果你发现对方回复得很机智,有逻辑,有情感,你会不会怀疑对方其实是个人?但如果对方真的是一台机器,而你完全没察觉到,那这台机器就厉害了!是不是很像现在的 ChatGPT 呢? 作为市场上最好用的 AI 聊天机器人之一,OpenAI 的 ChatGPT 经常会被怀疑是否能通过图灵测试。答案是肯定的,GPT-4 通过图灵测试了!UCSD 研究团队通过实证研究,人类无法将 GPT-4 与人类进行区分。而且,有 54% 的情况下,它被判定为人类。 正因为图灵机的奠基性工作,才有了今天我们所见证的人工智能的飞跃发展。从最初的理论构想,到今天高度发达的 AI 应用,图灵的思想为无数科学家和工程师指明了方向。 图灵测试不仅仅是衡量机器智能的标准,更是一座桥梁,连接了人类与智能机器之间的鸿沟。如今,图灵的遗产在 GPT-4 这样的先进 AI 中得到了生动体现,证明了他的远见卓识和不朽贡献。 大模型时代,图灵影响力依旧
艾伦·图灵的工作为现代计算理论奠定了基础,尤其是通过图灵机这一概念,不仅帮助我们理解计算的本质,还为自然语言处理和机器学习等复杂过程铺平了道路。此外,图灵测试作为评判 AI 智能的重要标准,激励着人工智能研究的发展,推动我们追求更高级、更自然的机器智能。图灵的计算理论直接影响了从简单算法到复杂大规模 AI 模型的发展,使得今天的深度学习和神经网络成为可能。 现代大模型能够处理多种数据类型,广泛应用于翻译、对话系统、文本生成等领域,这些应用的实现离不开图灵奠定的计算基础。图灵的贡献不仅揭示了计算的本质,还为实际应用提供了坚实的理论支持,他的工作开启了计算机科学的新时代,并引领我们进入了人工智能的辉煌时代。 不仅限于技术层面,图灵的个人遭遇也引起了对性取向和隐私权的广泛讨论,推动了社会对 LGBTQ+ 群体权利的认同和尊重。他的故事成为了争取平等权利和反对歧视的象征。在艺术领域,图灵的形象和故事在电影、书籍、艺术作品和博物馆展览中广泛传播,成为流行文化的一部分。 他的传奇不仅仅是科学和技术的丰碑,更是人类精神和社会进步的象征。在纪念图灵逝世 70 周年之际,我们不仅缅怀他的科学贡献,更铭记他为平等和尊严所作的斗争。
《理解图灵》重磅上市 70 年后的今天,我们缅怀图灵,用一本书向他致敬,不仅是为了纪念他的过去,更是为了启迪我们的未来。《理解图灵》从多角度剖析图灵的一生与学术成就,带你深入图灵的思想世界,领略智能的本质。 这本书由中华优秀出版物图书奖得主、吴文俊奖获得者、央视“2017 年度中国好书”作者张晓东(尼克)创作,是当代最好的一本全方位深入了解图灵的佳作。也是普通人认识图灵的最好的一部作品。
《理解图灵》 尼克|著
图灵 1936 年的文章《论可计算数》奠定了计算机科学的基础;而其 1950 年的文章《计算机与智能》则开启了人工智能,此文开头提到的“模仿游戏”后来被称为“图灵测试”。本书以注释形式对《计算机与智能》进行了细致解读。 书中首先追溯图灵的生平和思想轨迹,特别是他对智能与机器关系的早期洞察,以及他在计算理论方面的重大贡献——提出图灵机;接着通过分析图灵与同时代其他思想家的交流与辩论,如与哲学家维特根斯坦的深入对话,以及在 BBC 广播讨论中与神经生理学家杰弗逊的激烈交锋,逐步揭示了图灵对于机器智能的独到见解及其思想的演进过程。 本书力图使读者在充分理解背景知识的基础上,更加深刻地领会图灵文章的内涵,也使得对图灵思想的探讨更加全面和深入。还附赠人物关系图和经典论文原文:人物关系图助你轻松厘清人物关系。
作者简介 尼克,曾任职于哈佛和惠普,后创业投资。无论忙闲,不忘读书写字,作品多发表于《上海书评》《数学文化》和《中国计算机学会通讯》,并有著作《人工智能简史》《UNIX SYSTEM V内核剖析》和《哲学评书》。其中《人工智能简史》获得第七届中华优秀出版物图书奖、第八届吴文俊人工智能科技进步奖,入围央视“2017年度中国好书”,获选第十三届“文津图书奖”推荐图书。
来源:图灵编辑部(公众号)
编辑:刘诗扬
|