且完成人类难以做到的计算。1976年四色定理的证明是计算机辅助证明的经典例子。证明的方法是将地图上的无限种可能情况减少为1936种状态，并由计算机对每个可能的情况进行验证。有不少数学家对于计算机证明持谨慎态度，因为很多证明太长，不能由人手直接验证。此外，算法上的错误，输入时的失误甚至计算机运行期间出现的错误都有可能导致错误的结果。
证明的结尾.有时在证明的结尾会加上Q.E.D.三个字母，这是拉丁文Quod Erat Demonstrandum的缩写，意思是「证明完毕」。现在的证明完