Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for Tao (2026)
verify/: Links the transfer review of 2026-09-06; the complete source proof remains outside its scope.
The verification record retains the independent review of the bounded transfers to Problem 1153 and the source-fidelity corrections. Tao's complete proof is not compiled or reviewed.
Graph