An interesting fact I learned while reading The Dream Machine[1], is that Newell, Simon and Shaw’s Logic Theorist (1956) was considered to be the “first AI prog

An interesting fact I learned while reading The Dream Machine[1], is that Newell, Simon and Shaw’s Logic Theorist (1956) was considered to be the “first AI program”. Quoting from Wikipedia: https://en.wikipedia.org/wiki/Logic_Theorist https://en.wikipedia.org/wiki/Logic_Theorist “Logic Theorist is a computer program completed in 1956 by Allen Newell, Herbert A. Simon, and Cliff Shaw.[1] It was the first program deliberately engineered to perform automated reasoning, and has been described as "the first artificial intelligence program".[1][a] Logic Theorist proved 38 of the first 52 theorems in chapter two of Whitehead and Bertrand Russell's Principia Mathematica, and found a new and shorter proof for Theorem 2.85.[3] [1] https://press.stripe.com/the-dream-machine https://press.stripe.com/the-dream-machine” Amusing and amazing to see this in the context of today’s Erdos-slaying LLMs.