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?

No current result

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

FormalConjectures/ErdosProblems/939.lean

Formal Conjectures

FormalConjectures/ErdosProblems/939.leanErdos939.erdos_9391 lineExact file

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

OpenStatement only, no proof