“The Libratus bot developed a strategy of "overbetting" (e.g., betting 10 times the pot), a tactic not commonly used by humans at the time.”