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. is prime
2. is prime
3. Exists a number k such that or
Formal statement · Lean 4.lean
theorem new_mersenne_conjecture (p : ℕ) (hp : Odd p) :
NewMersenneConjectureStatement p := by
sorryProof. sorry
Nobody has tried yet.