Joined 8 years ago
[1] https://arxiv.org/abs/1806.01261 [2] https://en.wikipedia.org/wiki/Four_color_theorem
[1] https://news.ycombinator.com/item?id=17266951