"Logic Theorist, był więc w pewnym sensie "kreatywny", bo generował dowody, których jego autorzy się nie spodziewali. Innymi słowy, choć program spełniał wymagania postawione przez jego autorów, jego zachowania nie można było (przynajmniej w łatwy sposób) przewidzieć. Sukces programu był spektakularny: dowiódł on 38 z 52 twierdzeń drugiego rozdziału Principia Mathematica Russella i Whiteheada. Co więcej, dowód twierdzenia 2.85 sformułowany przez Logic Theorist okazał się bardziej elegancki niż ten z Principiów. Russell był pod wielkim wrażeniem owego sukcesu, ale już "The Journal of Symbolic Logic" odmówił publikacji dowodu, którego autorem była maszyna."