四色定理的证明出现严重错误，1976年的机器证明是无效的，很可能A德摩根已经证明了四色定理。