Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Independent review of the Gaussian walk
source_proof_review: Retains the accepted independent review and distinct grading of the complete v1 Gaussian walk proof and its exact Problem 193 consequence.
The [[discrete_geometry/cambie_kalviainen_2026_small_step_walk/evidence/verify/source_proof_review|source-proof review]] records refutation-failed for the complete native reconstruction of Cambie–Kalviainen v1 and the exact Problem 193 deduction. Its report contract and independence received a pass from a distinct grader.
The reviewer and grader worked in separate contexts, each distinct from the native author. The retained account states the allowed and actual reading, metadata-only assistance, and incidental exposure to public author timeline excerpts and the public proof-claim summary. That exposure was disclosed and assessed as within the permitted source-reading boundary; no linked follow-up proof, code, certificate, or review was read or used.
Coverage includes every deduction of the two-page Gaussian proof, with an upper bound of sixteen steps. It excludes exact occurrence or optimality of sixteen, other constructions, historical source proofs, and formalization. The report links the [[discrete_geometry/cambie_kalviainen_2026_small_step_walk/evidence/_index|exact reviewed subjects]] and retains the grade's scope and limits. No L-tier is assigned.