Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2025_08_10_hunter: Zach Hunter's thread proof of 10 August 2025 two-colors the naturals so that a monochromatic k-term progression starting at a has k below exp((log a)^(1/2+o(1))); accepted on the curator's credit; Lean linked.
Linked from (1)
Graph