syllogism-machine

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