Comment by colordrops

That wouldn't be a proof though. The article is about exhausting the problem space rather than a probabilistic approach.