Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_07_20_korsky: Samuel Korsky's 2026 proof, with an AI system, that the integers generated from 2 and 3 by the rule ab - 1 have positive lower density; its Lean formalization by others was built and audited here.
Linked from (1)
Graph