TOOK THEM 18 YEARS, but they did it: they solved checkers.
The game of checkers has roughly 500 billion billion possible positions (5 x 10^20). The task of solving the game, determining the final result in a game with no mistakes made by either player, is daunting. Since 1989, almost continuously, dozens of computers have been working on solving checkers, applying state-of-the-art artificial intelligence techniques to the proving process. This paper announces that checkers is now solved: Perfect play by both sides leads to a draw.
Thought Zach, especially, would be interested in this.