在waterloo combinatorics conference上，著名的组合学家David Jackson宣布他和数学家Bruce Richmond一起给出了不依赖计算机的四色定理的证明。证明只有5页。
--
FROM 1.86.22.55