Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Review records of the Problem 939 reconstruction
grade: The distinct grader's pass for the focused review of the Theorem 1 reconstruction: the subject resolves, the disclosed exposure is ruled immaterial, every deduction was re-derived; one correction (C1) to the formal-counterpart sentence is accepted, three findings are downgraded to notes, and no tier or status follows.
theorem_1_reconstruction_review: Source fidelity faithful and the reconstructed argument sound, with no required corrections; two suggested corrections and two notes, all in prose outside the statement and the proof.
These records concern the reconstruction pages of the Problem 939 research folder as they stood on 2026-09-28T05:03:27Z: for each page, one independent focused review by a fresh-context reviewer charged with refutation, and one distinct grade of those reviews by a grader who is neither the author nor the reviewer. The one page reviewed is the Theorem 1 reconstruction. Each review keeps its stated scope, the fidelity of the page to the held manuscript and the soundness of the reconstructed argument, and the grade records pass or void for the review, the accepted corrections and the graded verdict per page. The review discloses that the library card's standing text, its result page and the problem page's status text reached the reviewer beyond the assigned paragraphs; the grade rules that exposure immaterial. No record awards a tier, and none changes the status of Problem 939.