Thanks to Greg Muller, I’m looking at this paper by Dror Bar-Natan that reduces the Four Color Theorem to a plausible statement about Lie algebras. Now we just have to hope this new conjecture does not not require hundreds of pages of computer generated proof.