As far as I can see, mathematical theory of Go is completely uninvolved. The key for them is trained multilayer neural nets; and it strikes me as amazing that said nets were able to be as smart as they apparently are.