Status
On this page
Status
Topics
Status
On this page
Status
Topics
We call practical if every integer is the sum of distinct divisors of . If is practical then let be such that many divisors always suffice.
Are there infinitely many practical such that
Is it true that ? Or perhaps even ?
Source: erdosproblems.com/18
No claim settles this problem.
OPEN on the site (page last edited 11 April 2026), with the prize
attached to the first question. The frontmatter standing open derives from the
claim pages: the accepted partial claim
JenW1N's Lean proof settles
the second question, ; the first question carries two pending
partial claims, Price's and
van Doorn and GPT-6 Astra Pro's;
the third question, , has no claim. The claim pages and
the assessment below carry the evidence for each part. The site's wording
attaching the prize to the first question was settled on 11 April 2026 after
wavering; the assessment gives the history.