Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_04_03_deepmind: A Lean proof by the DeepMind prover agent that a Sidon set of size n has at least (n^2 - 100n - 16)/16 pairwise sums whose neighbors are not sums, settling the question and its quadratic strengthening; curator-accepted.
Linked from (1)
Graph