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
verify/: Frozen subjects and the independently graded elementary examination, preserving the cutoff counterexample and exact surviving classical-premise scopes.
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