Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_08_01_openai: Chapter 9, Theorem 1.1 of OpenAI's 2026 report: R(3;k) is at least (c k^(1/3) / log k)^k for every k at least 2, so the limit of R(3;k)^(1/k) is infinite; accepted on the site's credit and Rob Morris's exposition.
Linked from (1)
Graph