#chứng minh bằng máy tính

Định lý bốn màu: vì sao mọi bản đồ chỉ cần bốn màu để tô

Mọi bản đồ trên mặt phẳng tô được bằng bốn màu để hai vùng kề nhau khác màu. Câu hỏi đặt năm 1852, được Appel và Haken chứng minh bằng máy tính năm 1976.