The problem
If are two Sidon sets such that then is it true that
where is the maximum possible size of a Sidon set in ? If then can this bound be improved to
for some constant ?
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.
∎