Fue resuelto, a mediados de 1970, por Kenneth Appel y Wolfgang Haken.