Erdős problem 251 · problems.science

Is $\sum_{n=1}^\infty \frac{p_n}{2^n}$ irrational? Here $p_n$ is the $n$ -th prime ( $p_1=2, p_2=3, \dots$ ).

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

FormalConjectures/ErdosProblems/251.lean

Formal Conjectures

FormalConjectures/ErdosProblems/251.leanErdos251.erdos_2511 lineExact file

1True ↔ Irrational (∑' (n : ℕ), ↑(Nat.nth Nat.Prime n) / 2 ^ n)

OpenStatement only, no proof

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

AI standalone
Erdős AI contributions wiki · 15 Apr, 2026
Machine
GPT-5.4 Pro
Open the source record