Erdős Problem #1196: Primitive Sets
Bounds the weighted sum $\sum 1/(a \log a)$ taken over primitive sets of integers (sets where no element divides another).
Exact FrontierDelta
Scope and record
Occurred: Apr 1, 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 #1196: Primitive Sets · Primitive Sets (#1196) · Problem 1196
Confidence: Not scored
Registry verification: lean verified · announcement · resolved
Attribution
VibeMathed
registry · event recorded by
Quanyu Tang
human · human collaborator
Yanyang Li
human · human collaborator
Terence Tao
human · human collaborator
Liam Price
human · human collaborator
Kevin Barreto
human · human collaborator
Boris Alexeev
human · human collaborator
Jared Duker Lichtman
human · human collaborator
Jibran Iqbal Shah
human · human collaborator
GPT-5.4 Pro
model · ai model contributor · OpenAI
Lineage and corrections
This event attributed to Quanyu Tang
This event attributed to Yanyang Li
This event attributed to Terence Tao
This event attributed to Liam Price
This event attributed to Kevin Barreto
This event attributed to Boris Alexeev
This event attributed to Jared Duker Lichtman
This event attributed to Jibran Iqbal Shah
This event attributed to GPT-5.4 Pro