Erdős problem 1138 · problems.science

Erdős Problem 1138. Let $x/2 < y < x$ and $C > 1$ . If $d = \max_{p_n < x}(p_{n+1} - p_n)$ , where $p_n$ denotes the $n$ -th prime, then is it true that $\pi(y + Cd) - \pi(y) \sim \frac{Cd}{\log y}$ ?

Workspace

Continue locally Open source Sign in to contribute

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

Canvas

public preview

Source#1138
→
ResultNone
→
Checks0

Reported activity

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

AI collaborating with humans
Erdős AI contributions wiki · 25 Apr, 2026
Machine
GPT-5.5 Pro, GPT-5.5 Thinking
People
Kireet Cheri, Sourish Kumrawat, Hrishi Sunder
Open the source record
Formalization
Erdős AI contributions wiki · 4 May, 2026
Machine
Aristotle
Open the source record
construction
VibeMathed
Machine
GPT-5.5 Pro, GPT-5.5 Thinking
People
Kireet Cheri, Sourish Kumrawat, Hrishi Sunder
Reported outcome
resolved
Open the source record

Reported activity

Search problems.science