Are there infinitely many double Mersenne primes?
If Lenstra–Pomerance–Wagstaffs conjecture that there are infinitely many Mersenne primes is true, does this imply as well that there are infinitely many double Mersenne primes?
If so is it possible to estimate the density of them?
