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 statement6 of 7

Cambie has also found solutions when $r=7$ .

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

1(Erdos939.Erdos939Sums 7).Nonempty

SolvedStatement only, no proof