MathCastle
Proof WritingChallengeWhat a Proof Is

What a Proof Is · Challenge problem

Claim: "if pp is prime, then 2p−12^p - 1 is prime." It holds for p=2,3,5,7p = 2, 3, 5, 7 (giving 3,7,31,1273, 7, 31, 127). What is the smallest prime pp for which it fails?