Schaeffer's proof, described today in Science (and freely available here for others to verify), would make checkers the most complex game yet solved by machines, beating out the checker -
stacking game Connect Four in difficulty by a factor of a million.