Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_05_20_bhalla: A manuscript of 2026-05-20, revised on 2026-06-14 with a Lean formalization, constructs a minimal asymptotic basis of order 2 with A(x) = C sqrt(x) + O(1), so a_k/k^2 tends to a nonzero constant; the Lean is not built in this corpus.
Linked from (1)
Graph