プリンキピア・マテマティカ
間もなく Logic Theorist は『プリンキピア・マテマティカ』の第2章にある52の定理のうち38を証明してみせた。定理 2.58（二等辺三角形の定理）の証明は、ラッセルとホワイトヘッドが同書に掲載したものより洗練されていた。サイモンはその証明をラッセル自身に見せており、ラッセルは喜んだという。彼らは Logic Theorist による新たな証明を "" 誌に送ったが、初等数学の定理の新たな証明は注目に値しないとして受理されなかった。どうも、執筆者の1人がコンピュータプログラムだという点を見過ごされたようである。