Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence
Run main.py from the repository root as described on the
owning research page.
The required input is assets/finite_cases.json; it contains mathematical
witnesses and expected exhaustive finite lists, not a cached success record.
No unbounded conclusion follows without the reductions on that page.
Linked from (1)
Graph