Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for Yip (2025)
verify/: Links the full-proof review and its source-chain and refinement audits; all three are dated 2026-09-06.
The verification records retain the independent review of the complete natural-language chain: the Theorem 1.3 and Lemma 2.1 reconstruction, both p.3 source corrections, the compilation-supplied infinite-tail refinement and the exact transfer to Problem 967. No formal, acceptance or external Erdős--Ingham proof credit follows.
Graph