Status
On this page
Status
Topics
Status
On this page
Status
Topics
Let and be minimal such that if has then there exist integers such that all pairwise sums are in (but the themselves need not be in ).
Estimate .
Source: erdosproblems.com/866
No claim settles this problem.
Open. The site's label is OPEN (page last edited 1 December 2025; so labeled on 2026-09-18 and 2026-10-06). The question asks for the order of , and no source determines it beyond the following: for and for (van Doorn 2026, Theorems 1 and 3, an arXiv preprint); for (van Doorn 2026, Theorems 5 and 8), where the 1975 statement holds for the positive-integer variant only; (Choi, Erdős and Szemerédi 1975, Theorem 4, both bounds valid for the site's ); for large (1975, Theorem 5) and for large (van Doorn 2026, Theorem 9, stated with a sketch); and for all and large (1975, Theorem 6). Open: the value of (bounded, between and ), the constants for , the order of for every , and the exponent for large . The results that settle instances of the question are recorded on the claim pages of Choi, Erdős and Szemerédi (accepted, partial: the order of and and the general bounds), van Doorn (claimed, partial: and exactly, bounded) and Erlbacher's release (claimed, partial: , an AI-produced manuscript of 8 July 2026 with a Lean development, announced in the thread); none is a full claim, so the standing derived from them is open. No proof claim exists on the site. This is a bounded negative finding, not a certificate of openness.