Is it true that, for every $n$ and $d$ , there exists $k$ such that $d ∣ p_{n + 1} + \dots + p_{n + k},$ where $p_{r}$ denotes the $r$ th prime?

Worked, still open.

number theory · solved · formalized (Lean) · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239

vela reproduce examples/erdos-problems

formal

AMS 11 · solved (literature)

theorem erdos_427 : answer(True) ↔ erdos427

solved