Anne H. Milley, director of technology product marketing at SAS
"On May 8, 2007, we were pleased to announce that checkers is now solved. From the standard starting position, Black (who moves first) is guaranteed a draw with perfect play. White (moving second) is also guaranteed a draw, regardless of what Black plays as the opening move. Checkers is the largest game that has been solved to date.
Computers don't actually think. You just think they think. (We think.)