4色の定理に欠陥があるという証拠を提示する数学者がいましたが、最終的にはコンピューターモデリングで正しいことが証明されました。
While there were some mathmaticians that put forth evidence that the four color theorem was flawed, it was eventually proven correct with computer modeling.