Ang problemang ito ay nanatiling hindi nalulutas sa loob ng mahigit na sandaang taon , at ang patunay na ibinigay nina Kenneth Appel and Wolfgang Haken noong 1976 ( pagtiyak sa 1936 na uri ng konpigurasyon na ang pag @-@ aaral ay sapat at ang pagtsek ng katangian ng mga konpigurasyon ito sa pamamagitan ng kompyuter ) ay hindi kumumbinsi sa komunidad.
