Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
This paper refines the Erdős–Szemerédi theorem's bound for the cardinality of a set containing pairwise sums of four distinct positive integers. By establishing that $C=4$ is sufficient for $n \ge 6$, the authors significantly improve upon previous bounds and demonstrate this constant is optimal. The proof leverages an AI-conceived approach, formalized by the Aristotle agent.
The optimal constant for detecting four distinct integers with all pairwise sums in a dense subset of $\{1, \ldots, 2n\}$ is 4, a dramatic improvement from previous bounds.
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.