四色猜想，也被稱為四色定理或四色問題，是一個著名的數學問題，其表述為每個平面地圖都可以用不多於四種顏色進行著色，使得沒有兩個相鄰的區域顏色相同。
四色猜想最早是由英國的弗南西斯·格思里提出，在1872年，英國數學家凱利正式向倫敦數學學會提出了這個問題，使得四色猜想成為世界數學界關注的焦點。關於四色猜想的證明歷程非常豐富和曲折，包括著名數學家哈密頓、凱爾文、泰勒等人的嘗試，以及計算機輔助證明的重大進展。
1976年，美國伊利諾斯大學的哈肯和阿佩爾利用電子計算機進行了長達1200小時的計算，完成了100億次判斷，最終證明了四色定理。這一成就標誌著四色猜想被解決，為數學領域帶來了一項重要的驗證成果。