Comment Re:Oh FFS it is not AI (Score 1) 115
While some might want to call that program AI that's like calling your graphing calculator AI. Logic Theorist had a defined set of proofs and nothing else. The program couldn't grab different proofs. Note that they didn't add unknown problems to the program to solve. Also note that the program couldn't generate unique problems.
So it is just like calling word hunters like LLM's AI. They don't have understanding, will, or curiosity, which are pre-requisites for actual intelligence. You're basically calling ALL of the programs that do OCR artificial intelligence, which is pathetically laughable. At that point a Difference Engine or any calculator is AI, and one that is more robust than LLM's because it doesn't spit out incorrect answers as truth.