Wikipedia · research open · AMS 11
unsolvedsorry — nobody on it
Dickson's conjecture
Conjecture · dickson_conjecture
**Dickson's conjecture** If a finite set of linear integer forms satisfies Schinzel condition, there exist infinitely many natural numbers such that are primes for all .
Formal statement · Lean 4.lean
theorem dickson_conjecture (fs : Finset ℤ[X]) (hfs : ∀ f ∈ fs, f.degree = 1 ∧ BunyakovskyCondition f)
(hfs' : SchinzelCondition fs) : Infinite {n : ℕ | ∀ f ∈ fs, (f.eval (n : ℤ)).natAbs.Prime} := by
sorryProof. sorry
Nobody has tried yet.