Did you know that mathematician Paul Erdős called the Hadwiger conjecture , a still-open generalization of the four-color problem , "one of the deepest unsolved problems in graph theory "?