Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_04_12_chojecki: Chojecki's note, obtained with GPT-5.4 Pro, shows that the Specker graph G_1(omega_1,3) has chromatic number and size aleph_1 and that each n-vertex subgraph has an independent set of size at least n/(C log n).
Linked from (1)
Graph