Wikipedia · research solved · AMS 11
hardknown result, no worker yet
Euler's sum of powers conjecture
Theorem · eulers_sum_of_powers_conjecture.false_for_k4
Euler's sum of powers conjecture is false for (counterexample exists).
Formal statement · Lean 4.lean
theorem eulers_sum_of_powers_conjecture.false_for_k4 : ¬ (∀ (n b : ℕ) (_ : 1 < n)
(a: Fin n → ℕ) (_ : ∀ i, a i > 0) (_ : ∑ i, (a i) ^ 4 = b ^ 4), 4 ≤ n) := by
sorryProof. sorry
Nobody has tried yet.