四色定理迎来罕见新证明
The Four-Color Theorem Gets a Rare New Proof
四色定理自1976年借助计算机首次证明以来，始终让数学家们心痒难耐。尽管结论已定，但原有证明过程冗长且缺乏深层理论洞察。如今，由Carsten Thomassen、Mikkel Thorup、Ken-ichi Kawarabayashi和Bojan Mohar领衔的国际团队，在耗时近十年后发布了全新的证明。这次突破不仅再次确认了定理的正确性，更在探索图论中常被忽视的“平坦区域”时，发现了一种更高效的地图着色算法。这项成果不仅解决了困扰学界已久的效率问题，更为理解planar graphs的结构性质提供了全新视角，让这一经典难题焕发出新的生命力。
有些数学问题在得到解答后，依然长久地困扰着研究人员。
- pvillano
尽管我很讨厌这种说法，但我认为我们永远无法得到一个不依赖穷举案例的四色定理证明。
当你看到一个积分或无穷级数的和等于 pi 时，你心里清楚一定存在某种涉及圆形的令人满意的解释。
对比一下数学 Stack Exchange 上的“最终失效的模式示例”[^1]。当一个模式在 906150257 处终止时，你并不指望它的证明会多么优美。某个上界确切数值的原因，仅仅是因为它既不能更小，也不能更大。
e、i、pi 和 -1 之间的关系源于复数与旋转之间更深层的联系。
而平面图、顶点着色和数字 4 之间的关系，可能仅仅是因为我们把平面图和顶点着色放在同一个房间里，结果冒出来的是 4，而不是 3 或 5。
- andrewla
四色定理之所以让这么多人着迷，并引发大量民科（cranks）的原因，并不是因为这个问题表述起来很简单。
而是因为 Kempe 的证明虽然最终被证伪，但却非常优雅且易于理解。要看出它错在哪里其实相当棘手！而且一旦你明白了它错在哪，就会觉得它离正确的证明似乎只差一两个修正。
如果你还没读过 Kempe 证明的概要（维基百科的文章对此描述得相当不错），那你一定要去读读。我向你保证，你肯定会浪费至少一点时间，试图在两行内找出如何修正这个证明，从而瞬间成为世界闻名的数学家。
- pvillano
最好别是那种需要单独检查成百上千种构型的证明。
编辑：该死。
昨晚我还在结合最近 Navier-Stokes 的闹剧，以及 Tao 在 Mastodon 上关于“晦涩难懂的计算机生成形式化毫无用处”的帖子，思考四色定理的问题。我真希望某家 AI 公司能找到一个不需要单独检查各种构型的四色定理证明，并对其进行优化，使其对人类更易于理解。