馬大海指示一名操作員同誌在輸出端口輸入了圓周率計算公式，用鼠標點擊了開始計算按鈕，隻見3.14後麵不斷出現的1592654…“世界各國的數學家們震驚了，沒想到計算機這麼厲害，隻見數字不停的出現在後麵，屏幕上顯現出的3.14…後尾數瞬間突破了上千，還不到一刻鍾時間，計算仍在繼續，馬大海悠閑的喝著咖啡說道：“先生們，我剛才隻是掩飾它的計算過程就是這麼簡單，今天就來見證，1852年10月23日，英國著名數學家德.摩爾根也沒有能找到解決四色猜想的難題。”
用計算機來驗證四色猜想難題，這道世界性難題可是困擾了數學界一百多年，1852年，畢業於倫敦大學的弗南西斯.格思裏來到一家科研單位搞地圖著色工作時，發現了一種有趣的現象：“看來，每幅地圖都可以用四種顏色著色，使得有共同邊界的國家著上不同的顏色。”這個結論能不能從數學上加以嚴格證明呢？他和在大學讀書的弟弟格裏斯決心試一試。兄弟二人為證明這一問題而使用的稿紙已經堆了一大疊，可是研究工作沒有進展。1852年10月23日，他的弟弟就這個問題的證明請教他的老師、著名數學家德.摩爾根，摩爾根也沒有能找到解決這個問題的途徑，於是寫信向自己的好友、著名數學家哈密爾頓爵士請教。哈密爾頓接到摩爾根的信後，對四色問題進行論證。但直到1865年哈密爾頓逝世為止，問題也沒有能夠解決。
1872年，英國當時最著名的數學家凱利正式向倫敦數學學會提出了這個問題，於是四色 猜想成了世界數學界關注的問題。世界上許多一流的數學家都紛紛參加了四色猜想的大會戰 。1878～1880年兩年間，著名的律師兼數學家肯普和泰勒兩人分別提交了證明四色猜想的論文，宣布證明了四色定理，大家都認為四色猜想從此也就解決了。
11年後，即1890年，數學家赫伍德以自己的精確計算指出肯普的證明是錯誤的。不久，泰勒的證明也被人們否定了。後來，越來越多的數學家雖然對此絞盡腦汁，但一無所獲。於是，人們開始認識到，這個貌似容易的題目, 實是一個可與費馬猜想相媲美的難題：先輩數學大師們的努力，為後世的數學家揭示四色猜想之謎鋪平了道路。
進入20世紀以來，科學家們對四色猜想的證明基本上是按照肯普的想法在進行。1913年，伯克霍夫在肯普的基礎上引進了一些新技巧，美國數學家富蘭克林於1939年證明了22國以下的地圖都可以用四色著色。1950年，有人從22國推進到35國。1960年，有人又證明了39國以下的地圖可以隻用四種顏色著色；隨後又推進到了50國。看來這種推進仍然十分緩慢。電子計算機問世以後，由於演算速度迅速提高，加之人機對話的出現，大大加快了對四色猜想證明的進程。1976年，美國數學家阿佩爾與哈肯在美國伊利諾斯大學的兩台不同的電子計算機上，用了1200個小時，作了100億判斷，終於完成了四色定理的證明。
馬大海很快在世界各國數學家精英的震驚眼神中，很快用計算機做了推演，相對於1976年的計算機技術水平，還處在貨架式的計算機技術狀態，重達幾十噸，需要大量電風扇為其降溫，每秒鍾運算速度大約隻有100萬次。
馬大海製造的計算機，采用了集成電路技術，每秒鍾運算速度突破了1000萬次，這次用計算機完成四色推演隻用了120個小時，期間無數頭腦發熱的數學教授老怪物們一連幾天都不吃不喝，直接守在電腦跟前不時用紙筆驗證著一些數據，不時與身邊的人進行交流著，有幾名數學發燒狂的人進入了馬大海視線，他們除了吃飯洗漱時間，每天休息時間不到4個小時，都迷上了電腦，直接到了5天5夜的時間，計算機推演出了正確結果，各國數學精英們徹底瘋狂了，在得知計算機是馬大海設計研發的，一個個像是打了雞血似地追問計算機研究所的同誌這些計算機賣不賣？