AI beats professionals in six-player poker