Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for the elementary smooth-successor estimates
elementary_estimates/: Independently graded E1 cutoff counterexample and surviving z >= 1 and E2–E5 proof scopes, with exact frozen subjects and explicit classical premises.
The records below retain the examined mathematical subjects, independent reasoning and exact standing. Written derivations are the evidence; no computational success summary substitutes for them.
Graph