Wiki
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.