Checkers, or Draughts, has been solved. With best play the game is a draw. The proof took one of the longest times to compute, ever. It was written by Jonathan Schaeffer.
https://www.newscientist.com/article/dn12296-checkers-solved-after-years-of-number-crunching/