The Four Color Theorem with Near-Linear Time Coloring
arxiv.org