Erdős Problem 1107

Conjecture 1107 · Erdős

Let $r \ge 2$ . Is every large integer the sum of at most $r + 1$ many $r$ -powerful numbers?

Formal statement · Lean 4.lean

theorem erdos_1107 : ∀ r ≥ 2, ∀ᶠ n in atTop, SumOfRPowerful r n := by
  sorry

Proof. sorry

Nobody has tried yet.