第一章
艾伦·图灵 —— AI世界的“创世者”
一个"问题学生"的故事
1912年6月23日 艾伦·图灵出生于英国伦敦 1926年 14岁的图灵骑自行车65英里去上学 1931-1936年 在剑桥大学研究逻辑学 1936年 发表里程碑论文,提出"图灵机"概念 1938年 获得普林斯顿大学博士学位 1939-1945年 在布莱切利公园破解Enigma(恩尼格玛,意指难解之谜或无法破解)密码 1950年 发表《计算机械与智能》,提出"图灵测试" 1952年 因同性恋倾向被定罪 1954年6月7日 在曼彻斯特去世,年仅41岁
📋 艾伦·图灵 (Alan Mathison Turing)
出生 1912年6月23日,伦敦 逝世 1954年6月7日,曼彻斯特 国籍 英国 领域 数学、逻辑学、密码学、计算机科学 "有时候,只有那些没人看好的人,才能做到没人能做到的事。" **来源:**图灵的生平信息来源于维基百科(Alan Turing词条)、图灵传记《艾伦·图灵传:如谜的解谜者》(安德鲁·霍奇斯著)、以及布莱切利公园博物馆官方资料。
童年:一个问题学生
1912年6月23日,艾伦·图灵出生在英国伦敦。他的父亲是英国公务员,母亲是家务管理者。
🚴 一个14岁孩子的65英里骑行
1926年,14岁的图灵第一次去上寄宿学校——谢伯恩学校(Sherborne School)。开学第一天,整个英国正处于1926年大罢工的高峰期。火车都停了。 换做大多数孩子,可能会等几天,等交通恢复正常。但图灵没有。 他骑上了自行车,独自骑行65英里(约104公里),从南安普顿一路骑到了学校。 65英里是什么概念?相当于从北京骑行到天津还要多。而且是连续骑一整天。 这个故事后来被图灵的传记作家反复提及。它展示了图灵性格中的一个核心特质:面对困难,他不是等待,而是行动。 **关于骑行故事的来源:**这个故事来自图灵的传记《艾伦·图灵传:如谜的解谜者》(Andrew Hodges著)。这是关于图灵最权威的传记之一,作者是牛津大学的数学家。
👦 被孤立的"书呆子"
在学校里,图灵的日子并不好过。他说话带有轻微的口吃,姿态有些笨拙,对体育和社交活动毫无兴趣。同学们给他起了各种绰号——"呆子""怪人""书呆子"。 十二三岁时,图灵因为比同龄人更擅长数学,经常被欺负。有一次,几个高年级学生把他按在地上,往他嘴里塞粉笔灰。类似这样的事,发生过很多次。 图灵没有向老师告状,也没有向父母抱怨。他只是默默地承受,然后继续做自己的事。 多年后,当图灵在二战中破解Enigma、为盟军胜利做出决定性贡献时,那些曾经嘲笑他的同学们,大概永远不会知道。
🕯️ 克里斯托弗·莫科姆:生命中的第一束光
1927年,15岁的图灵在谢伯恩学校遇见了克里斯托弗·莫科姆——一个彻底改变了他人生的同学。 莫科姆比图灵高一个年级,是学校里的风云人物:成绩优异、性格开朗、擅长体育,尤其是跑步和田径。更重要的是,他同样对科学和数学痴迷不已。 两人很快成为了形影不离的好朋友。他们一起讨论最新的科学发现,一起研究相对论,一起跑步。莫科姆是第一个真正理解图灵的人——不是同情,不是怜悯,而是真正的理解和欣赏。 图灵在一封信中写道:莫科姆是我遇到的最聪明人之一,他总是能用最简单的方式理解最复杂的问题。
"和他在一起时,我觉得自己不再是一个孤独的怪人。" —— 艾伦·图灵,回忆莫科姆
💀 失去莫科姆:生命的转折点
然而,命运是残酷的。 1930年2月13日,莫科姆因感染牛结核菌病(当时英国牧场普遍存在这种疾病)而去世,年仅18岁。 图灵当时只有17岁。 莫科姆的离世对图灵打击极大。他几乎一夜之间失去了最好的朋友、最理解他的人。葬礼那天,图灵没有哭——他不知道该如何表达自己的悲伤。但他开始更加拼命地投入数学和科学研究,仿佛要替莫科姆活完他没能活的那部分人生。 有一段时间,图灵几乎每天写信给莫科姆的母亲,向她讲述自己的学习和生活。这些信件后来成为了解图灵内心世界的重要资料。 在信中,图灵写道:"我相信莫科姆不会希望我只是悲伤地想念他。他一定会希望我做些有意义的事。" 很多历史学家认为,莫科姆的死是图灵人生的转折点——它让图灵更加坚定了献身科学的决心,也让他开始认真思考生命的意义和永恒。 图灵终身未娶。这段短暂而深刻的友谊,或许是一个重要原因。 关于克里斯托弗·莫科姆:莫科姆的故事来自图灵的私人信件和校友回忆。这一经历对图灵的影响被多位传记作家详细记录,包括安德鲁·霍奇斯的《艾伦·图灵传:如谜的解谜者》。莫科姆的母亲后来与图灵保持了长期通信联系。 但在学校里,图灵并不是一个"好学生"。至少,按照老师的标准,他不是。 他的特点是: • 对数学和科学痴迷不已 • 对拉丁文、英文等"文科"毫无兴趣 • 经常独立思考,发明自己的方法解决问题 • 不太在意学校的规则和传统 用今天的话说,他是一个典型的"问题学生"——或者说,是一个"非典型天才"。
谢尔比高中的"鸡和蛋"问题
有一件著名的轶事可以说明图灵的思维方式。
🐔 图灵的"鸡和蛋"问题
在谢尔比高中,图灵要参加一个化学考试。其中有一道题是关于"化学平衡"的。 图灵的答案让老师很困惑——他的解法不是课本上的标准方法,而是自己推导出来的。 更让人惊讶的是,他的答案是对的。而且他的方法比课本上的更简洁。 老师问他:"你是从哪里学来的?"图灵说:"我自己想的。" 老师无法理解:一个14岁的孩子,怎么可能自己想出大学水平的化学方法? 这个故事告诉我们:图灵很早就习惯于独立思考,不盲从权威,也不被教科书限制。
剑桥大学:发现自己的"天才领域"
1931年,19岁的图灵考入剑桥大学国王学院,学习数学。 在这里,他终于找到了自己的"天才领域"。 大学期间,他展现出了非凡的数学天赋。他的研究成果很快就引起了教授们的注意。1935年,23岁的图灵被选为剑桥大学国王学院的院士(Fellow)——这是极高的荣誉,通常只授予资深的学者。
🎓 什么是"院士"(Fellow)?
在英国大学体系中,"院士"是一种学术荣誉称号。获得这个头衔意味着: • 你的学术能力得到了同行的认可 • 你有权在大学里从事研究工作 • 你通常拥有一定的生活补贴和住房待遇 • 你可以指导学生和参与学术决策 23岁获得院士头衔,在当时是非常罕见的。这说明图灵的数学天赋已经被剑桥最顶尖的数学家们认可。
图灵机:一切的起点
1936年,24岁的图灵发表了一篇论文,题目是《论可计算数及其在判定问题上的应用》。 这篇论文的标题听起来非常拗口——但它的内容,彻底改变了人类对"计算"的理解。
"我们不需要一个'计算机'来计算。我们需要的,是一套明确的规则。" —— 艾伦·图灵,1936年 在这篇论文中,图灵提出了一个革命性的概念:图灵机。
🧠 什么是图灵机?
想象你有一台机器,它包含: • 一条无限长的纸带(上面可以写符号) • 一个读写头(可以读取和写入符号) • 一套规则(告诉机器在什么情况下做什么) 这台机器能做什么? 理论上,它能计算任何可以被计算的数学问题。 这就是著名的"丘奇-图灵论题"(Church-Turing Thesis)————任何有效的计算方法,都可以被图灵机模拟。 **关于图灵机的来源:**图灵的原始论文《On Computable Numbers, with an Application to the Entscheidungsproblem》发表于1936年《伦敦数学学会学报》。这篇论文被认为是计算机科学史上最重要的论文之一。 图灵机听起来像是一个抽象的数学概念。但在80多年后的今天,你每天使用的电脑、手机、平板——它们的底层逻辑,都源自图灵机的设计。 换句话说:没有图灵机,就没有现代计算机。
二战与Enigma:沉默的英雄
1939年9月,二战爆发。 纳粹德国使用了一种叫做Enigma的加密机器来传递军事信息。这种机器可以将每一条消息加密成看似随机的字符。理论上,德国的敌人不可能破解这些加密信息。 但"理论上"和"实际上"是两回事。
🔐 Enigma密码机的工作原理
Enigma机器看起来像一台打字机。当操作员按下一个键时,电流会通过一系列旋转的转子,最终点亮另一个键——那个键就是加密后的字符。 关键是:每次按键后,转子都会旋转。这意味着同一个字母,每次加密的结果都不一样! 比如输入"A",第一次可能变成"K",第二次可能变成"R",第三次可能变成"F"…… 如果没有正确的"密钥设置"(转子顺序、起始位置、接线板配置),几乎不可能破解。 英国政府在布莱切利公园(Bletchley Park)建立了一个秘密基地,召集了英国最优秀的数学家、语言学家和 纵横字谜(crossword)高手,试图破解Enigma。 25岁的图灵,就是其中之一。
💻 图灵的"Bombe"机器
图灵想到了一种方法:利用Enigma的某些"弱点"——比如它永远不会把一个字母加密成它自己——来设计一种机器,自动搜索可能的密钥。 这台机器叫做**"Bombe"(炸弹机)。它不是电子计算机,而是一种机电混合设备——利用齿轮旋转和继电器开关来模拟Enigma的加密过程。 Bombe每天可以测试数以百万计的密钥组合。如果没有它,英国的密码分析员可能需要几百年才能找到正确的设置。 历史学家估计,Bombe的发明将战争缩短了至少2年,拯救了至少1400万人的生命**。 **关于Bombe和战争贡献的来源:**这些数据来自布莱切利公园博物馆官方资料、英国国家档案馆解密文件、以及多位历史学家的研究。具体的伤亡数字在不同来源中有所差异,但"缩短战争2年"和"拯救数百万生命"是广泛认可的估计。 但图灵的工作是保密的。在战争期间和战后的很多年里,他的贡献完全不为公众所知。
图灵测试:机器能不能思考?
1950年,38岁的图灵在哲学期刊《Mind》上发表了一篇论文,题目是《计算机械与智能》。 在这篇论文中,他提出了一个著名的问题:
"机器能思考吗?" 图灵没有直接回答这个问题——因为在他看来,"思考"本身就是一个模糊的概念。他提出了一个更可操作的方法: 如果一台机器能够在对话中让人类无法分辨它是机器还是人,那么我们就可以说————这台机器是"会思考的"。 这就是著名的**"图灵测试"**。
🧪 图灵测试是怎么进行的?
想象这样一个场景: • 一个审讯者(人)坐在电脑前,与两个"对话者"交流 • 一个是真正的人类,另一个是AI • 审讯者不知道哪个是哪个 • 如果审讯者在多次对话后,仍然无法区分哪个是AI,那么AI就通过了图灵测试 图灵预测:到2000年,一个普通人只有不到70%的概率在5分钟的对话后猜对哪个是机器。 有意思的是,2024年的今天,GPT-4、Claude等AI已经非常接近这个目标了。 **关于图灵测试的来源:**原始论文"Computing Machinery and Intelligence"发表于1950年《Mind》杂志第59卷第236期。这篇论文可以在网上免费找到原文。
📜 1950年发表的这篇论文,意味着什么?
1950年,当图灵的这篇论文发表时,世界的反应是复杂的——有人惊讶,有人嘲笑,有人担忧,也有人被深深吸引。 当时读这篇论文是什么感觉? 想象一下:你是1950年代的一位年轻数学家,在《Mind》杂志上偶然读到这篇文章。标题《计算机械与智能》看起来像是一篇普通的学术论文,但内容让你的心跳加速。 图灵没有使用复杂的数学公式,而是用一种平易近人的语言描述了一个思想实验:如果一台机器能够在对话中隐藏自己的机器身份,那么我们有什么理由说它不是"会思考的"?这个问题在今天看来仍然令人困扰,在当时更是惊世骇俗。 更让人惊讶的是论文的结尾。图灵预测,到2000年,一个普通人只有不到70%的概率在5分钟对话后正确识别出机器。这个预测在2024年的今天看来——以ChatGPT和Claude的能力——已经并非遥不可及。
🗞️ 当时的反应:褒贬不一
1950年论文发表后,相传《Mind》杂志收到了大量读者来信,大部分读者对图灵的观点表示怀疑或嘲笑。 《计算机世界》(Computing World)杂志评论说:"图灵博士的想法虽然有趣,但过于乐观。机器不可能真正'理解',它们只是在模拟理解。" 但也有少数科学家被深深吸引。约翰·麦卡锡——当时还是一位研究生——后来回忆说,他读到这篇论文时"仿佛看到了一扇通往新世界的大门"。正是这篇论文,启发他在6年后提出了"人工智能"的概念。 还有读者担忧:这是否意味着机器最终会"取代"人类?这种担忧在当时属于少数声音,但在70年后的今天,它已经成为大众话题。 为什么说它"领先于时代"? 图灵在1950年提出的问题,至今仍然没有标准答案: • 什么是"智能"?能够通过图灵测试的系统是否就拥有智能? • 如果AI看起来像在"思考",它是在真正思考还是在模拟思考? • 意识的本质是什么?硅基系统是否可能拥有意识? 这些问题在1950年是纯粹的理论探讨,今天它们已经成为AI安全研究的核心议题。当GPT-4、Claude等系统越来越接近通过图灵测试时,我们不得不认真面对图灵在74年前提出的问题。
"我提议考虑'机器能思考吗'这个问题。" —— 艾伦·图灵,《计算机械与智能》,1950年 这就是那句改变了世界的开头。
普林斯顿岁月:与冯·诺依曼的交集
1936年9月,24岁的图灵踏上了前往美国的旅程。他获得了普林斯顿大学的奖学金————去那里继续深造。
🎓 普林斯顿的抉择
图灵原本可以去德国投奔著名的数学家埃尔温·鲁道夫·尤利乌斯·谢勒·普朗夫(就是普朗克的儿子),但由于当时的政治环境——纳粹势力正在德国抬头——图灵选择了美国。 这个选择,或许无意间改变了他的命运。 在普林斯顿,图灵遇到了另一位改变20世纪数学史的伟大人物——约翰·冯·诺依曼。
🧠 冯·诺依曼与图灵
冯·诺依曼当时已经是普林斯顿的传奇人物。他是计算机架构的奠基人,被称为"计算机之父"之一。他的聪明才智让几乎所有人都相形见绌。 但图灵不一样。 据冯·诺依曼的助手赫尔曼·戈尔斯坦回忆,冯·诺依曼对图灵的论文《论可计算数》非常感兴趣。他不仅仔细阅读了这篇论文,还特意邀请图灵做他的助理——这在普林斯顿是极高的荣誉。 冯·诺依曼曾问图灵是否愿意留下来继续攻读博士后,并承诺给予优厚的研究条件。但图灵婉拒了——他想回到英国。 这个拒绝让冯·诺依曼感到意外,也让他对图灵更加另眼相看。一个能对顶级机会说不的人,必然有自己坚定的信念。 但冯·诺依曼对图灵的欣赏并不只是单向的。据图灵在普林斯顿的同学回忆,图灵非常佩服冯·诺依曼解决问题的能力——尤其是那种能够瞬间抓住问题本质的直觉。 图灵曾在私下说:"冯·诺依曼的大脑就像一台精密的机器,每一个齿轮都恰到好处地运转。但我想知道,他的齿轮和我的有什么不同。" 两人的交流虽然是学术性的,但其中蕴含着微妙的竞争与欣赏。冯·诺依曼后来设计的计算机体系结构(即著名的"冯·诺依曼架构"),与图灵的图灵机理论有着深刻的联系。 历史学家猜测,如果图灵留在普林斯顿,他们或许会一起合作设计出世界上第一台真正的电子计算机——而不是在各自的国家分别研究。但图灵选择了回到英国,这也让他错过了与冯·诺依曼更紧密合作的机会。
🏛️ 普林斯顿大学时期的图灵
在普林斯顿的两年(1936-1938)里,图灵: • 完成了数学博士学位的必修课程 • 发明了"序贯概率比检验"(Sequential Probability Ratio Test)——这是现代统计学中重要的方法 • 与冯·诺依曼、爱因斯坦等人保持了学术交流 • 每周参加数学系的研讨会 这段经历让图灵接触到了世界上最前沿的数学和逻辑学思想,为他后来的计算机研究奠定了基础。 **关于冯·诺依曼与图灵的交集:**据《冯·诺依曼档案》记载,冯·诺依曼确实对图灵的研究非常感兴趣。冯·诺依曼在其著作《计算机与人脑》中也多次引用了图灵的成果。这一学术交集被多位科学史学家所记录。
马拉松跑者:那个奔跑的数学家
如果告诉你,一位改变了人类计算历史的伟大数学家,同时还是一位差点代表英国参加奥运会的马拉松运动员——你会相信吗? 这是真的。
🏃 图灵的跑步生涯
在剑桥和普林斯顿期间,图灵养成了长跑的习惯。他跑步不是为了健身,而是因为——思考。 据他的朋友和同事回忆,图灵经常一边跑步一边思考数学问题。对他来说,跑步是思考的一部分,是他整理思绪的方式。 图灵的跑步成绩非常好。1946年,在圣詹姆斯公园举行的一场马拉松比赛中,他跑出了2小时46分钟的成绩——这比同年奥运会马拉松的冠军成绩只慢了11分钟。 英国田径协会注意到了他的潜力,邀请他参加奥运选拔赛。但图灵最终因为腿部受伤退出了选拔,否则他可能会出现在1948年伦敦奥运会的赛场上。
🏅 跑步比赛与伤痛
图灵参加的比赛不只是马拉松。1947年,他参加了在伦敦举行的英国业余田径联盟锦标赛,获得了第五名。同年在曼切斯特召开的一次比赛中,他赢得了5000米赛的冠军。 然而,常年的高强度训练和比赛让图灵的腿部积累了严重的伤病。他的左脚踝曾经多次扭伤,右膝的软组织也出现了问题。1948年奥运会前几周,他在一次训练中拉伤了小腿肌肉,被迫退出选拔。 如果命运稍有不同——如果他的腿没有受伤——图灵或许真的会出现在1948年伦敦奥运会的跑道上。 但历史无法假设。战争与密码的召唤,最终让他离开了跑道。
"我之所以跑步,是因为思考和跑步是一体的。脚下的节奏帮助我整理大脑中的思绪。" —— 艾伦·图灵(据同时代人回忆)
🤝 与跑步伙伴的友谊
图灵有一个亲密的跑步伙伴——他的剑桥校友大卫·钱珀诺。 钱珀诺是英国数学家,后来成为著名的数学家和计算机科学家。他们经常一起在剑桥的乡间小路上长跑,一边跑一边讨论数学问题。 有一次,他们跑到了一个偏远的村庄。图灵突然停下来,指着远处的山丘说:"你看,如果我们把这座山丘抽象成一个数学模型,它的曲线可以用微分方程来描述……" 钱珀诺回忆说:"和图灵一起跑步很有趣,因为你永远不知道他会从哪里开始聊数学。他看到的世界,和我们不一样。" 跑步不仅塑造了图灵的体魄,也锻炼了他的意志力。在布莱切利公园破解Enigma的日子里,高强度的工作需要充沛的精力——跑步帮助他保持最佳状态。 有历史学家认为,图灵之所以能够在密码分析这样的高压工作中保持创造力,很大程度上得益于他的跑步习惯。这种将身体锻炼与脑力工作结合的方式,至今仍被许多杰出科学家所推崇。 **关于图灵跑步的来源:**图灵的马拉松成绩记录在英国田径协会的档案中。他的跑步习惯也被多部传记所记录,包括安德鲁·霍奇斯的《艾伦·图灵传:如谜的解谜者》和《图灵传:秘密图书馆》作者亚历山大·海恩斯的记载。
曼彻斯特岁月:计算机的黎明
1948年,36岁的图灵回到英国,加入了曼彻斯特大学。这里正在建造世界上第一台真正的电子计算机——"曼彻斯特Baby"(Manchester Baby),后来成为Ferranti Mark 1。
🖥️ 曼彻斯特Baby
1948年6月21日,曼彻斯特Baby成功运行了第一个程序。它使用了600个真空管,存储容量只有32个字(每个字31位)。今天一部普通手机的计算能力,都是这台机器的数十亿倍。 但在当时,这台机器意味着:人类第一次拥有了能够执行任意计算的通用机器。 图灵被任命为曼彻斯特Baby的编程组负责人。他的任务是:为这台机器开发软件和算法。
💡 图灵在曼彻斯特的贡献
在曼彻斯特的岁月(1948-1954)是图灵科学生涯的最后阶段,但也是最关键的阶段之一。在这段时间里,他: • 参与编写了曼彻斯特Baby的第一本用户手册 • 提出了"超计算"(hypercomputation)的概念——探讨图灵机在理论上无法解决的问题 • 撰写了关于形态形成的论文,涉及生物pattern如何从化学物质的自组织中产生——这启发了后来的复杂系统研究 • 研发了概率估计的"随机图灵机"概念 这些工作在当时都太超前了,很多要到几十年后才被重新认识和重视。
图灵的思考方式:像一个"机器"一样
🧩 图灵如何解决问题
图灵的思维方式非常独特。他的同事描述说,他经常盯着一个问题发呆,然后突然站起身,在纸上快速写下答案——就好像答案早就在他大脑里"计算"好了,只等最后输出。 有一次,剑桥的一位教授给图灵出了一道难题。图灵站起来,走到窗边,看着窗外的花园发了15分钟的呆,然后转过身,在黑板上写下了完整的解答——包括教授自己都不知道的一种更简洁的证明方法。 教授惊讶地问他:"你怎么这么快?"图灵回答说:"我只是把问题重新表述了。当问题的表述足够清晰时,答案几乎是显而易见的。"
📚 图灵的阅读习惯
图灵是个杂书爱好者。他不仅读数学和逻辑学的论文,还广泛涉猎各种书籍——包括科幻小说、哲学著作、甚至化学实验手册。 他尤其喜欢E.奈维尔的作品——《神秘宇宙》和《空间世界》。这些科幻小说激发了他对计算和机器智能的想象。 此外,图灵还研究过一个奇怪的领域:拓扑几何学中的"纽结理论"。他曾经发表过一篇关于"图灵猜想"的论文,直到1993年才被证明是正确的。 这些看似"不务正业"的兴趣,为他提供了跨学科的视野,让他能够从不同角度思考问题。
图灵的另一面:羞涩与孤独
💬 不擅言辞的天才
图灵在社交场合常常显得笨拙。他说话时常常低着头,声音很轻,语速很快。如果被追问,他宁愿沉默,也不愿继续解释自己已经说清楚的观点。 在剑桥的一次茶会上,图灵被介绍给一位年长的数学家。图灵紧张地站在那里,不知道该说什么。最后,他突然问了一句:"你觉得非欧几何在物理学中有什么用?"然后就陷入了尴尬的沉默。 这位数学家后来回忆说:"我当时觉得这个年轻人太奇怪了。但后来我意识到,他只是在用自己的方式和别人交流——只是这种方式不是每个人都懂。"
🧸 图灵的"铁丝机器人"
尽管图灵在社交上存在困难,但他对朋友非常忠诚。他曾经用铁丝和电机为朋友做了一个会自动行走的"机器动物"——这可能是他最早的个人项目。 他的朋友罗纳德·莱文回忆说:"图灵做的那个小机器人会绕着桌子走,碰到障碍物就会转向。我当时觉得这太神奇了。一个十几岁的孩子就能做出这种东西。" 图灵的母亲后来回忆说,她经常发现艾伦在她的厨房里"做实验"——用各种化学物质混合,看看会发生什么反应。有一次他差点把厨房炸了。
图灵的国际象棋程序:软件思想的诞生
1949年,37岁的图灵开始了一项在当时看来几乎不可能完成的任务,为计算机编写国际象棋程序。
♟️ 世界上第一个象棋程序
那时候的计算机还是用真空管制造的,体积庞大得占据整个房间,运算速度却慢得可怜。曼彻斯特Baby每秒只能执行几百次运算——这与今天任何一部手机相比,都差了数百万倍。 但图灵已经在思考一个更重要的问题:计算机能下棋吗? 他编写了一个叫做"图灵象棋程序"(Turing's Chess Program)的代码。由于当时没有任何计算机能够运行这个程序,图灵做了一个令人惊讶的决定——他亲自模拟计算机的执行过程,在纸上一张一张地跟踪计算。 这个模拟过程需要花费数十分钟才能完成一步棋的"思考"。图灵的朋友们戏称这个程序为"图灵的纸棋手"(Paper Chess Player)。
💡 软件与硬件:图灵的天才洞察
图灵象棋程序的重要性远不止于下棋。通过这个程序,图灵提出了一个革命性的萌芽概念:软件(Software)与硬件(Hardware)应当分离。 在图灵之前,人们普遍认为一台机器的功能是由它的物理结构决定的。如果你想让一台机器做不同的事,你需要重新设计机器的齿轮、继电器、甚至整个电路。 但图灵天才般地意识到:**同样的硬件,只要运行不同的程序,就能完成完全不同的任务。**这个简单的思想,是现代计算机科学的基石。 你可以把硬件想象成一台DVD播放器,把软件想象成光盘。同一台播放器,可以播放电影、播放音乐、播放游戏——取决于你放入哪张光盘。 今天,我们每天使用的手机和电脑,正是这一思想的产物。同一部iPhone,可以是电话、游戏机、计算器、相机、导航仪——只因为你安装了不同的应用程序(App)。这些App就是"软件",而iPhone的芯片和屏幕就是"硬件"。 如果没有图灵在1949年的洞察,我们可能至今还在为每一种任务专门制造不同的机器——就像缝纫机只能缝衣服,洗衣机只能洗衣服一样。 **关于图灵象棋程序:**图灵的象棋程序源码后来被复原,并于2012年在BBC节目中演示。节目组让一位业余棋手与"图灵的程序"对弈——在现代计算机上运行历史版本的程序。结果"图灵的程序"获胜。源码现保存于英国国家计算机博物馆。
"一台机器能下棋,这件事本身并不重要。重要的是,它证明了同样的机器可以完成任何被程序化处理的任务。" —— 艾伦·图灵,1949年
🤖 从象棋到人工智能
图灵的国际象棋程序不仅是世界上第一个象棋程序,它也是最早的人工智能尝试之一。下棋需要"思考"——评估局面、预测对手、做出决策。这些都是人类智能的特征。 通过让机器模拟下棋的思维过程,图灵实际上是在探索一个更深层的问题:机器能否"思考"?这个问题引导他一步步走向了1950年的图灵测试论文。 1997年,IBM的"深蓝"(Deep Blue)击败了世界象棋冠军加里·卡斯帕罗夫。这是人工智能史上里程碑式的事件。而深蓝的祖先,可以追溯到图灵1949年的那个"纸棋手"。 从图灵的纸象棋程序到深蓝,用了将近50年。而从深蓝到今天更强大的AlphaGo、GPT等AI系统,又是另一个50年。但所有这一切,都始于1949年那个在纸上一步一步模拟机器运算的数学家。
悲剧的结局
1952年,图灵的私人生活被曝光。他被指控犯有"严重猥亵罪"。图灵没有否认。他被给了两个选择: • 入狱 • 注射雌激素 图灵选择了后者。接下来的日子里,药物的副作用让图灵痛苦不堪。他的体力严重下降, 思维也变得迟钝。1954年6月7日,图灵被发现死在自己家中,年仅41岁。 官方结论是自杀。但他的母亲坚持认为,那只是一个意外——他可能在实验时不慎接触了氰化物。 无论如何,一颗伟大的头脑,就这样在41岁时黯然陨落。
"有时候,正是那些没人看好的人,才能做到没人能做到的事。" —— 电影《模仿游戏》(The Imitation Game),2014 这是2014年电影《模仿游戏》中的一句台词。虽然这不是图灵本人的原话,但它准确概括了图灵传奇而悲剧的一生。
图灵的遗产
1966年,美国计算机协会(ACM)设立了图灵奖——这是计算机科学领域的最高荣誉,相当于计算机科学的诺贝尔奖。 每年颁发的图灵奖,都会表彰那些对计算机科学做出重大贡献的研究者。 2019年,杰弗里·辛顿、杨立昆和约叔亚·本吉奥因为在深度学习方面的突破,共同获得了图灵奖——他们的工作,正是建立在前人(图灵、麦卡锡、明斯基等)打下的基础之上。 图灵虽然没能活着看到这一天,但他的思想,早已深入骨髓地影响了每一个现代计算机科学工作者。
💭 苏格拉底式反问
关于成功与失败: 图灵的生活以悲剧结束——被定罪、英年早逝。但他的贡献也很多,这让我们思考:一个人的价值,应该由什么来定义?是他最终的结局,还是他在逆境中的坚持? 关于技术的两面性: 图灵的Enigma破解技术加速了二战结束,拯救了无数生命。但同样的技术思维,也可以用来制造更强大的武器。技术的"好"与"坏",取决于使用它的人,还是技术本身? 关于图灵测试: 如果一个AI通过了图灵测试,我们是否应该认为它是"有智能的"?或者,它只是在"模仿"智能,而并非真正"拥有"智能?你怎么看待这个问题? 关于教育与天才: 图灵在中学时期被老师视为"问题学生",但他在数学领域展现了非凡天赋。这让我们思考:现行的教育体制是否能识别并培养天才?标准化考试是否正在扼杀像图灵这样独立思考者的创造力?如果你是图灵的老师,你会怎么做? 关于跨学科能力: 图灵既是数学家,又是密码破译员,还是跑者。他的故事说明,伟大的创新往往发生在学科交叉地带。AI的发展是否也需要跨学科的思维?你如何将不同领域的知识结合起来? 关于坚持与灵活性: 图灵65英里骑车上学的故事体现了他面对困难时的坚持。但他也能灵活变通——在破解Enigma时,他不被传统方法限制,发明了全新的机器。我们如何在坚持目标的同时,保持方法的灵活性? 关于孤独与创造力: 图灵在社交上存在困难,但他的孤独也让他能够深入思考。如果你也是一个喜欢独处的人,你会如何将这种特质转化为创造性的优势? 关于技术的伦理: 图灵的密码破译加速了战争结束,但同样的技术也可能被用于更致命的武器。作为AI科学家,如何确保技术被用于善的目的? "我们只能看到前方很短的距离,但我们可以看到那里有许多需要完成的工作。" —— 艾伦·图灵,1951年BBC采访 “图灵测试本身并不等于通用人工智能(AGI),但它开启了长达七十余年的关于‘机器能否思考’的学术对话,至今仍在继续。” —— 作者:StarSeaGo
📚 知识回顾
本章知识点
✅ 图灵机:1936年提出的抽象计算模型,是现代计算机的理论基础 ✅ Enigma:纳粹德国使用的密码机,图灵设计的Bombe机器成功破解 ✅ 图灵测试:判断机器是否具有"智能"的方法,如果无法分辨是机器还是人,则通过测试 ✅ Bombe机器:图灵设计的密码分析设备,据估计将二战缩短了至少2年 ✅ 图灵奖:计算机科学最高荣誉,1966年设立 ✅ 普林斯顿岁月:1936-1938年,图灵与冯·诺依曼在普林斯顿的学术交集 ✅ 马拉松跑者:图灵是国家级水平的马拉松运动员,差点参加1948年奥运会 ✅ 曼彻斯特Baby:世界上第一台通用电子计算机,图灵参与编程工作 ✅ 非欧几何:通过修改或否定欧几里得第五公理(平行公理)而建立的一系列几何学,主要包括双曲几何(空间负弯曲,三角形内角和小于180°)和椭圆几何(空间正弯曲,三角形内角和大于180°),是描述弯曲空间的理论基础,也是爱因斯坦广义相对论的数学框架 ✅ AlphaGo:第一个击败人类职业围棋选手、第一个战胜围棋世界冠军的人工智能机器人,由谷歌(Google)旗下DeepMind公司开发。2016年以4:1战胜世界冠军李世石,2017年又以3:0战胜世界第一柯洁,棋力被公认为已超人类职业围棋顶尖水平。 — 第一章完 —
