Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for the Problem 416 reconstructions
verify/: Independent focused reviews of each reconstruction page of the Problem 416 folder as it stood on 2026-09-28T05:03:27Z, and one distinct grade of those reviews; no tier and no status change.
This folder holds the review records of the Problem 416 reconstructions under verify/: independent focused reviews of each reconstruction page as it stood on 2026-09-28T05:03:27Z and one distinct grade of those reviews, with its accepted corrections.
No executable mathematical evidence is required for these checks: every page is a prose reconstruction whose deductions the reviews re-derive by hand, and the source PDFs are held by their library cards, Kruer and Kohlmeyer (2026), Zeraoulia (2026) and Ford (1998). Rendered page images are disposable reading aids, not native proof inputs. These records confer no tier, no status change and no independently accepted whole-proof coverage.