没有被证明，还是称“四色猜想”为宜。

四色定理

1852年,英国青年学生弗兰西斯·葛斯里(后来成为数学家)向他哥哥弗雷德里克·葛斯里(后来成为物理学家)提出了一个问题:世界上的地图能否只用4种颜色来染色,以使每两个有共同边界的国家(假设每个国家的疆域是连成一片的)染上不同的颜色。弗雷德里克回答不了这个问题,转而请教他的老师、数学家德·摩尔根。德·摩尔根无法证明,就写信给哈密尔顿,结果哈密尔顿也无法证明。1878年,伦敦数学会负责人凯莱向伦敦数学会成员宣布了这一问题,遂形成了当今著名的“四色猜想”。

知识来源： 孙鼎国,王杰主编.西方思想3000年 下.北京:九洲图书出版社.1998.第1641页

四色定理four color theorem

图论中的一个著名定理.该定理断言:在一张地图上每一个国家是一个连通域,海的连通部分当作一个国家;有公共边界的两个相邻国家必须用不同的颜色,则只用4种颜色就可将此地图正确染色.

知识来源：《数学辞海》编辑委员会编.数学辞海 第六卷.北京:中国科学技术出版社.2002