這個(gè)四色猜想,沒(méi)有嚴(yán)格意義上被證明出來(lái).
有數(shù)學(xué)家利用計(jì)算機(jī).證明出來(lái)了,但是有的數(shù)學(xué)家還是不承認(rèn)這個(gè)方法.
附錄：
計(jì)算機(jī)證明四色問(wèn)題
　　高速數(shù)字計(jì)算機(jī)的發(fā)明,促使更多數(shù)學(xué)家對(duì)“四色問(wèn)題”的研究.從1936年就開(kāi)始研究四色猜想的?？?公開(kāi)宣稱(chēng)四色猜想可用尋找可約圖形的不可避免組來(lái)證明.他的學(xué)生丟雷寫(xiě)了一個(gè)計(jì)算程序,?？瞬粌H能用這程序產(chǎn)生的數(shù)據(jù)來(lái)證明構(gòu)形可約,而且描繪可約構(gòu)形的方法是從改造地圖成為數(shù)學(xué)上稱(chēng)為“對(duì)偶”形著手.
　　他把每個(gè)國(guó)家的首都標(biāo)出來(lái),然后把相鄰國(guó)家的首都用一條越過(guò)邊界的鐵路連接起來(lái),除首都(稱(chēng)為頂點(diǎn))及鐵路(稱(chēng)為弧或邊)外,擦掉其他所有的線,剩下的稱(chēng)為原圖的對(duì)偶圖.到了六十年代后期,海克引進(jìn)一個(gè)類(lèi)似于在電網(wǎng)絡(luò)中移動(dòng)電荷的方法來(lái)求構(gòu)形的不可避免組.在?？说难芯恐械谝淮我灶H不成熟的形式出現(xiàn)的“放電法”,這對(duì)以后關(guān)于不可避免組的研究是個(gè)關(guān)鍵,也是證明四色定理的中心要素.
　　電子計(jì)算機(jī)問(wèn)世以后,由于演算速度迅速提高,加之人機(jī)對(duì)話的出現(xiàn),大大加快了對(duì)四色猜想證明的進(jìn)程.美國(guó)伊利諾大學(xué)哈肯在1970年著手改進(jìn)“放電過(guò)程”,后與阿佩爾合作編制一個(gè)很好的程序.就在1976年6月,他們?cè)诿绹?guó)伊利諾斯大學(xué)的兩臺(tái)不同的電子計(jì)算機(jī)上,用了1200個(gè)小時(shí),作了100億判斷,終于完成了四色定理的證明,轟動(dòng)了世界.
　　這是一百多年來(lái)吸引許多數(shù)學(xué)家與數(shù)學(xué)愛(ài)好者的大事,當(dāng)兩位數(shù)學(xué)家將他們的研究成果發(fā)表的時(shí)候,當(dāng)?shù)氐泥]局在當(dāng)天發(fā)出的所有郵件上都加蓋了“四色足夠”的特制郵戳,以慶祝這一難題獲得解決.