再说回他们四人间的竞争，达特茅斯会议上纽厄尔、司马贺和麦卡锡、明斯基的竞争就已经发展到了几乎毫不掩饰的程度。纽厄尔和司马贺在达特茅斯只待了一周时间就离开了，一是由于他们应邀参会时就已经说了大约只会去两周，另外一个关键因素是他们觉得这个会上只有他们拿了干货出来，其他人要么是在“打酱油”，要么是在拿着过时的东西来糊弄一下，这里含沙射影的就是明斯基那个自动走迷宫的 SNARC。根据纽厄尔后来在回忆录中的描述，他自己直言不讳地说达特茅斯会议对他和司马贺并没什么启发和帮助。不过明斯基在后来对纽厄尔和司马贺的“逻辑理论家”的评价倒是挺高，支持说那是“第一个可工作的人工智能程序”。但事实上，他当时为大会写的总结里对“逻辑理论家”的记录只是“轻描淡写、一笔带过”，刻意淡化的意图非常明显。
44
第一部分 以智慧创造智慧
○一 1959 年，洛克菲勒大学教授王浩（华人，1983 年定理证明里程碑大奖得主）使用“王算法”在 IBM 704 计算机上仅用 9 分钟就证明了《数学原理》全书中属于一阶逻辑的全部350 条定理。1963 年，改进后的“逻辑理论家”也可以证明《数学原理》第 2 章的全部52 条定理了。
○二 玛格丽特·博登的 Mind as Machine: A History of Cognitive Science（第 2 卷）中专门谈到了这个事情，她倾向于不认同“逻辑理论家”是第一个人工智能程序的提法，因为虽然人工智能这个词以前还没出现，但要因此而否定之前那么多程序（如本书中提到的塞缪尔的跳棋程序）属于人工智能的范畴并不合适。
○三 王浩对“逻辑理论家”一直持不认同的态度，他认为这是一个不专业的东西。后来司马贺在回忆录中对王浩表示了不满，认为王浩没有理解“逻辑理论家”的设计初衷，其目的并不是证明定理，而是研究人的行为。