Great article. From the post, ...The project was finished in October 1995, and only one game defied every human player’s attempt to be successful: game #11,982

Great article. From the post, ...The project was finished in October 1995, and only one game defied every human player’s attempt to be successful: game #11,982, which has been shown to be unsolvable by several software solvers... So they are all winnable -- except one. Very strange that it would turn out to be only one game.