Wikipedia · research open · AMS 11
unsolvedsorry — nobody on it
Lander, Parkin, and Selfridge Conjecture
Conjecture · lander_parkin_selfridge
The Lander–Parkin–Selfridge conjecture: if the sum of positive integer -th powers equals the sum of positive integer -th powers, with all values on the left distinct from all values on the right, then .
Formally, for positive integers and sequences and with , , and for all , if then .
Formal statement · Lean 4.lean
theorem lander_parkin_selfridge :
∀ (k n m : ℕ) (x : Fin n → ℕ) (y : Fin m → ℕ),
0 < n → 0 < m →
(∀ i, 0 < x i) → (∀ j, 0 < y j) →
(∀ i j, x i ≠ y j) →
∑ i, x i ^ k = ∑ j, y j ^ k →
k ≤ n + m := by
sorryProof. sorry
Nobody has tried yet.