Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
1973_01_01_ruzsa: Ruzsa's construction, reported by Erdős in 1973, of a dense set in (N/2, N) in which no integer is a prime times a member in three ways; accepted by the site, with an external Lean formalization by Aristotle and Boris Alexeev.
Linked from (1)
Graph