The issue is that we have no proof that they are primes in general, and they become large so quickly that verifying their primehood is (currently) impossible.
Are you supposed to start with 2^2 - 1 = 3; then 2^3 - 1 = 7; 2^7 - 1 = 127; etc? Those do seem to be all prime.