Nice one, reading that post makes me wonder if the proof could be furthered when considering parallels from compression algorithms. Compression algorithms dete

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.