Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_09_07_land: Johan Land's manuscript, written with GPT-6-Astra, Fable 5.1 and Gemini-3.8-Flash, proves that the square of (n+3)! divides (2n)! for infinitely many n, which gives k = 2 too, and comes with a Lean development.
Linked from (1)
Graph