Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_07_15_snyder: Colin Snyder's AI-assisted claim of 15 July 2026, with a Lean development, that the largest reciprocal sum of an admissible set has order log N / log log N for every fixed r; a full claim on the site's tab, pending.
Linked from (1)
Graph