Nice one, reading that post makes me wonder if the proof could be furthered when considering parallels from compression algorithms.
Compression algorithms detect recurring blocks and remove them with a special symbol and I think the shortest path would be uncompressable with compression algorithms.
https://www.wired.com/story/how-an-anonymous-4chan-post-help...