Source authenticated
Erdős Problem #138
the stronger question $W(k)^{1/k} \to \infty$ remains open
Exact FrontierDelta
Prior state unknown→proved
Scope and record
Occurred: May 21, 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 #138 · Erdős #138 · Problem 138
Confidence: Not scored
Registry verification: lean verified · announcement · resolved
Attribution
VibeMathed
registry · event recorded by
AlphaProof Nexus
model · ai model contributor · Google DeepMind
Lineage and corrections
This event attributed to AlphaProof Nexus