最繁的數學證明

最繁的數學證明，指的是1976年美國數學家阿佩爾和哈肯證明了四色問題。

1976年，美國數學家阿佩爾和哈肯宣布，它們用電子計算機足足算了1200個小時，終於證明了四色問題！這是迄今為止做出的最繁的數學證明。
1852年，倫敦的一名學生思烈在一封信中提到：“在平面或球面上畫地圖，要是的相鄰的國家具有不同的顏色，似乎只要四種顏色就夠了。”人們猜測這裡面是否存在著某種必然性，數學家把它歸納為拓撲學上的數學問題，這個問題就是著名的四色問題。100多年來，許多數學家為此作了巨大的努力，雖然取得了進展，但都沒有獲得最後的證明。直到美國數學家阿佩爾和哈啃的證明。