四色定理的计算机证明一度不被部分数学家完全接受，因为它过于冗长、难以人工核验。