1976年，四色定理被成功证明，这是数学史上的重要里程碑。该定理指出：任何地图只需四种颜色即可确保相邻区域颜色不同。
总结：
1976年，美国数学家肯尼斯·阿佩尔（Kenneth Appel）与沃夫冈·哈肯（Wolfgang Haken）首次用计算机辅助证明了四色定理。这一突破打破了传统数学证明的界限，标志着计算机在数学研究中的重要作用。
| 人物 | 贡献 | 时间 | 方式 |
| 肯尼斯·阿佩尔 | 参与证明 | 1976 | 计算机辅助 |
| 沃夫冈·哈肯 | 参与证明 | 1976 | 计算机辅助 |
这一成果不仅解决了长期悬而未决的数学难题，也引发了关于“计算机是否能成为数学证明工具”的广泛讨论。
