By "underlying rules" I meant not rules of Go, but a detailed, commented algorithm that can win against human. Not a bunch of weights without any explanation.
It is possible that there is no algorithm that is understandable by normal humans or humans at all in the sense of the typical algorithmic approach of quick sort, etc.
In other words, the algorithm is very long for a relatively reduced programming language.
