“The 2017 poker bot Libratus defeated four top poker professionals by a margin of 15 big blinds per 100 over 120,000 hands.”