Is it true that in any $2$ -colouring of $N$ there exists an infinite set $A$ such that all elements of $A + A$ are the same colour?

Worked, still open.

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

use this record

vela registry pull vfr_37aec80d874a0239

vela reproduce examples/erdos-problems

formal

AMS 5 · open (literature)

theorem erdos_1199 :
    answer(sorry) ↔
    ∀ (color : ℕ → Fin 2), ∃ (A : Set ℕ),
    A.Infinite ∧ ∀ n ∈ (A+A), ∀ m ∈ (A+A), color n = color m

open