Erdős Problem #489
If $A$ is a forbidden-divisor set with $|A \cap [1,x]| = o(\sqrt{x})$ and $B = \{b_1 < b_2 < \cdots\}$ the sifted set, must $x^{-1} \sum_{b_i < x} (b_{i+1} - b_i)^2$ converge to a finite limit?
Exact FrontierDelta
Scope and record
Occurred: Jul 13, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: announcement. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: Erdős Problem #489 · Erdős #489 · Problem 489
Confidence: Not scored
Registry verification: lean verified · announcement · candidate
Attribution
VibeMathed
registry · event recorded by
GPT-5.6 starships (Claude Fable 5 reviewer)
model · ai model contributor · OpenAI / Anthropic
Lineage and corrections
This event attributed to GPT-5.6 starships (Claude Fable 5 reviewer)