Erdős problem 152 · problems.science

Must lim f n = ∞?

Workspace

Open this exact Problem, source revision, and authority Repository in Workbench. This handoff does not clone, switch, upload, or execute anything.

Canvas

public preview

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

AI alongside literature
Erdős AI contributions wiki · 3 Apr, 2026
Machine
DeepMind prover agent
Open the source record
argument
VibeMathed
Machine
DeepMind prover agent
Reported outcome
resolved
Open the source record