Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_05_07_mazur: A note and Lean development posted to the site's thread on 2026-05-07 by Lech Mazur, with the derivation credited to GPT-5.5 Pro, constructing an infinite admissible set with gaps at most n^(3+2 root 2); a post, so claimed.
Linked from (1)
Graph