洛夫莱斯伯爵夫人为什么被写进 AI 史？第一个程序的人

AI 讨论里反复出现的「机器能不能自己想出新东西」这场争论，最早的书面版本出现在 1843 年：洛夫莱斯伯爵夫人在分析机的注释里写下了对机器创造力的保留意见，这段话后来被称为洛夫莱斯异议，1950 年被图灵在论文里正面讨论。把她写进 AI 史的还有另一件事：同一份注释里记录了史上第一个公开发表的计算机程序。两件事写在同一份文献里，构成了一枚硬币的两面。

分析机注释：1843 年的那份文献

背景是巴贝奇的分析机——一台用齿轮与蒸汽驱动的通用计算机械设计，实体机生前始终没有建成。1843 年，洛夫莱斯把意大利工程师梅纳布雷亚介绍分析机的法文文章译成英文，并附上自己写的七条注释，署名 A.A.L.。译注的篇幅远超原文，其中注释 G 给出了一张按步骤执行的运算表，用来计算伯努利数——公开文献普遍把它认定为第一个为通用计算机设计并公开发表的程序。值得一提的细节是，运算表对应的机械装置并不存在，这张表完全是为尚未建成的机器写下的。

超出数字的想象：机器处理符号

她在注释里还有一层更远的判断：分析机不只能算数字，只要对象满足可操作的规则，符号同样能被机器处理——乐谱、文字都在她的举例范围之内。这个判断放到今天的术语体系里，近似于「机器可以操作符号，不止于数值计算」，与现代计算机处理非数值信息的能力对得上。当时这属于超前猜想，分析机没有建成，设想无从验证，但后来的计算机史研究者反复引用它，作为对通用机器可能性的早期陈述。

洛夫莱斯异议：机器没有原创的企图

同一份注释里的保留意见同样有名：分析机没有原创任何东西的企图，它能做的是执行人类给它安排好的规则。这段话在一百年后被图灵注意到，1950 年的《计算机器与智能》里专门留出篇幅讨论「洛夫莱斯夫人的异议」，那篇论文的核心设计见图灵测试一篇，图灵本人的公开线索见图灵人物篇。机器能否产出给定规则之外的东西，从此成了 AI 哲学讨论的标准议题之一。

1843 年文献速查

• 1843：分析机译注发表，署名 A.A.L.，共七条注释
• 注释 G：伯努利数运算表，公认第一个公开发表的计算机程序
• 同注：提出「机器只能执行给定规则」的保留意见，后称洛夫莱斯异议
• 1950：图灵在论文中正面讨论洛夫莱斯异议

这个争论为什么今天还没完

洛夫莱斯异议的当代版本常被用来审视大模型：模型从海量数据里学分布，它的产出能否被称为「原创」，学界与产业界至今没有一致答案。一个可操作的观察角度是拆开看过程——今天的模型确实能在给定规则与材料的基础上组合出训练集里没有的新组合，这与「按规则执行」的差距有多大，正是争论的核心。你自己就能做个小实验：让豆包或腾讯元宝从两个互不相干的领域各取一个概念，让它组合成一个新想法，再追问这个组合每一步的出处——你会发现「出处能不能讲清」恰好落在异议讨论的那条界线附近。符号如何被机器承载，token 层面的机制可参考多模态 token一篇。

她留下的两条线索

把两件事并排看，洛夫莱斯留下的线索各指向一个方向：一面说机器能做超出数字的符号操作——这是后来计算机科学展开的方向；一面认为机器没有原创的企图——这是后来 AI 哲学讨论的起点。两条线索都写在同一份 1843 年的文献里，都出自一位当时没有学术职位的作者之手。学科获得名字是另一个世纪的事，见人工智能命名一篇，而它的两个核心问题——机器能处理什么、机器能不能自己起源——在分析机的注释里已经见了雏形。可带走的判断是：读 AI 史不必从 1956 年开始，更早的文本里已经埋着这门学科的题面。

关于洛夫莱斯的常见疑问

• 「第一个程序员」的说法有争议吗？：注释 G 的运算表在公开史料里被普遍记为第一个公开发表的计算机程序；她与巴贝奇在过程中的分工细节存在不同说法，公开通信显示两人有往来讨论，具体以公开史料为准。
• 洛夫莱斯异议后来被推翻了吗？：没有简单的是非结论。异议针对的「按给定规则执行」与今天模型「从数据中学习」在机制上已经不同，争论随之转成了新形式：从数据中学出来的模型算不算原创，讨论仍在进行。
• 分析机建成过吗？：没有。巴贝奇生前实体机未完成，后世依据设计图纸制作过复原装置来验证机械逻辑，相关复原品可在公开展馆见到。