An artificial intelligence program has defeated leading professionals in six-player no-limit Texas hold'em poker, the world's most popular form of poker.