Carnegie Mellon Reveals Inner Workings of Victorious Poker AI Libratus AI Defeated Top Pros in 20 Days of Poker Play [1]