OTOH, people have been using computer-assisted "configuration generation" for more than 50 years now. The 4-color problem was done on hardware that was already

OTOH, people have been using computer-assisted "configuration generation" for more than 50 years now. The 4-color problem was done on hardware that was already obsolete 30 years ago. I also would have expected mathematicians to take their hypotheses a bit more seriously. Especially since this does toppled at a rather modest problem size.