Some lines of play involving large captures will effectively never terminate, even with superko rules in effect.
I doubt it is possible to eliminate all these non-terminating lines of play in any way that is provably correct. .. So while claims of solution by exhaustive search might be very convincing, I doubt they can ever be proved. _______________________________________________ computer-go mailing list computer-go@computer-go.org http://www.computer-go.org/mailman/listinfo/computer-go/