Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for Mathialagan (2021)
verify/: Links the final review, the finalization-delta review and the preparatory review of 2026-09-07.
The verification records retain the source-based review of the complete local Theorem 3 route, the balanced lattice construction and the bounded Guth--Katz interfaces, together with the finalization-delta review of the living records and the preparatory assessment. The Guth--Katz and Landau proofs are not compiled or reviewed.
Graph