Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_04_24_turturean: A construction posted in April 2026, generated by ChatGPT-5.5-Pro at the submitter's prompting, gives a minimal asymptotic basis of order two with positive upper density; the site accepted it and two Lean developments exist.
Linked from (1)
Graph