Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence
verify/: Independent whole-argument assessment and distinct contract grade, with their exact frozen subject and stated limitations.
The frozen review subject retains the original author proof byte for byte. The verification records identify the independent whole-argument assessment, the distinct contract grade, their exact scopes and their source-reading limitations.
These records do not allocate a claim identity, confer a numerical tier, amend L4, or establish formal verification or a resolution of Erdős Problem 158.
Graph