Vezměte libovolnou mapu a zkuste ji vybarvit tak, aby žádné dvě země se společnou hranicí neměly stejnou barvu. Čtyři barvy vždy stačí. Zní to skoro jako dětská úloha. Matematikům ale trvalo přes století, než to dokázali. První platný důkaz přišel v roce 1976 a vyvolal poprask, protože počítač musel ověřit 1 482 různých konfigurací. V roce 1997 se podařilo důkaz zjednodušit na 633. Teď přišel úplně nový důkaz. A paradoxně kontroluje 8 202 konfigurací. Jeho výhoda je jinde: řadu z nich dokáže řešit současně. Výsledkem je mnohem rychlejší postup pro skutečné vybarvení grafu, místo počtu kroků rostoucího přibližně s druhou mocninou velikosti grafu stačí zhruba \(n \log n\). Navíc z toho vypadly nové poznatky o struktuře rovinných grafů, které mohou být užitečné i pro jiné problémy. A jeden z autorů stejně říká, že nepřestane hledat důkaz bez počítače. Po 174 letech pořád doufá v ten okamžik, kdy se na celé čtyři barvy podíváme a řekneme si: aha. https://www.quantamagazine.org/the-four-color-theorem-gets-a-rare-new-proof-20260910/