Logic Theorist soon proved 38 of the first 52 theorems in chapter 2 of the Principia Mathematica.
Programmet lyckades bland annat bevisa 38 av de första 52 teoremen i det andra kapitlet av Principia Mathematica.