lean_workbook_plus_75383

Disproved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

Show that the equation $x^{3}+y^{3}+z^{3}+t^{3}=1999$ has infinitely many solutions in quadruples $(x,y,z,t)$ of integers.

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_75383 : ∃ c : ℤ, ∀ d : ℤ, ∃ x y z t : ℤ, x^3 + y^3 + z^3 + t^3 = 1999 ∧ x > d ∧ y > d ∧ z > d ∧ t > d   :=  by sorry

Source