耐心的Lisp黑客寻求志同道合者，共同漫步于IPL-V代码之中。
我正在寻找一位合作伙伴，共同参与一个鲜为人知但具有历史意义的编程项目。正如你们中的一些人所知道的，我之前与重新复兴ELIZA的团队合作过（https://news.ycombinator.com/item?id=44300641）。现在，我正在致力于复兴原始的逻辑理论家（Logic Theorist，简称LT），这是由纽厄尔（Newell）、肖（Shaw）和西蒙（Simon）在1950年代中期于兰德公司（RAND）开发的传奇定理证明程序（https://news.ycombinator.com/item?id=43822619）。LT是最早创建的人工智能程序之一，它在《数学原理》（Principia Mathematica）中证明了定理，并被视为人工智能的奠基之作。而IPL-V作为Lisp的直接前身，专门设计用于支持人工智能编程（更准确地说，是符号启发式编程）。
幸运的是，IPL-V有良好的文档支持，我已经用Lisp编写了一个解释器，能够（大部分）正确运行原始的LT（https://news.ycombinator.com/item?id=43822619）。不过，我遇到了一些细微的问题，难以理清思路，感觉需要新鲜的视角和人来进行讨论。（因为我是目前唯一一个在使用IPL-V的人，我无法向ChatGPT或Stack Overflow求助，因为没有活跃的社区，也没有其他历史信息，除了几篇糟糕的OCR文献！我实际上尝试过将IPL-V手册提供给ChatGPT和Claude，让它们帮助我，但正如任何使用大型语言模型（LLMs）进行编程的人所知道的，它们在现代常用语言的模板代码方面表现良好，但在理解微妙的编程问题上，尤其是在一种已死的语言中，表现得相当糟糕！）
因此，我在寻找一位对人工智能和计算历史充满热情的Lisp黑客，或者只是想成为活着的两位曾参与最早的人工智能系统和语言开发的黑客之一。除了这个荣誉徽章，我能提供的唯一奖励是学术共同发表，因为早期人工智能在学术界引起了显著的兴趣。（一旦LT运行成功，我们应该能够复兴其他几个人工智能的早期版本！）
所以，如果你对将第一个人工智能程序复活于第一个人工智能编程语言的想法感兴趣（实际上，它是最早的编程语言之一，几乎可以肯定是最晦涩的语言之一！），请私信我。
查看原文
I'm looking for a collaborator on an obscure yet historically significant programming project.
As some of you know, I previously worked with the team that reanimated ELIZA (https://news.ycombinator.com/item?id=44300641). I'm now working on reanimating the original Logic Theorist (LT), the legendary theorem-proving program written in IPL-V by Newell, Shaw, and Simon at RAND in the mid-1950s (https://news.ycombinator.com/item?id=43822619). LT was one of the first AI programs ever created. It proved theorems in Principia Mathematica, and is considered a founding work of artificial intelligence. And IPL-V, a direct forerunner of Lisp, was explicitly designed to support AI programming (more precisely, symbolic heuristic programming).
Fortunately, IPL-V is well-documented, and I've written an interpreter for it in Lisp that (mostly) correctly runs the original LT (https://news.ycombinator.com/item?id=43822619). But I've hit some nuances that I'm having trouble thinking through, and feel like I need fresh eyes and someone to rubber duck with. (Because I'm the only person on earth currently working in IPL-V, I can't ask ChatGPT or Stack Overflow as there is no active community for it, and no historical information other than a few badly OCR'ed publications! I've actually tried feeding ChatGPT and Claude the IPL-V manual and having them help, but, as anyone who has used LLMs to program well knows, they're good for boilerplate in common modern languages, but pretty poor at understanding subtle programming issues, especially in a dead language!)
So I'm looking for an Lisp hacker with a fascination for AI and computing history, or who just wants to be able to say they are one of two hackers alive who have worked on one of the first AI systems and languages. The only reward I can offer, aside from that badge of honor, is academic co-publication, as there's significant academic interest in early AI. (Once LT runs, there are several other of the earliest AIs that we should be able to breathe life into!)
So if you're intrigued by the idea of bringing the first AI programs back to life on the first AI programming language (really, one of the first ever programming languages, and almost certainly one of the most esoteric!), DM me.