Why is there only a polynomial number of provers in multi-prover interactive protocols?
Yes. We could have defined MIP to allow an exponential number of provers but that is basically  the PCP model which is equivalent to MIP with a polynomial (or just two) provers.