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. Editorial metadata: CC BY 4.0; linked content retains its own rights.

Canonical aliases: Erdős Problem #138 · Erdős #138 · Problem 138

Confidence: Not scored

Registry verification: lean verified · announcement · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

AlphaProof Nexus
model · ai model contributor · Google DeepMind

Lineage and corrections

This event attributed to AlphaProof Nexus

VibeMathed record: Erdős Problem #138 evidence for this event

Erdős Problem #138 evidence for this event

the stronger question $W(k)^{1/k} \to \infty$ remains open parent of this event

Erdős Problem #138 parent of this event

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem Explore evidence graph