Erdős problem 972 · problems.science

Erdős problem 972. Let $\alpha > 1$ be irrational. Are there infinitely many primes $p$ such that $\lfloor p\alpha \rfloor$ is also prime?

No current result

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

FormalConjectures/ErdosProblems/972.lean

Formal Conjectures

FormalConjectures/ErdosProblems/972.leanErdos972.erdos_9721 lineExact file

1True ↔ ∀ α > 1, Irrational α → (Erdos972.primeSet α).Infinite

OpenStatement only, no proof