Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for the Problem 15 reconstructions
verify/: Independent focused reviews of the four reconstruction pages of Tao's conditional proof as they stood on 2026-09-28T05:03:27Z and one distinct grade of the reviews; no tier is assigned.
This folder holds the review records of the four reconstruction pages of the folder: an independent focused review of each page as it stood on 2026-09-28T05:03:27Z and one distinct grade. No executable evidence is required or held: the pages reconstruct a source proof whose steps are elementary inequalities, exact probabilistic computations in the random sifted model and asymptotic estimates, checked by reading. The source PDF is held by its library source card Tao (2023). Rendered page images are disposable reading aids, not proof inputs. This evidence confers no tier and changes no status.