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_larsen: Larsen's Lean 4 proof of January 2026, produced with a multi-agent system built on Claude Opus 4.5 and Gemini 3 Pro, builds a basis of order two with divergent representation counts that is not a union of two disjoint bases.
Linked from (1)
Graph