“The counterfactual regret minimization algorithm is proven to converge to a Nash equilibrium for all games, including chess and poker.”