PROVED
This has been solved in the affirmative.
Let $A\subset \mathbb{N}$ be a set with positive upper density. Must there exist an infinite set $B$ and integer $t$ such that\[B+B+t\subseteq A?\]
Erdős
[Er75b] posed this as a candidate for a density version of Hindman's theorem (see
[172]).
This is true, and was proved by Kra, Moreira, Richter, and Robertson
[KMRR24].
See also
[109].
View the LaTeX source
When referring to this problem, please use the original sources of Erdős. If you wish to acknowledge this website, the recommended citation format is:
T. F. Bloom, Erdős Problem #656, https://www.erdosproblems.com/656, accessed 2026-01-14