Erdős problem 972

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

Sources

The source's own material, retained exactly.

1 retained statement36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

972.lean

Retained formal statement1 of 1

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

FormalConjectures/ErdosProblems/972.leanErdos972.erdos_9721 lineExact file

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

OpenStatement only, no proof