Zundark wrote: > > carel wrote: > > > I recently saw that 2^71 -1 has not been tested for primeness. > > I can't imagine where you saw this. 2^p - 1 has been tested > at least once for all p < 6434700. See the GIMPS status page: > http://www.mersenne.org/status.htm . If you really want > to search for new Mersenne primes you should join GIMPS. > -- Zundark
A propos de Mersenne primes: M(2,p) = 2^p -1 (prime exponent p) has binary representation: p ones.
Generalizing this to higher-base representations yields: p ones (base b) M(b,p) = (b^p -1)/(b-1).
Notice the only known two Wieferich primes 1093 and 3511 are: