Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for Ecklund (1969)
verify/: Links the full-proof review and the final receipt of 2026-09-06; the external inequalities are not reproved.
The verification records retain the independent review of the three lemmas, the main theorem chain with its compilation-supplied threshold certificate, and the exact Problem 384 transfer, relative to the six declared external inequalities, together with the final exact-byte receipt.
Graph