3 ms·
A bit surprising that no one seriously attempted to find a counter example before.
by sorokod 3y ago
A bit surprising that no one seriously attempted to find a counter example before.
- Ekaros 3y agoI don't think it is unexpected if the counter examples are really really big. It haven't been so long we have gotten lot of processing power and memory. If the counter examples only appear when you are in territory that is unfeasible by hand it is not so surprising.
- tgv 3y agoOTOH, 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.