马丁·加德纳 (1975) 开了一个愚人节玩笑，声称上面（左图）所示的 110 个区域的地图需要五种颜色，并且构成四色定理的反例（参见 Wilson 2004，第 14-15 页；Chartrand 和 Zhang，第 23 页，2008 年；Posamentier 和 Lehmann，图 1.13，2013 年）。然而，由于四色定理是正确的（尽管直到 1976 年才被证明），因此该地图必定是（并且是）四色可着色的（上图右图），正如 Wagon (1998；1999，第 535-536 页) 明确着色所证明的那样，该着色是使用 Wolfram 语言算法获得的。
正如加德纳所说，“作为一项公共服务，我将简要评论 1974 年的六项重大发现，这些发现由于某种原因未充分报告给科学界和公众。” 去年纯数学领域最轰动的发现无疑是找到了臭名昭著的四色地图猜想的反例。正如本部门的所有读者都必须知道的那样，该定理是指四种颜色对于对所有平面地图进行着色既是必要又是充分的，以便没有两个具有共同边界的区域是相同的颜色。很容易构造只需要四种颜色的地图，拓扑学家很久以前就证明五种颜色足以对任何地图进行着色。然而，弥合这一差距让数学界最伟大的头脑都难以捉摸。大多数数学家都相信四色定理是正确的，并且最终会被证明。少数人认为它可能是哥德尔不确定的。多伦多大学的几何学家 H.S.M. 考克斯特几乎孤身一人地相信这个猜想是错误的。考克斯特的洞察力现在得到了证实。1974 年 11 月，纽约州瓦平格斯福尔斯的图论学家威廉·麦格雷戈构造了一张 110 个区域的地图，该地图无法用少于五种颜色进行着色。麦格雷戈的技术报告将于 1978 年发表在《组合理论杂志》B 系列上。” （威廉·麦格雷戈是一位真正的数学家，他创建了这张地图，并允许加德纳将其用作愚人节的恶作剧；MathNexus 2006 年。）
