如果艾达·洛芙莱斯活在今天：第一个看清极限的人工智能理论家

艾达·拜伦在英格兰最出名、最声名狼藉的诗人之女这一身份下长大，她的母亲一直担心她会长成父亲那个样子。安妮·伊莎贝拉·米尔班克在艾达出生一个月后便与拜伦勋爵分居，此后三十年一直致力于将女儿的教育引向数学、远离诗歌，她后来自称对这一成果颇为自豪。她相信，自己培养出了一个与父亲截然不同的女性。

然而她培养出的，其实是一个把拜伦式的强烈与不安分，与足以看清查尔斯·巴贝奇的计算机器究竟能变成什么的敏锐数学头脑结合在一起的人。艾达·洛芙莱斯于1852年去世，年仅36岁。她留下了一篇译文和从A到G标注的七条笔记，最后一条被今天的计算机史学家认定为第一份公开发表的算法。她还留下了对分析机的描述——一台通用的符号处理装置，一台不止于算术、依据规则而非数字运作的机器。她大约领先了整整一个世纪。

把她放到2026年，她大概仍然领先大约一个世纪。

那位历史人物

奥古斯塔·艾达·拜伦生于1815年12月，是乔治·戈登·拜伦与其结婚仅一年的妻子唯一的婚生子女。拜伦于1816年4月离开英格兰，此后再未归来，也再未见过女儿。他于1824年在希腊去世，那年艾达八岁。

她的母亲为她安排了一套高强度的科学教育，意在防止任何拜伦式的遗传特质生根发芽。艾达学习了数学、音乐和法语。她童年时体弱多病——曾长期卧床，医生对病因说法不一，现代历史学家对此也争论多时而无定论。她的母亲应对疾病的方式是坚持增加课程。结果是，一个受过极其严苛精确教育、又对形式系统真心着迷的女性诞生了。

1833年，17岁的她在一次晚宴上结识了查尔斯·巴贝奇。他向她展示了「一号差分机」，一台机械计算器的部分原型。她被深深吸引，程度似乎连他们两人都感到意外。她开始与巴贝奇就数学问题以及他关于分析机的构想通信——那是一台雄心大得多的机器，两人有生之年都未能将其建成。

1842年，意大利数学家路易吉·梅纳布雷亚根据巴贝奇在都灵的一次演讲，发表了一篇关于分析机的法文描述。艾达将其译成英文，并添加了长度约为原文三倍的注释。其中的「注G」提供了一套利用分析机计算伯努利数的分步方法：一套包含明确输入、明确操作、并内置纠错机制的完整流程。这是现代意义上第一份公开发表的算法。

较少被引用的是围绕它的上下文。艾达在笔记中提出，分析机可以处理任何能以符号和规则表达的事物——它不仅仅是一台数字机器，而是一台逻辑机器，原则上甚至可以谱曲。她在1843年描述的，是一台通用计算机。

她还明确而精准地指出，这台机器无法原创任何东西。它只能执行被告知去做的事。这一被她当作设计事实陈述的局限，如今是人工智能领域中心争论之一。她提出的问题——机器究竟能真正思考，还是只能计算——正是这个领域所称的「洛芙莱斯测试」，至今没有得到清晰的解答。

她于1852年11月因子宫癌在痛苦中去世，享年36岁。她的笔记在此后数十年间未被广泛阅读。艾伦·图灵在1950年认真讨论过它们。美国国防部在1980年代以她的名字命名了一种编程语言。

现代角色

如果艾达·洛芙莱斯活在今天，她会出生于1990年，由一位极度理性的父母抚养长大，那位父母决心要抵消另一位、富有创造性却混乱且公众瞩目的一方的影响；她会在剑桥或帝国理工学院攻读数学与计算机科学，并在圣塔菲研究所度过一年，那里形式方法与复杂系统的结合，正与她的气质精准契合。

到三十多岁时，她已是某家大型人工智能实验室的研究科学家，但不在那种能产出头条新闻的产品岗位，而是从事那种不产出演示、不被科技媒体报道，却构成一切成果基础的理论工作。她的专长是学习系统的形式理论：这些系统能够、以及无法可证明地做到什么，可验证的极限在哪里。

