Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_08_09_li: Li's 2026 counterexample: an explicit 21-element seed whose greedy pair-sum-avoiding extension has gaps that are not eventually periodic; a Lean formalization of it was built and audited by this corpus, so accepted.
Linked from (1)
Graph