Erdős Problem #43
Erdős problem #43 · erdosproblems.com/43
If Sidon sets satisfy , must , where is the largest Sidon-set size in - and can the bound be improved by a fixed proportion when ?
- Result
- Disproved(see note)
- Status
- Resolved
- AI contribution
- AI-discovered
- Method
- Construction
- Field
- Number Theory, Sidon Sets
- Posed by
- —
- Year posed
- 1982
- Years open
- 44y
- Solved
- 2026-04-27
- Model
- GPT-5.5 Pro, Aristotle, Claude
- Vendor
- OpenAI / Harmonic / Anthropic
- Collaborators
- —
- Verification
- Site-confirmed
- Publication
- Announced
- Significance
- 10 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What was actually shown
both proposed bounds fail
What the AI did
The equal-size bound is disproved by an explicit construction; the unrestricted bound fails as a consequence of the resolution of Erdős Problem #42.
Verification
The official Erdős problems record marks both questions answered negatively, with component Lean proofs.