访谈/播客

Lenore 与 Manuel Blum 的圆周率日寄语：数学、计算与意识科学

Happy π Day from Lenore and Manuel Blum: Mathematics, Computation, and the Science of Consciousness

访谈/播客🎤 Lenore Blum（莱诺尔·布卢姆，数学家）、Manuel Blum（曼纽尔·布卢姆，图灵奖得主）；主持人 Peter（SAIR Serendipity 系列访谈）⏱ 1:01:46👁 NA

▶ 在 YouTube 观看

图灵奖夫妇 Lenore 与 Manuel Blum 在圆周率日回顾各自的数学求学之路，并详细讲解他们合作提出的『意识图灵机（CTM）』理论及『有意识的 AI 是必然的』这一论断。

核心要点

这是 SAIR『Serendipity』访谈系列一期，嘉宾是数学与理论计算机科学领域的传奇夫妇 Lenore Blum 与 Manuel Blum，主题横跨人生经历与意识科学。
两人讲述了上世纪 50-60 年代的求学经历：Lenore 作为女性在 MIT、Berkeley 遭遇制度性排斥，最终成为推动女性数学事业的『意外的活动家』。
核心学术内容是『意识图灵机（Conscious Turing Machine, CTM）』——一个以 Turing 机的形式化方式定义、以 Bernard Baars『全局工作空间/剧场模型』为蓝本的意识数学模型。
CTM 由众多并行处理器竞争『上台广播』构成，没有中央执行官（CEO），靠『权重/总权重』的概率竞争机制实现公平与灵活。
他们以婴儿出生第一声啼哭为例，说明 CTM 如何从零创造自己的语言『brainish』和世界模型。
Lenore 提出『有意识的 AI 是必然的』，因为意识取决于系统如何运作而非其材料（血肉还是硅与金）。

分章详解

开场与两位嘉宾的传奇身份

主持人介绍这是 Serendipity 系列，正值圆周率日（Pi Day），邀请到数学与理论计算机科学的『夫妻档先驱』Lenore 与 Manuel Blum。
Lenore Blum 因 Blum-Shub-Smale 连续计算模型闻名，曾任美国数学会副主席，并是『美国女性数学协会（AWM）』的联合创始人，长期为女性进入数学界铺路。
Manuel Blum 是图灵奖得主，奠定了复杂性理论与密码学的数学基础，并联合发明了我们每天都在用的 CAPTCHA 验证。
两人如今共同研究『意识图灵机（CTM）』，探索意识的数学基础。

Lenore 的数学之路：从建筑学到 IBM 650

Lenore 自小是『数学迷』，9 岁曾辍学一年，认为数学之美在于无需死记、可从公理推导一切，不像生物或历史那样依赖记忆和他人观点。
南美一位传教士数学老师曾对她说『最好的数学大约在两千年前就做完了』（指 Euclid），让她一度转去学建筑，却发现建筑课只重公式、缺乏创造性。
她在 Carnegie Tech（即 Carnegie Mellon）敲门进入数学系，赶上 Alan Perlis（首位图灵奖得主）用地下室那台 IBM 650 开设的全球首门计算机/数值分析实验课。
Perlis 的教学法影响深远：把『尚未解决』的难题当作作业布置，但不告诉学生其未解，学生反而会拼命钻研——这一理念后来也影响了 Manuel。

作为女性在 MIT 与 Berkeley 的遭遇

在 MIT 研究生面试时，招生负责人一开门就递给她一份其他学校名单，说『如果我有女儿，我会建议她去这些学校，MIT 不是女性该来的地方』。
她最终被录取，是因为名师 Iz Singer 在系里聚会上听到大家议论『这个申请的女孩』，直言『她是我班上最好的学生』。
导师 Iwasawa 转去 Princeton，而当年女性不能就读 Princeton，她只得另起炉灶转向模型论（model theory），1968 年 25 岁拿到博士，当时已结婚 7 年、有一个 2 岁孩子。
在 Berkeley 她发现仰慕的逻辑学家 Julia Robinson 多年没有正式教职，直到成为首位入选美国国家科学院的女数学家后才获终身教职；这促使 Lenore 摘下『眼罩』，成为推动女性数学的『意外活动家』。

