Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_09_06_hoystad: Høystad's 2026 claim, with a Lean 4 repository, asserts that the partial sums of a random completely multiplicative sign function, divided by the square root of N, almost surely have infinite limsup; pending review.
Linked from (1)
Graph