爱达，诗意的科学家
转自：环球人物杂志
爱达（Ada，1815—1852）被誉为第一位程序员，对人工智能有开拓性的想法。1980年美国国防部设计的编程语言以她为名，因深度学习训练出名的英伟达A100芯片也是为了纪念Ada。
爱达画像
爱达父亲是诗人拜伦。她刚满月时，父母就分居了。她的母亲对父亲多有怨恨，不希望女儿走父亲放荡不羁的老路，想让她多学科学和数学以克制浪漫基因。拜伦夫人认为，科学家和数学家比诗人具备更高的道德水准，因专业原因比诗人更有约束力，同时更理性。
无论如何，那个时代让女性学习数学和科学是不同寻常的。
爱达18岁那年开始随母频繁出席社交聚会，1833年，18岁的爱达在聚会上见到44岁的鳏夫巴贝奇，开始了一生的友谊。
巴贝奇是维多利亚时代英国最重要的数学家、工程师和经济学家，他和几位数学家改变了英国大学的数学教育，使英国重回数学巅峰。他还曾是剑桥的卢卡斯讲席教授。工业革命后，工业、航海、军事都对计算提出更高要求。巴贝奇设计了两台计算机——差分机和分析机。差分机本意是计算初等函数，分析机就是通用计算机。图灵的学生和恋人罗宾·甘迪认为巴贝奇早于图灵100年就知道“丘奇—图灵论题”，即“图灵完备性”。但限于技术和经费，这两台机器都没成为产品。
爱达的母亲给友人写信称，爱达更喜欢参加有科学人（那时“科学家”这个词还没叫响）的聚会。她们被邀参加巴贝奇家的知识界聚会。聚会的项目之一是参观巴贝奇的差分机样机，当时有人这样描述：“别人在凝视这台漂亮的机器，好似第一次看到眼镜或第一次听到炮响，但年轻的拜伦小姐却知道机器的工作原理。”后来，巴贝奇推荐著名的数学家、逻辑学家德摩根给爱达做数学老师。
从英国女数学家和科学家萨默维尔身上得到激励，1834年，爱达决心把数学作为智力追求。
此时巴贝奇已开始设计可编程的分析机——分析机被称为19世纪最伟大的理论发明。爱达1834年刚过19岁生日时，巴贝奇在与爱达母女和萨默维尔的聚会上提到分析机的想法。拜伦夫人写道：“我理解这是求解以前难解的方程的手段。”1840年，巴贝奇和政府关系紧张，到欧洲散心，在意大利都灵做关于分析机的讲演，听众中的数学家兼工程师梅纳布雷亚上尉用法文做记录，并于1842年把记录稿出版。梅纳布雷亚后成为意大利总理。
爱达对分析机很痴迷，在巴贝奇的帮助下把梅纳布雷亚记录稿翻译成英文，并做了详细注释。注释比原文长了近3倍。在注释中，作为例子，她写了一个在分析机上计算伯努利数的计算流程，这被认为是第一个计算机程序，爱达也被认为是第一个程序员。
爱达由此开始思考机器能不能展现智能的问题。她的注释中对机器智能的评论，时而乐观时而悲观。
悲观评论如：“分析机只能执行命令，不可能自主创造任何东西。”100年后，图灵只看到爱达悲观的一面，并在1950年写的《计算机与智能》一文中专列一节“拉芙莱斯伯爵夫人的异议”予以批判。
这篇文章一般被认为开创了人工智能。如果研读上下文，会发现爱达和图灵对“创造”一词理解不同。爱达事实上还说过分析机可创造意想不到的数学，“创作任何深度和广度的音乐作品”。两人的差异在于她并未低估计算机的能力，而是高估了人脑能力。
1844年，她在给格雷格的信中提到，她的志向是创建“神经系统微积分”的学问。她认为“对数学家来说，大脑问题并不比恒星、行星问题和运动问题更难处理，只要他们愿意从正确的角度审视它”。99年后，生理学家麦卡洛克和逻辑学家皮茨的文章开创了人工智能中神经网络的研究路径。
爱达的信件大部分被母亲毁掉，只保留和工作相关的。2000年在英格兰诺森布兰特郡发现了一批爱达和巴贝奇的信，共110封，其中85封是爱达写给巴贝奇的。
爱达生前最后一封信是写给巴贝奇的。爱达的孙女把她保存的爱达的信件交给科学家、科学史家和科学官僚博登勋爵，博登在1953年编辑的最早的人工智能文集《比思想还快》中写的首篇文章《计算的简史》中，第一次系统介绍爱达生平及与巴贝奇的友情。爱达传记作者爱辛格把爱达和巴贝奇间的交往说成是科学史上最伟大的友情之一。
爱达的名气在当代似乎超越巴贝奇，在硅谷的计算机历史博物馆礼品店，有至少5本不同的爱达传记，而巴贝奇的没有那么多。数学物理学家沃尔弗拉姆高度评价爱达。她把数学中的想象和直觉称为“诗意的科学”，这是她一生追求的写照。爱达一生身体虚弱，36岁死于宫颈癌。