تم إحراز تقدم بسيط في مشكلة الألوان الأربعة حتى عام 1976 ، عندما استخدم فولفجانج هاكين و كينيث أبيل جهاز كمبيوتر لحلها أخيرًا. قاموا بتخفيض عدد لا حصر له من الخرائط الممكنة إلى 1936 حالة خاصة ، تم فحص كل منها بواسطة كمبيوتر استغرق أكثر من 1000 ساعة في المجموع.