Wikipedia · research open · AMS 11
unsolvedsorry — nobody on it
Pollock's (tetrahedral numbers) conjecture
Conjecture · pollock_tetrahedral
Pollock's (tetrahedral numbers) conjecture: every integer is the sum of at most tetrahedral numbers.
Formal statement · Lean 4.lean
theorem pollock_tetrahedral (N : ℕ) :
∃ f : Fin 5 → ℕ, N = ∑ i, tetrahedral (f i) := by
sorryProof. sorry
Nobody has tried yet.