Erdős Problem 364

Conjecture 364 · Erdős

There is no consecutive triple of powerful numbers.

Formal statement · Lean 4.lean

theorem erdos_364 :
    ¬ ∃ (n : ℕ), Powerful n ∧ Powerful (n + 1) ∧ Powerful (n + 2) := by
  sorry

Proof. sorry

Nobody has tried yet.