From checkers to chess: A brief history of IBM AI