The other interesting bit is the combination, the intuition guiding (and evaluating the results of) the logical searching. I'm still holding out for the discov

The other interesting bit is the combination, the intuition guiding (and evaluating the results of) the logical searching. I'm still holding out for the discovery of a proof of winning strategy like other combinatorial games. That to me is the logical extreme, not magic evaluation of all states. There are two interesting books on analyzing Go with combinatorial game theory, they found a neat system of scoring in the endgame and can create example boards with one best move that can be found by mechanically applying their system but stumps 9p players (who use whatever systems).