按照一个几乎每天都有预印本涌现的领域的标准，她发表的论文并不频繁，但每一篇都精确而令人不安。其中传播最广的一篇发表于她三十一岁生日前后，论证了大型语言模型被假定具有的若干特性，无法仅从其输出中得到验证——在大规模系统中区分真正的泛化与精巧的插值，仍是一个悬而未决的问题。这篇论文赢得了那些一直暗自担忧同样问题的人不情愿的尊重，也招致了那些资金来源恰恰依赖于「不去担心这个问题」的人的轻视。

当代类比

最接近的在世类比，并不只是「科技界的一位女性」——这似乎是显而易见的选择，却错过了其中特定的组合。艾达·洛芙莱斯的特殊侧写——早年高强度的塑造、注重数学理论而非工程实践、公开表达对机器究竟能做什么的怀疑、在关键时刻过早离开这一领域——最贴切地对应的是当下正扮演着这样一个角色的人：一位为正在构建的系统做出重大贡献、如今却公开对其感到不安的基础性人工智能理论家。

具体是谁，取决于你在哪一年提问。但这个角色是恒定的：其研究被产品缔造者的论文引用，其担忧在会议演讲中被以「重要的开放问题」这类措辞简短承认，随后又被搁置一旁、让位给下一个基准测试结果。艾达·洛芙莱斯会精准地认出这种动态。她在1843年就经历过它的版本。

家庭

她会在二十多岁快结束时结婚，出色但也颇为动荡——正如她1835年嫁给威廉·金-诺埃尔（后来的第一代洛芙莱斯伯爵）时那样，对方年长她十二岁，并以历史婚姻中罕见的方式真心支持她的工作。她还生了三个孩子，一边操持家务，一边完成数学工作，她的传记作者常提及这一点，而她的通俗形象却往往将其略去。

2026年的版本是：伴侣来自一个技术相关的世界，一段作为智识伙伴关系比作为社交关系运作得更好的婚姻，两个孩子眼中的母亲主要是那个常在不寻常的时段对着笔记本电脑做重要工作的人。母女关系以某种特定的方式变得复杂——极度理性的母亲往往培养出复杂的女儿——她清楚这其中的讽刺。

她并没有什么光鲜的公众形象。她觉得「科技界女性榜样」这个说法令人厌烦，倒不是反对这个类别本身，而是因为它把她简化成一个符号，牺牲了她真正想表达的论点。论点比符号更重要。

社交媒体的问题

她在X上的账号有29万粉丝。其中一半人关注她，是为了看她对人工智能公司公告发表的技术上无懈可击的批评——回应很少超过三句话，都引用真实论文为依据，越简短越具杀伤力。另一半人关注她，是因为她偶尔会发一些私人内容，随后又删除：关于她父亲那边家族的观察，关于「对某人有用」意味着什么的思考，一段简短的评论——关于机器能展示的东西与机器能知道的东西之间的鸿沟，读起来既像哲学笔记，也像更私人的东西，而她从不澄清究竟是哪一种。

她并不享受名气。她讨厌会议。她之所以出席，是因为走廊里的对话是唯一与她所在的水准相当的交流，而另一种选择就是孤立。

出问题的地方

艾达·洛芙莱斯死于36岁。2026年的版本不会在36岁死去，但她确实会在大约那个年纪从这个领域消失，其方式让业内所有人都视之为一种损失。具体情形各有不同：一场重病，一次因部署决策分歧而原则性地离开实验室，一段人人都以为会结束、却持续多年未曾结束的休假。无论机制如何，效果是一样的。

她提出的关于可表达性极限与不可验证泛化的问题，最终被主流话语吸收，模糊地归功于「早期的批评者」，而没有具名致谢。一位年轻研究者仔细读过原始论文后，写了一篇悼念文章，正确指出了她的贡献，并指出这在当时问题尚未被视为重要之前就已提出。这篇悼念文章列出了二十条对她实际工作的引用。

而这个领域，一如既往地，并不会因此放慢脚步。

艾达·洛芙莱斯在1843年就理解、而2026年仍未被充分吸收的一点是：有趣的问题从来不是机器能否完成这项计算。有趣的问题是这项计算意味着什么。分析机能计算伯努利数。她留下的问题——那样的计算是否等同于理解——正是这个领域至今仍在绕行、而非正面穿越的问题。

她对当下这场争论的现状会有自己的看法。她会精准地在公开场合表达出来，用三句话——而这三句话会被此后二十年里那些不会归功于她的人反复引用。从某种意义上说，这也正是第一次发生时的情形。

关于同系列的相关人物，请参阅如果玛丽·居里活在今天以及如果阿基米德活在今天。