“The Libratus AI bot defeated four top heads-up no-limit hold'em poker players by approximating the Nash equilibrium without adapting to or exploiting its opponents.”