Erdős problem 141

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

Sources

The source's own material, retained exactly.

7 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

141.lean

Retained formal statement3 of 7

The existence of such progressions has been verified for $k≤10$ .

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

1∀ k ≥ 3, k ≤ 10 → ∃ s, Erdos141.Set.IsAPAndPrimeProgressionOfLength s k

SolvedStatement only, no proof