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 statement7 of 7

The first three odd primes are an example of three consecutive primes.

FormalConjectures/ErdosProblems/141.leanErdos141.first_three_odd_primes1 lineExact file

1Erdos141.Set.IsPrimeProgressionOfLength {3, 5, 7} 3

TestStatement only, no proof