伦·纽厄尔和后来荣获诺贝尔奖的赫伯特·西蒙在J. C. Shaw的协助下开发了“逻辑理论家（Logic Theorist）”。这个程序能够证明《数学原理》中前52个定理中的38个，其中某些证明比原着更加新颖和精巧。Simon认为他们已经“解决了神秘的心/身问题，解释了物质构成的系统如何获得心灵的性质。” （这一断言的哲学立场后来被John Searle称为“强人工智能”，即机器可以像人一样具有思想。）
1956年达特茅斯会议：AI的诞生.1956年达特矛斯会议的组织者是马文·明斯基