Erdős problem 141 · problems.science

Let $k≥3$ . Are there $k$ consecutive primes in arithmetic progression?

Sources

Browse retained paths and inspect the exact material available for this Problem.

7 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

141.lean

Retained formal statement5 of 7

It is open, even for $k=3$ , whether there are infinitely many such progressions.

FormalConjectures/ErdosProblems/141.leanErdos141.erdos_141.variants.infinite_three1 lineExact file

1sorry ↔ (Erdos141.consecutivePrimeArithmeticProgressions 3).Infinite

OpenStatement only, no proof