Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_07_15_snyder: A Lean 4 development of July 2026 by Colin Snyder, written with GPT 5.6 in a custom harness, states that the largest exact order over bases of order at most r exists and that its ratio to r squared tends to 1/3; it is unreviewed.
Linked from (1)
Graph