VibeMathedMath problems solved by AI
All problems

Erdős Problem #538

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

If each integer has at most rr representations m=pam = pa with pp prime and aA[1,N]a \in A \subseteq [1, N], what is the best upper bound for aA1/a\sum_{a \in A} 1/a? The candidate proof gives the matching order Θr(logN/loglogN)\Theta_r(\log N / \log\log N).

Result
Proved
Status
Candidate (review pending)
AI contribution
AI-discovered
Method
Argument
Field
Number Theory, Multiplicative Combinatorics
Posed by
Year posed
Years open
Solved
2026-07-13
Model
GPT-5.6 starships (Claude Fable 5 reviewer)
Vendor
OpenAI / Anthropic
Collaborators
Verification
Lean-verified
Publication
Announced
Significance
10 / 100
Disclosed cost
Wikipedia
No dedicated article

What the AI did

Produced by the GPT-5.6 starships pipeline with Claude Fable 5 as reviewer.

Verification

Lean-checked; the erdosproblems.com community status is still pending, so this is a candidate rather than an accepted resolution.

Source

erdosproblems.com/538

Discussion