Skip to content

Erdős problem 342

a(3)=4a(3) = 4: among sums >3> 3 with a unique representation from {1,2,3}\{1,2,3\}, the smallest is 4=1+34 = 1 + 3. The candidate 5=2+35 = 2 + 3 is ruled out by minimality since 44 has a unique representation.

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/342.lean

Formal Conjectures

FormalConjectures/ErdosProblems/342.leanErdos342.erdos_342.parts.i1 lineExact file
sorry ↔ ∀ (a : ℕ → ℕ), Erdos342.IsUlamSequence a → {n | ∃ m, a m = a n + 2}.Infinite
OpenStatement only, no proof

Reported activity

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

  • AI collaborating with humans

    Erdős AI contributions wiki · 20 Jan-23 Mar, 2026

    Machine
    GPT-5.2 Pro, GPT-5.4 Pro
    People
    Przemek Chojecki
    Open the source record

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page