Erdős problem 1065

Are there infinitely many primes $p$ such that $p = 2^k * q + 1$ for some prime $q$ and $k ≥ 0$ ?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

FormalConjectures/ErdosProblems/1065.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1065.leanErdos1065.erdos_1065.parts.i1 lineExact file

1True ↔ {p | ∃ q k, Nat.Prime p ∧ Nat.Prime q ∧ p = 2 ^ k * q + 1}.Infinite

OpenStatement only, no proof