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-hedet...

[2] https://news.ycombinator.com/item?id=20203707