Jonathan Shaeffer with a checkers board after "solving" the game of checkers