Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Verification of the Laczkovich statement scope
formulation_review: Retains the bounded review of the Laczkovich Theorem 3 statement and the measurable-summand formulation of Problem 908.
The formulation review records a PASS for the exact Theorem 3 statement and the opening definitions on 2026-09-06. The complete proof of Theorem 3 is outside its scope and remains a compilation obligation.
Linked from (1)
Graph