Erdős problem 939 · problems.science

If $r≥4$ then can the sum of $r-2$ coprime $r$ -powerful numbers ever be itself $r$ -powerful?

Sources

Browse retained paths and inspect the exact material available for this Problem.

7 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

939.lean

Retained formal statement5 of 7

If $r≥4$ are there infinitely many sums of $r-2$ coprime $r$ -powerful numbers that are themselves $r$ -powerful?

FormalConjectures/ErdosProblems/939.leanErdos939.erdos_939.variants.infinite1 lineExact file

1True ↔ ∀ r ≥ 4, (Erdos939.Erdos939Sums r).Infinite

OpenStatement only, no proof