Logic Theorist
ニューウェルとサイモンはその会議で Logic Theorist を意気込んで公開したが、反応が微妙だったため若干驚いた。パメラ・マコーダック(英語版)は「ニューウェルとサイモンは長期的観点で重要なことを達成したと感じていたが、記録によれば誰もそれを褒め称えなかった」と記している。サイモンは後に「我々はたぶん非常に横柄だった」と述べ、さらに次のように続けている。
彼らは我々から何か聞きたかったわけではなく、もちろん我々も彼らから何か聞きたいわけではなかった。我々には彼らに見せるものがあった!...我々は彼らが後に作ろうとしていたものの実例を既に完成させており、彼らは我々にあまり関心がなかったという点で、それは皮肉な結果となった。
間もなく Logic Theorist は『プリンキピア・マテマティカ』の第2章にある52の定理のうち38を証明してみせた。定理 2.58(二等辺三角形の定理)の証明は、ラッセルとホワイトヘッドが同書に掲載したものより洗練されていた。サイモンはその証明をラッセル自身に見せており、ラッセルは喜んだという。彼らは Logic Theorist による新たな証明を The Journal of Symbolic Logic 誌に送ったが、初等数学の定理の新たな証明は注目に値しないとして受理されなかった。どうも、執筆者の1人がコンピュータプログラムだという点を見過ごされたようである。
ニューウェルとサイモンはその後も協力関係が続き、カーネギーメロン大学に人工知能研究所を創設し、その後も一連の人工知能プログラム(GPS、Soar)を開発し、理論(認知の統一理論)を提唱した。
Logic Theorist は探索木を探査する。その根は初期の仮説であり、それぞれの分枝は論理規則に基づいた演繹を表している。最終的にどこかの葉ノードがゴール、すなわちプログラムが証明しようとしている命題である。ゴールまでの枝の連なりが証明の流れとなっている。証明の個々の文は論理規則から演繹されたもので、それによって仮説から証明すべき命題へとたどり着く。