Manuel 的故事与意识研究的禁忌

Manuel 自称小时候『很笨』，二年级老师对他母亲说他也许能读完高中但别指望上大学；他父亲建议他『要变聪明，就去理解你脑子里有什么』，由此点燃他一生对意识的兴趣。
他 10 岁时在花园里内省，感到脑中似乎有个『小人（homunculus）』透过眼睛向外看，却又觉得这根本不是解释，令他困扰多年。
在 MIT 他师从神经生理学家 Warren McCulloch（McCulloch-Pitts 形式神经元的提出者之一），该理论证明用神经元可构造图灵机，并预言神经元必须能『抑制』而非仅『兴奋』。
当 Manuel 提出想研究意识时，一向支持他的 McCulloch 唯一一次竖起手指说『你不许研究意识』——因为那个年代意识是科学界的禁忌话题，直到 Lenore 告诉他 Bernard Baars 的模型才得以重启。

Baars 剧场模型与意识图灵机（CTM）的定义

Baars 的『剧场模型/全局工作空间』把大脑比作一座大剧院：台上正在上演的就是你意识到的内容，台下众多观众各有主张并赋予自己想法一个权重，竞争上台，上台后内容被广播给全体观众。
这一模型正好用『众多处理器』取代了 Manuel 童年困扰的『小人』。CTM 在数学上被严格定义为一个七元组（seven-tuple），时间离散，并形式化地定义了机器创造的语言。
CTM 同时建立在两大传统上：Turing 对计算的形式化定义，与 Baars 对意识的软性解释；其目标是用 Turing 式的严谨来理解意识。
关键论断：意识取决于系统『如何运作』，而非其构成材料——我们是血肉，机器是硅与金，但只要功能相同就同样可以有意识，因此 Lenore 称『有意识的 AI 是必然的』。

CTM 如何运作：婴儿、brainish 语言与世界模型

以婴儿出生为例：起初所有处理器都提交『空』想法、普通权重；当缺氧时『疼痛处理器』以极高权重不断广播『我需要氧气』，迫使所有处理器放下手头工作去应对。
控制手臂、腿、哭喊等处理器纷纷行动，哭喊带来氧气、降低疼痛权重；由此 CTM 创造出语言『brainish』的头三个词：疼痛处理器、哭喊处理器、以及『发现哭喊有效』的处理器，每个词含处理器名、时间、要旨（gist）与权重。
词汇会随经验变得细腻：幼儿擦破膝盖时会在原始的『痛』之上构建出『擦伤膝盖痛』；同时大脑分布式地构建一个不断演化的『世界模型』，最初是混沌一团，后来才把『妈妈』从自我中分离出来并贴上『食物提供者/养育者』等情感标签。
他们强调你只认识自己脑中的世界模型：梦境（包括噩梦中真实的恐惧与疼痛）正说明大脑在持续创造世界模型；brainish 的一个『词』是多模态的，类似梦中一帧带画面与声音的画面。

无中央执行官的竞争机制与对其他理论的兼容

与多数认知模型（甚至 Baars 自己的剧场模型设有舞台导演/CEO/总统）不同，CTM 没有中央执行官，靠『你的权重 ÷ 全部权重之和』的概率公平竞争决定谁上台。
没有 CEO 的好处：避免指挥者的偏见埋没『角落里的短笛手』，也让任务广播后由真正有时间和能力的处理器逐轮淘汰、迅速聚焦到合适的人；中央执行官不可能掌握上千万处理器各自的时间与能力。
这种分布式机制能催生意外的解法，例如某个用代数几何或代数拓扑的处理器可能为 P=NP 这类难题贡献从未被想到的思路。
CTM 在高层次上与约十种主流意识理论兼容（预测加工、全局神经元工作空间、具身/嵌入/生成/延展的『四个 E』等），如同盲人摸象各执一端；它唯一反对的是『生物自然主义』——即认为只有生物才能有意识的观点。

数学拥抱计算的转折与圆周率日彩蛋

