Logic Theorist is presented at the Dartmouth summer conference
In the summer of 1956, at the conference that gave artificial intelligence its name, Newell and Simon presented Logic Theorist, a program that proved theorems from Principia Mathematica. The reception was lukewarm.