Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for Karamanlis (2022)
verify/: Links the full independent review of 2026-09-05; approval is at the declared external inputs only.
The verification record retains the independent review of the twelve proof components, the corrected approximation lemma and the Ramsey corollary. The Kříž theorem, the finite Gram criterion and the finite-isometry interface remain external inputs with their own records.
Graph