赫伯特·西蒙是非常伟大、极其了不起的科学天才。赫伯特·西蒙的伟大程度绝不在爱因斯坦之下。他的研究跨了很多领域，几乎在所有的领域都做到了极致。1969年获得心理学会的基础贡献奖，1975年获得计算机最高的图灵奖，1978年获得诺贝尔经济学奖，1984年获得政治学的麦迪逊奖，1988年获得运筹学的冯诺依曼奖，1993年获得心理学的终身贡献奖。除了科研，他管理能力也很强，创建了卡内基梅隆大学的研究生院，创立了卡内基梅隆大学的计算机系，还创建了卡内基梅隆大学的心理系，现在卡内基梅隆的心理系和计算机系是全美最强之一。他还对政治很有兴趣，担任美国科学院防止核战争委员会主席。尼克松总统访华的时候，他作为科学家代表团团长，他还为中国经济建设经济改革给邓小平先生提过建议。他指导学生也很厉害，有两个学生获得图灵奖。他研究的逻辑推理中涉及一个很重要的技术叫作“搜索”，为了让普通人知道“搜索”是一件什么事，他曾经写过一篇文章，这篇文章后来入围一个文学奖，但最后没有获奖。

他们最重要的贡献是“自动定理证明系统”（Logic Theorist）。这个系统在1956年达特茅斯会议上报告的只是一个雏形，真正的完工在1963年。著名逻辑学家罗素和Whitehead写了一本书叫《数学原理》。因为数学是其他科学的基础，逻辑又是数学的基础。他们一共花了十年的时间把里面的定理证明出来，这个程序只花了两个月就把所有定理全部证明出来。更重要的是中间有一条定理2.65，他们证明的结果比罗素证明的还要巧妙，更简短，更容易理解。后来西蒙把这个结果写信告诉了罗素，罗素非常震惊，立即给他们回了一封信。西蒙很好地理解了它的含义，就马上又回了一封信说，这个结果我们绝对不会告诉广大的中小学生。