Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for the consecutive-gap conjunction
verify/: Whole-conclusion report, analytic keeper and independent passing grade, with exact scope and explicit source and catalog-acceptance limits.
The independent examination retains the exact supplied mathematical subject, its two native premise interfaces, and the formulation comparison. It is analytic evidence and requires no executable checker.
Graph