Skip to content

Erdős problem 429

Is it true that, if ANA\subseteq \mathbb{N} is sparse enough and does not cover all residue classes modulo pp for any prime pp, then there exists some nn such that n+an+a is prime for all aAa\in A?

Sources

Browse retained paths and inspect the exact material available for this Problem.

1 retained statement2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

429.lean

Retained formal statement1 of 1

Is it true that, if ANA\subseteq \mathbb{N} is sparse enough and does not cover all residue classes modulo pp for any prime pp, then there exists some nn such that n+an+a is prime for all aAa\in A?

Weisenberg [We24] has shown the answer is no: AA can be arbitrarily sparse and missing at least one residue class modulo every prime pp, and yet A+nA+n is not contained in the primes for any nZn\in \mathbb{Z}. (Weisenberg gives several constructions of such an AA.)

FormalConjectures/ErdosProblems/429.leanErdos429.erdos_4297 linesExact file
Falsef,    Filter.Tendsto f Filter.atTop Filter.atTop      ∀ (A : Set ℕ),        A.Infinite          (∀ (N : ℕ), (ASet.Icc 1 N).ncardf N) →            (∀ (p : ℕ), Nat.Prime p → ∃ b, ∀ aA, ↑ab) → ∃ n, ∀ aA, Nat.Prime (n + a)
SolvedProof has a holelean4external proof

The proof uses `sorry`: part of the argument is written but not proved. Lean accepts the file; it does not accept the theorem.

Search problems.science

Find a Problem, Result, source, or page