VibeMathedMath problems solved by AI
All problems

Erdős Problem #43

Erdős problem #43 · erdosproblems.com/43

If Sidon sets A,B{1,,N}A, B \subseteq \{1, \dots, N\} satisfy (AA)(BB)={0}(A-A) \cap (B-B) = \{0\}, must (A2)+(B2)(f(N)2)+O(1)\binom{|A|}{2} + \binom{|B|}{2} \le \binom{f(N)}{2} + O(1), where f(N)f(N) is the largest Sidon-set size in [N][N] - and can the bound be improved by a fixed proportion when A=B|A| = |B|?

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.

Source

erdosproblems.com/43

Discussion