Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_01_05_tang: Quanyu Tang's 2026 note proving that the infimum of the largest component boundary length is 2; credited by the site's curator, read by Tao, and formalized in Lean by Luccioli with Aristotle, Lean not built here.
Linked from (1)
Graph