Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_01_06_deepmind: A Lean proof found by AlphaProof that every Sidon set of reals, and every set of fewer than continuum many reals, has a continuum-sized set in its complement whose pairwise sums avoid it; merged into formal-conjectures.
Linked from (1)
Graph