Problem

erdos:123

Let $a,b,c>1$ be pairwise coprime integers. Is every large integer a sum of distinct numbers of the form $a^k b^l c^m$ ( $k,l,m\ge 0$ ), none dividing another?

Open Current State

Declared status: proved (Lean)
Formalization: formalized
Prize: $250
Subjects: number theory
OEIS: N/A
Sources: source:erdos-problemssource:formal-conjecturessource:jayyhk-erdos-leansource:plby-lean-proofssource:vibemathed
Statement: www.erdosproblems.com

Matching claims

0

No direct claims

This problem has no directly related claim record.

Browse this Repository’s Claims