Abstract
Is the recently obtained, computer‐aided proof of the Four Color Theorem an isolated phenomenon or is its combinatorial complexity typical for a significantly large class of mathematical problems? While it is too early to give a definite answer to this question, an informal discussion is undertaken in this article.

This publication has 7 references indexed in Scilit: