Erdős problem 141 · problems.science

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

No current result

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

FormalConjectures/ErdosProblems/141.lean

Formal Conjectures

FormalConjectures/ErdosProblems/141.leanErdos141.erdos_1411 lineExact file

1sorry ↔ ∀ k ≥ 3, ∃ s, Erdos141.Set.IsAPAndPrimeProgressionOfLength s k

OpenStatement only, no proof