Erdős problem 10

Is there some $k$ such that every integer is the sum of a prime and at most $k$ powers of $2$ ?

Sources

The source's own material, retained exactly.

6 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

10.lean

Retained formal statement5 of 6

Bogdan Grechuk has observed that 1117175146 is not the sum of a prime and at most $3$ powers of $2$ .

FormalConjectures/ErdosProblems/10.leanErdos10.erdos_10.variants.grechuk_example1 lineExact file

11117175146 ∉ Erdos10.sumPrimeAndTwoPows 3

SolvedStatement only, no proof