Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for the project's claim on Problem 97
verify/: Links the review of 2026-10-14 of the project's deduction of a counterexample to Problem 97 from the accepted disproof of Problem 96.
The filed review checks the deduction on the project's claim page, which rests only on the accepted claim on Problem 96. This noncomputational deduction needs no executable check.
Graph