Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_03_16_chojecki: Chojecki, working with GPT-5.4 Pro, proves that every sufficiently large n is x^2 + y^2 - z^2 with all three squares at most n, by reducing to Duke's theorem in the point-counting form of Einsiedler and coauthors.
Linked from (1)
Graph