The article says that the proof is backed up by research from Los Alamos and some experience with random walkers. I am pretty familiar with the latter. My experience is that some random walkers, a recursive path search, and patience can solve a lot of basic computer science problems.