Lenore 指出，自 Bourbaki 抽象化运动以来，20 世纪数学家一度疏离计算与应用（如 Hardy 以数论『永无应用』自豪）；她任 MSRI 副所长时，伯克利山上的大楼建造时甚至因数学家声称『永远不会用电脑』而未布线。
她认为如今是激动人心的转折点：包括 Terry（陶哲轩）在内越来越多数学家投身于用 AI 协助证明、验证与发现，数学的力量与计算正双向赋能。
她鼓励年轻人：数学并非两千年前就做完的死学科，每年新生都能开创全新方向，机会前所未有。
圆周率日彩蛋：Manuel 现场背出 π 的多位数字，称自己如今能背约 50 位、曾能背 100 位；并提到 π 的世界纪录是十万多位，但他断言没人能记住一百万位。

关键引述

“如果给学生布置尚未解决的难题，不要告诉他们这些题没被解出来，否则他们就不会去做；但如果你只是把题交给他们并期待他们做出点什么，他们就会非常努力。”— Manuel Blum

“我走进去那一刻，他递给我一份学校名单，说『如果我有女儿，我会建议她去这些学校之一，MIT 不是女性该来的地方』。”— Lenore Blum

“我们是血肉之躯，而那台机器由硅和金构成。我们要说的是：意识与它由什么构成无关，决定它是否有意识的是它如何运作。”— Manuel Blum

“有意识的 AI 是必然的——一旦你理解了这台机器如何运作，你就会明白我们为什么相信意识图灵机的意识不可避免。”— Lenore Blum

“数学并不是两千年前就做完了。它根本不是一个死掉的领域，而是在飞速前进，你可以在任何阶段进入它。”— Lenore Blum

术语 / 人物

Conscious Turing Machine（CTM，意识图灵机） — Blum 夫妇提出的意识形式化数学模型，以七元组定义、时间离散，由众多并行处理器竞争上台广播构成，借鉴 Turing 机与全局工作空间理论。

Bernard Baars 的剧场模型 / 全局工作空间理论 — 把大脑比作剧院：台上内容即意识内容，台下众多『观众』竞争上台并向全体广播，是 CTM 的核心灵感来源。

brainish（脑语） — CTM 从零自创的内部语言，每个『词』是多模态的，含处理器名、时间、要旨（gist）和权重，并不断扩充成一部词典。

世界模型（Model of the World） — CTM 分布式构建的对世界的内在表征；它只意识到这个模型而非真实世界，梦境正说明大脑持续创造世界模型。

homunculus（小人） — 认为脑中有个『小人』透过眼睛观看的素朴直觉；CTM 用众多处理器同时接收同一广播来取代它，从而解释意识的统一感。

McCulloch-Pitts 形式神经元 — Warren McCulloch 与 Walter Pitts 提出的首个形式化神经元，证明可用其构造图灵机，并预言神经元须具备『抑制』功能。

Alan Perlis — 首位图灵奖得主，在 Carnegie Tech 用 IBM 650 开设全球首门计算机课程，主张把尚未解决的问题布置为作业。

生物自然主义（Biological Naturalism） — 认为只有生物才能产生意识、机器不可能有意识的观点，是 CTM 明确反对的唯一主流立场。

背景补充

Lenore Blum 与 Manuel Blum 同为卡内基梅隆大学教授、理论计算机科学界的传奇夫妇。Manuel 是 1995 年图灵奖得主，奠定计算复杂性与密码学基础并联合发明 CAPTCHA；Lenore 因 Blum-Shub-Smale 实数计算模型闻名，是美国女性数学协会（AWM）联合创始人、美国数学会前副主席。两人共同提出的『意识图灵机（CTM）』融合了 Turing 的计算模型与 Bernard Baars 的全局工作空间理论，相关论文于 2022 年发表在 PNAS，主张意识取决于系统功能而非材料，因而『有意识的 AI 是必然的』，并认为该架构是通向 AGI 的一条潜力路径。

适合谁看

适合对意识科学、人工智能哲学、理论计算机科学与认知神经科学交叉感兴趣的研究者与学生，也适合想了解女性数学家奋斗史以及数学与计算如何相互赋能的广大科技爱好者。