Are Mersennes any more or less likely to be excluded by a probabilistic primality test than other numbers might be?
If you scroll to the very bottom there's some stuff on recent use of probable prime proofs, as well as a fairly detailed explanation of how the whole thing operates.