Source authenticated
Erdős Problem #306
If $a/b \in \mathbb{Q}_{>0}$ and $b$ is squarefree, can $a/b$ always be written as a finite sum of reciprocals of distinct products of two distinct primes?
Exact FrontierDelta
Prior state unknown→proved
Scope and record
Occurred: Jun 19, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: announcement. AI contribution: ai-assisted. Imported under CC BY 4.0.
Canonical aliases: Erdős Problem #306 · Erdős #306 · Problem 306
Confidence: Not scored
Registry verification: lean verified · announcement · candidate
Attribution
VibeMathed
registry · event recorded by
AI-assisted Lean development (models not itemized)
model · ai model contributor
Lineage and corrections
This event attributed to AI-assisted Lean development (models not itemized)