I saw Schaeffer talk at the 50th anniversary of the Dartmouth Conference. He's a cool guy doing lots of cool stuff, and he mentioned that checkers was "almost solved". Check out his website for some of his other projects.

And how disturbing is it that Chinook has killed a human being?