“The thousand-fold decrease in training cost from Libratus to Pluribus was due to algorithmic improvements, particularly depth-limited search, not just the falling cost of compute.”