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

Worked, still open.

additive combinatorics · open · formalized (Lean) · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239

vela reproduce examples/erdos-problems

evidence

unverified AI candidates (2)

gpt-erdos · GPT-5.2 Pro + Deep Research · unverified

Interpreting “$k$ consecutive primes” in the standard way (consecutive in the ordered list of primes), this is the problem of finding

llm-hunter · gpt pro 5.2 · unverified

1 LLM attack(s) recorded (gpt pro 5.2); unverified.

AMS 5 11 · test (literature)

theorem first_three_odd_primes : ({3, 5, 7} : Set ℕ).IsPrimeProgressionOfLength 3

open