The problem is there's no "ever better opponent" to play against---in Go it was a slightly different version of the model itself---and creating one, e.g. creating an ever improving model that generates ever more difficult theorems to prove, hasn't AFAIK occurred yet.