Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2025_11_06_van_doorn_everts: Van Doorn and Everts prove that every positive integer is a sum of distinct numbers 2^k 3^l with largest term below six times the smallest, so for C = 6 the set has density one; credited by the site's curator; Lean proofs exist.
Linked from (1)
Graph