Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Verification of the Kahn--Kalai chain
composition_review: Retains the exact-byte review of the composed nine-artifact candidate, including the approved Remark 1 companion and six prose replacements.
theorem_1_review: Retains the review of the equal-cut construction, counting ratio, asymptotics, prime-number transfer and the exact Problem 505 transfer.
The Theorem 1 review passes the complete chain at the frozen bytes relative to three declared external inputs. The composition review passes the exact installed candidate. Neither reproves the external theorems.
Linked from (1)
Graph