If, despite lots of effort, we couldn't create a program that could beat any human in go, wouldn't this be evidence that we were far away from creating smarter-than-human AI?
Are you asking me if I know what the law of iterated expectations is? I do.
DeepMind's go AI, called AlphaGo, has beaten the European champion with a score of 5-0. A match against top ranked human, Lee Se-dol, is scheduled for March.