AI named Ataraxos beats top Stratego player, ending long holdout for hidden-i…