Libratus, an AI system from Carnegie Mellon University, has beat out four poker professionals in a 20-day heads-up Texas Hold'em tournament.