An artificial intelligence program called Libratus played 120,000 hands of a two-player variant of poker and beat four leading human professionals.