The essence of the four-color theorem is the inherent property of a two-dimensional plane, that is, two straight lines in the plane that cannot intersect and have no common points. Many people have proved that it is impossible to construct five or more connected regions on the two-dimensional plane, but it does not rise to the level of logical relationship and two-dimensional inherent attributes, which leads to many wrong counterexamples. But these are precisely the textual research and development promotion of the rigor of graph theory. The computer proves that although we have made tens of billions of judgments, we have only succeeded in a huge number of advantages, which does not conform to the strict logic system of mathematics, and there are still countless math enthusiasts involved.