Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_04_15_chojecki: The maximum reciprocal sum over admissible subsets of one to N is an explicit constant 0.6187... times log N, up to lower order; worked out with GPT-5.4 Pro, credited by the site's curator, and formalized in a third-party Lean file.
Linked from (1)
Graph