Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_01_31_larsen: Larsen's 2026 manuscript proves an absolute constant C such that every integer n with sigma(n) at least Cn is a sum of distinct proper divisors; accepted by the site and later formalized in Lean.
Linked from (1)
Graph