Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
White upper bound
grading: Independent grading of the frozen review of White's exact-one-failure upper bound for Problem 1063, accepting the commissioned quantitative bound and two consequences under their explicit classical interfaces.
report: Independent attempted refutation of White's exact-one-failure upper bound, covering the construction, valuations, simultaneous approximation, uniform cost, existence, and both asymptotic consequences.
The report and grade bodies are the exact frozen records; their page frontmatter supplies wiki navigation metadata. The claim page states the classical interfaces, provenance limits and accepted partial scope. No executable mathematical evidence is needed by these written examinations.