Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_09_26_yang: Ethan Yang's manuscript and Lean development, produced with GPT-6 Astra and GPT-5.6 Sol, prove g(k) < lcm(1, ..., k) for every sufficiently large k, the comparison Ecklund, Erdős and Selfridge asked for; a forum proof claim.
Linked from (1)
Graph