There's an associated Quanta article that goes with the video, along with a previous HN submission for that: [1] https://www.quantamagazine.org/mathematician-d

There's an associated Quanta article that goes with the video, along with a previous HN submission for that: [1] https://www.quantamagazine.org/mathematician-disproves-hedetniemis-graph-theory-conjecture-20190617/ https://www.quantamagazine.org/mathematician-disproves-hedet... [2] https://news.ycombinator.com/item?id=20203707 https://news.ycombinator.com/item?id=20203707