I’m not quite sure what you’re saying here, but the “confusion” the go-playing programs have here seems to be one that no human player beyond the beginner stage would have. They seem to be missing a fundamental aspect of the game.
Perhaps the issue is that go is a game where intuitive judgements plus some tree search get you a long way, but there are occasional positions in which it’s necessary to use (maybe even devise and prove) what one might call a “theorem”. One is that “a group is unconditionally alive if it has two eyes”, with the correct definition of “eye”. For capture races, another theorem is that the group with more liberties is going to win. So if you’ve got 21 liberties and the other player has 20, you know you’ll win, even though this involves looking 40 moves ahead in a tree search. It may be that current go-playing programs are not capable of finding such theorems, in their fully-correct forms.
I’m not quite sure what you’re saying here, but the “confusion” the go-playing programs have here seems to be one that no human player beyond the beginner stage would have. They seem to be missing a fundamental aspect of the game.
Perhaps the issue is that go is a game where intuitive judgements plus some tree search get you a long way, but there are occasional positions in which it’s necessary to use (maybe even devise and prove) what one might call a “theorem”. One is that “a group is unconditionally alive if it has two eyes”, with the correct definition of “eye”. For capture races, another theorem is that the group with more liberties is going to win. So if you’ve got 21 liberties and the other player has 20, you know you’ll win, even though this involves looking 40 moves ahead in a tree search. It may be that current go-playing programs are not capable of finding such theorems, in their fully-correct forms.