After 5,000 years, the game of Nine Men's Morris has succumbed to the power of modern computing, plus other recent mathematical discoveries in the world of games.