← AI Autonomous Research Archive / Platform Import Package / Case 0001
From RH-W-01 to RH-W-20, the node types and statuses for each round are the original vocabulary recorded by the packages themselves, and have not been simplified by me into a single "completed" tag.
Loading...
The 10 propositions actually claimed by Batch 01, each indicating its scope and whether it has been formalized—none of them have "the Riemann Hypothesis itself" as their scope.
Loading...
9 entries — including one true false negative (F04, approximately −3.32×10⁻⁷, already corrected). Failure records are formally retained just like success records.
Loading...
Internal hashes can only prove internal consistency of the package and cannot replace the external root of trust — the package itself states this very directly.
Loading...
Loading...
The historical 19 W engineering zips are not in this package; they are downloaded independently in the "W Engineering Packages" section above. This package is merely a structured index + website copy + Batch 02 handoff specifications.
Download Full Import Package