四色定理的计算机辅助证明曾引发争议，最终通过形式化验证与人工审查相结合才获得承认。