Én úgy hallottam, hogy a négyszin sejtést számitógépes szimulációval oldották meg. Legenerálták az összes topológiailag lehetséges esetet (talán nindössze több ezer lehetett), és mindegyikre végigfuttatták a lehetséges szinezéseket. Ez hozta ki, hogy nincs megoldás.
Ez tényleg nem valami emészthető, ha a számunkra szimpatikus matematikai levezetésekkel vetjük össze.