Conjectures about Mersenne primes
Are there infinitely many Mersenne primes?
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.Are there infinitely many Mersenne primes?
The first five Catalan-Mersenne numbers are known to be prime. Catalan conjectured that they are prime "up to a certain limit". Are all Catalan-Mersenne numbers with prime?
is normal in base 10.
For every integer there exists a prime between and .
For every integer there exists a prime between and .
Oppermann's Conjecture*: For every integer , the following hold:
There are infinitely many prime Pell numbers
Infinitely many perfect numbers conjecture.* Are there infinitely many perfect numbers? Reference:* Wikipedia
Infinitely many even perfect numbers conjecture.* Are there infinitely many even perfect numbers?
This is equivalent to asking whether there are infinitely many Mersenne primes, since by the Euclid–Euler theorem an even number is perfect if and only if it has the form where is a Mersenne prime. Reference:* Wikipedia
Odd Perfect Number Conjecture.* The Odd Perfect Number Conjecture states that all perfect numbers are even. Reference:* Wikipedia
Pollock's (tetrahedral numbers) conjecture: every integer is the sum of at most tetrahedral numbers.
Salzer–Levine strengthening (as stated on Wikipedia/OEIS): there are exactly integers that are not a sum of tetrahedral numbers, and the largest is .
Are there infinitely many primes such that is a perfect square? In other words: Are there infinitely many primes of the form ?
Are there infinitely many tuples of three consecutive primes such that ?
Quasiperfect Numbers Conjecture.* Do quasiperfect numbers exist?
Lehmer's conjecture: for all .
Does there exist a point in the plane at rational distance from all four vertices of the unit square?
Conjecture: The set of regular primes is infinite.
is irrational.
is irrational.