Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_01_29_feng: The Aletheia agent's 4m points on two perpendicular lines, no four on a circle, each seeing fewer than 3n/4 distances: the answer to whether f(n) > (1 - o(1))n is no; claimed.
Linked from (1)
Graph