“Over the course of 120,000 hands, the Libratus bot won close to $2 million in notional money against human professionals.”