Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2025_04_06_barber: Every triangle-free graph on the integers one to n, n at least 18, has three pairwise nonadjacent vertices a, b and a + b: a SAT check reported to the site; Lean reconstructions by others are linked, outside the corpus's Lean.
Linked from (1)
Graph