I bet it loses when I get frustrated and uninstall its ass from Add/Remove programs! :O)
By my understanding of the article, they’re saying that they’ve classified every position of ten checkers as being a win for white, a win for black, and a draw; they’re assuming that if both sides play reasonably the game will not end up in any of the ten-piece positions which is a win for white or black. That’s probably true, but I’m curious what sort of formal argument one would use to show that one side couldn’t force the game to either end up in one of the ten-piece positions where he would be victorious, or for that matter to end up in an eleven- or twelve-piece position where he’d already won (the latter, of course, would seem pretty unlikely).
Spock will be able to prove that the ships computer was tampered with after successfully beating the computer at a game of checkers.
No wait that was tri-dimensional chess.