Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_09_13_kitamura: Kenta Kitamura's AI-assisted Lean 4 development of 13 September 2026 claims that f(n) = o(n log log n) and F(n) >> n log log n on a density-one set, and that max f(n) ~ x log x / log log x.
Linked from (1)
Graph