1955 年，首个 AI 程序“逻辑理论家”开始研发。逻辑理论家（Logic Theorist）的发明者为纽厄尔、司马贺和 Cliff Shaw。它是首个可以自动进行推理的程序，被称为“史上首个人工智能程序”。该程序可以证明怀特海和罗素《数...
1955 年，首个 AI 程序“逻辑理论家”开始研发。逻辑理论家（Logic Theorist）的发明者为纽厄尔、司马贺和 Cliff Shaw。它是首个可以自动进行推理的程序，被称为“史上首个人工智能程序”。该程序可以证明怀特海和罗素《数学原理》一书第二章 52 个定理中的 38 个。