Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_09_23_openai: The OpenAI release's preprint of 23 September 2026 claims an absolute C with R(Q_n) at most C 2^n for every n, answering Burr and Erdős yes; unrefereed and unreviewed, with release Lean only for its reduction lemma.
Linked from (1)
Graph