Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for the Problem 939 reconstruction
verify/: One independent focused review of the Theorem 1 reconstruction page as it stood on 2026-09-28T05:03:27Z and one distinct grade of that review, with an exposure ruling; no tier and no status change.
The folder holds the review records of the Problem 939 research folder under verify/: one independent focused review of the Theorem 1 reconstruction page as it stood on 2026-09-28T05:03:27Z and one distinct grade of that review. It holds no executable evidence: the reconstructed argument is elementary algebra, and its checks are re-derivations. The source PDF is held by its library source card Price (2026). These records confer no tier, and the status of Problem 939 is recorded on its problem page.