logic-theorist

本文认为，从 Logic Theorist 到大型语言模型，现代AI本质上仍是一台操控模式而非真正推理或拥有世界模型的三段论机器，这呼应了尚未解决的框架问题。

重现第一个公开发布版本（1956年，IPL-I）的逻辑理论家定理证明器，这是Newell、Shaw和Simon开创性的人工智能程序，附带可运行的Python代码和文档。