Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
本文通过构建 Common Lisp 编写的 IPL-V 解释器，成功从 Stefferud 1963 年的技术报告中转录并“复活”了 1956 年开发的逻辑理论家（Logic Theorist）程序，使其在半个多世纪后首次重新运行并成功证明了《数学原理》中的 16 个定理。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
这篇文章讲述了一个非常迷人的“数字考古”故事：作者杰夫·施拉格（Jeff Shrager）博士成功复活了世界上第一个人工智能程序——“逻辑理论家”（Logic Theorist, LT），并让它重新运行起来。
为了让你轻松理解，我们可以把这个过程想象成修复一台失传已久的古老机器。
1. 背景：一台失落的“思考机器”
在 1956 年，艾伦·纽厄尔（Allen Newell）、赫伯特·西蒙（Herbert Simon）和 J.C.肖（J.C. Shaw）创造了一个名为“逻辑理论家”的程序。
- 它的成就：它能像数学家一样，在《数学原理》这本书中自动寻找证明。甚至有一次，它找到的证明比人类作者写的还要简洁优美，连罗素（Bertrand Russell）本人都为此感到惊喜。
- 它的语言：这个程序是用一种叫 IPL-V 的语言写的。你可以把 IPL-V 想象成 Lisp 语言的“老祖宗”。就像现在的智能手机是早期大哥大的进化版一样，IPL-V 是 Lisp 的祖先。
- 现状：IPL-V 语言在 20 世纪 60 年代中期就“灭绝”了，就像恐龙一样。虽然它的后代（Lisp）非常成功，但没人能再读懂或运行 IPL-V 的原始代码了。这就好比你手里有一张 1950 年代的乐谱，但世界上已经没有人会演奏这种乐器了。
2. 任务：制造一把“万能钥匙”
施拉格博士决定做一件疯狂的事：重新制造那台“乐器”（解释器），然后演奏那首“乐谱”（原始代码）。
- 乐谱来源：他没有找到原始的打孔卡片，而是找到了一份 1963 年的 RAND 公司技术报告。这份报告就像是一份详细的“食谱”，上面写着如何用 IPL-V 语言烹饪这道“逻辑理论家”大餐。
- 制造工具：他用现代语言（Common Lisp）写了一个模拟器（解释器）。
- 比喻：这就像是为了吃一道失传的古代菜肴，他先根据古食谱，亲手打造了一套古代的锅碗瓢盆（IPL-V 解释器），而不是直接在现代厨房里用微波炉加热。
3. 过程：与 AI 的“跨时空合作”
这是故事中最精彩的部分。在修复过程中，作者遇到了巨大的困难，就像在黑暗中摸索。
- 第一阶段（独自摸索）：作者独自工作了几个月，修复了程序崩溃、内存错误等“硬伤”。这就像修好了机器的齿轮和轴承，机器能转了，但转得不对劲。
- 第二阶段（遇到“幽灵”）：机器不崩溃了，但行为很奇怪。它要么陷入死循环，要么找不到本该能找到的证明。这种错误不像机器坏了（会冒烟），更像是机器“疯了”或者“迷路了”。
- 引入 AI 助手：这时候，作者请来了现代的 AI（如 Google 的 Gemini 和 Anthropic 的 Claude）帮忙。
- 比喻：想象你在一个巨大的迷宫里，手里拿着几千页的地图（运行日志）。你一个人看会看花眼，但 AI 可以像超级显微镜一样，瞬间扫描几万行数据，帮你找出哪里走错了。
- 终极发现（穿越 60 年）：
- AI 发现了一个关键错误，但作者不确定怎么改，因为现代手册和 AI 的推断似乎都支持原来的写法。
- 于是，作者让 AI 去查阅1962 年的原始打孔卡片（保存在计算机历史博物馆的“西蒙的 J 卡”）。
- 比喻：这就像 AI 突然穿越回 1962 年，找到了发明者西蒙当年的原始笔记，对比后发现：“嘿，你现在的做法和 60 年前发明者写的其实不一样！”
- 结果：AI 根据原始卡片指出了作者代码中一个微小的错误，修复后，这台 60 年前的“思考机器”终于完美运行了！
4. 结果：它真的“思考”了吗？
复活后的“逻辑理论家”再次尝试证明 23 个数学定理。
- 成绩：它成功证明了其中的 16 个。
- 历史一致性：这个结果与 1957 年原始记录完全吻合。这证明了作者没有“作弊”或重新编写算法，而是真正原汁原味地复活了当年的程序。
5. 核心意义：什么是“可执行的考古学”？
作者提出了一个概念叫**“可执行的考古学”（Executable Archaeology）**。
- 传统考古：挖出陶罐，研究它的形状和花纹，推测古人怎么用它。
- 可执行考古：把陶罐拼好，真的往里面倒水，看看它到底能不能装水，古人到底是怎么用它装水的。
这篇文章告诉我们：
- 历史不仅仅是文字：早期的 AI 不仅仅是理论，它们是真正运行过的代码。只有重新运行它们，我们才能真正理解当时的智慧。
- AI 的“前世”：现在的 AI（大语言模型）帮助人类复活了 60 年前的 AI。这是一种奇妙的循环：现代 AI 帮助人类理解了过去 AI 的创造过程。
- 致敬先驱：纽厄尔和西蒙在 60 年前发明的概念（如列表处理、递归、动态内存），其实就是现代编程语言（如 Lisp）的基石。作者通过这个项目，重新发现了这些先驱的伟大。
一句话总结：
作者用现代技术造了一把“时光机钥匙”，打开了 60 年前被封存的“思考机器”，并借助现代 AI 的“火眼金睛”，让这台机器在 21 世纪重新发出了智慧的火花。这不仅是对历史的致敬，也是人类与机器共同探索智慧的精彩篇章。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。