Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Verify
translated_interval_review: Retained whole-proof review and distinct grading, with exact native subjects, independent derivations, source-reading coverage and limits.
The translated-interval review retains the independent source review, its complete mathematical derivations and checklist, and the pass for report contract and independence by a distinct grader. It identifies the exact reviewed native revision and its relation to the current mathematical pages.
The selected Ostrowski proof survived whole-proof review. The historical endpoint formulation and the separate Kesten statement interface have only the coverage specified in that report. Retention confers no new verdict, numerical tier or formal verification.