Erdős Problem #43

Partial progress by Aristotle (4 Dec 2025): new proof of partial result (Lean).

Problem
Erdős problem #43 (number theory, sidon sets, additive combinatorics); current status: disproved (Lean)
Credit
Aristotle · AI building on known literature
Checked
Lean formalizationListed in Tao's wiki
Timeline
First AI contribution 2025-12-04 · wiki data as of 2026-06-30
Sources
Problem page (erdosproblems.com)Tao's AI-contributions wiki
PARTIALPer Tao's AI-contributions wiki

The problem

If A,B⊂{1,…,N}A,B\subset \{1,\ldots,N\} are two Sidon sets such that (A−A)∩(B−B)={0}(A-A)\cap(B-B)=\{0\} then is it true that

(∣A∣2)+(∣B∣2)≤(f(N)2)+O(1),\binom{\lvert A\rvert}{2}+\binom{\lvert B\rvert}{2}\leq\binom{f(N)}{2}+O(1),

where f(N)f(N) is the maximum possible size of a Sidon set in {1,…,N}\{1,\ldots,N\}? If ∣A∣=∣B∣\lvert A\rvert=\lvert B\rvert then can this bound be improved to

(∣A∣2)+(∣B∣2)≤(1−c+o(1))(f(N)2)\binom{\lvert A\rvert}{2}+\binom{\lvert B\rvert}{2}\leq (1-c+o(1))\binom{f(N)}{2}

for some constant c>0c>0?

Statement quoted from erdosproblems.com/43, maintained by Thomas Bloom. Original source: [Er82f,p.114][Er95,p.5]. Current status there: disproved (Lean).

AI contributions

As recorded in Terence Tao's wiki AI contributions to Erdős problems (data as of 30 Jun 2026). 🟢 full, 🟡 partial, ⚪ unverified, 🔴 incorrect.

Date Kind AI systems Outcome Literature
4 Dec, 2025 AI building on known literature Aristotle 🟡 New proof of partial result (Lean) 🟡 Barreto (2025)

Caveats

The wiki's classifications are provisional and are not a benchmark. Many Erdős problems have never had a thorough literature review, so a result that looks new may later turn out to be known; some problems were also stated ambiguously or incorrectly. See the problem page for the full discussion.

∎