四色猜想與哥德巴赫猜想加上已經被證明的費馬大定理並稱近代數學三大難題。
四色猜想聽上去很簡單，也是民科研究的重點之一。
數學語言表達為，如果將平面任意地細分為不相重疊的區域，每一個區域總可以用1，2，3，4這四個數字之一來標記，那不會使相鄰的兩個區域得到相同的數字。
簡單來說他就是一個染色問題，將一張地圖分割成無數塊，能否只用四種顏色就能使具有共同邊界的國家著上不同的顏色。
大道至簡，這是染色問題的一種終極形態。而染色問題之所以能在數學界一席之地也是因為它的存在。
嚴格意義上來說，四色猜想已經被人們用計算機證明了。
1976年，數學家凱尼斯·阿佩爾和沃夫岡·哈肯藉助計算機暴力破解了這個問題。
雖然計算機最後的結果是正確的，但由於證明過程太過於複雜，僅憑人類的計算能力根本無法對它進行驗算。
所以直至今日，數學界只是被迫接受了這個結果，但有很多追求完美的學者無法接受用這樣一種醜陋的方式去解決一個數學問題。
他們認為如果無法用算式表達出來，就永遠不算解決了這個問題。
簡單來說就是解決方式非主流，不具備數學美感！
張堯之所以選擇這個問題，也是對染色問題非常感興趣，再加上之前解決的也是染色問題，所有他想挑戰一下染色問題的終極問題有多難，也順道檢測一下他現在到底屬於什麼水平！
說起來這個系統從他上大學到現在連吱都沒吱一聲，要不是“清醒夢”和“實驗室”功能還能用他都以為這已經是一個廢統了。
系統:“吱！”
“.....”
張堯:“我靠！你詐屍啊！”
系統:宿主有何事？
張堯翻了個白眼道，“沒什麼事，看你宕機了沒，好久沒聽到你的聲音了，怪想念的。”
系統:“.....”
系統:宿主如果沒事的話，本系統就告辭了。
張堯撓了撓腦袋，他就感覺離譜，仔細算來，他進去大學做的事已經不少了，但現在好像沒有一件能入系統的眼的，連個反應都沒。
而且都兩年了，任務一個都沒，這破系統，吃棗要丸！
算了，張堯覺得好不容易喚醒一次系統不能什麼都不幹，於是就好奇查了查自己現在的資料。
:開啟面板！
系統:
宿主：張堯
身高：181㎝
體重：71kg
記憶力：天才(成長中）
想象力：天才(成長中）
專注：強
圖書館功能:清新夢(第一層)，夢中講堂(第一層)，夢中實驗室(第二層)，清新夢二倍速(第二層)，圖書館(第三層)靈感之梯，夢中實驗室(強化版)。
張堯看了看資料，好像也沒發現哪裡出了問題。
不對，前幾天和沈教授幾人一起聚餐吃多了，胖了六斤，該減肥了。
不過這都是細節，沒必要在意。
張堯仔細看著系統的功能，他就覺得靈感之梯就是個假的！說摸到東西會觸發靈感之，結果都過了一年多了，他一次都沒碰到過，他要投訴！
系統:那是你臉黑，小黑臉！明明中獎率高達百分之0.1。你一年都沒遇上，是你自己的問題。
張堯咆哮道:你才黑！你全家都黑！爺這是小麥色！最健康不過的膚色了！
系統:反正和我沒關係，還有，你現在研究的四色猜想不錯。
張堯:不錯？
系