Logic Theorist proved __ theorems in Chapter 2 of “Principia Mathematica”
What was the very first AI?
Imported from external platform