The cardinality of a set containing the pairwise sums of four positive integers
Choi, Erdős and Szemerédi showed that there exists an absolute constant $C$ such that for all subsets $A \subseteq \{1, 2, \ldots, 2n\}$ with at least $n+C$ elements, there exist four distinct positive integers whose pairwise sums are all contained in $A$. A proof that one can take $C = 3166$ was recently sketched by the first author, and here we show that we actually have $C = 4$ for all $n \ge 6$, which is optimal. The proof we present was originally conceived of by AI, with the final result proved and formalized by Aristotle, the formal reasoning agent developed by Harmonic.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.39314
curl -X POST /api/v1/records/arxiv/2609.39314/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.39314/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'