En 1976 la conjetura tuvo demostración, gracias a Kenneth Appel y Wolfgang Haken, que utilizaron un ordenador para la demostración, lo cual generó múltiples controversias en el ambiente matemático.