Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Blind first review and grade
lead_totient_binary_series_review: Blind first-cycle refutation review of the binary totient lead and its proof sketch: the tail integers, the 2-adic criterion and its dyadic rung, the progression-certificate rigidity and classification, the progression means, the integer interpolation with its carry, two-depth, shadow and phase criteria, the three routes, the retained identities and the finite observations survive (refutation-failed) under re-derivation and independent recomputation; one required correction (a sentence that denies a bound its own subpage retains), four suggested, notes with the exact commands and outputs.
lead_totient_binary_series_review_grade: Grades the blind first review of the binary totient lead as it stood on 2026-10-03: the report passes; every verdict is re-derived and agreed, with the valuation census, the window census, the classification search, the continued-fraction prefix, the retained witnesses and the identities recomputed by the grader's own code; the one required correction is accepted as proposed, three suggested corrections are accepted (one with modified text), one is rejected and one is added; the lead is reviewed once the required text lands, research state ready; no tier is assigned.
Review scope
The current records are the blind review of the lead page as it stood on 2026-10-03, a first-cycle refutation review from a blind extraction kept outside the repository (the page without its lead fields and its review-report sentences), and its distinct grade of the same date, which records pass, accepts the report's required correction and three of its four suggested corrections, one with modified text, adds one suggested correction, and assigns no tier. This is the route's first review: no earlier review of it exists. Both records read the folder's mathematical subpages, evidence pages and retained assets from the tree of that date; neither reviews the claim card of L16 or the held sources. The lead page's Current review section states where its current text differs from the reviewed text.