Wikipedia · research open · AMS 11

unsolvedsorry — nobody on it

Conjectures about Mersenne primes

Conjecture · new_mersenne_conjecture

For any odd natural number p if two of the following conditions hold, then all three must hold: 1. 2p−12^p-1 is prime 2. (2p+1)/3(2^p+1)/3 is prime 3. Exists a number k such that p=2kpm1p = 2^k \\pm 1 or p=4kpm3p = 4^k \\pm 3

Formal statement · Lean 4.lean
theorem new_mersenne_conjecture (p : ℕ) (hp : Odd p) :
    NewMersenneConjectureStatement p := by
  sorry

Proof. sorry

Nobody has tried yet.

Reference ↗ · Lean source ↗