Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for the OpenAI unit-distance report
verify/: Links the full review and the final exact-delta review of 2026-09-06; both are relative to seven declared external premises.
The verification records retain the independent review of the reconstructed original branch, its transfers to Problems 90 and 92, and the final exact-delta review. The seven external premises and the companion source's lemmas are bounded interfaces; their proofs are not reviewed here.
Graph