It is shown that the assumption of NP having polynomial-size circuits
implies (apart from a collapse of the polynomial-time hierarchy as sho
wn by Karp and Lipton) that the classes AM and MA of Babai's Arthur-Me
rlin hierarchy coincide. This means that also a certain inner collapse
of the remaining classes of the polynomial-time hierarchy occurs.