What question did this study set out to answer?

To compile an archival record of the conditional proof chain related to the Riemann Hypothesis.

June 21, 2026Open Access

Theorema Aureum 143 — Pistus-Theoria Certificate v1.2 (2026-06-19)

Key Points

To compile an archival record of the conditional proof chain related to the Riemann Hypothesis.
Compiled the proof chain in Lean 4 against Mathlib v4.12.0.
Corrected SHA-256 values and file-surface mappings based on source artifacts.
Updated Colophon DOI for accurate referencing.
All SHA-256 values and surface mappings are now accurately recorded.
Route mappings were corrected to represent an accurate chain configuration.
The Riemann Hypothesis remains OPEN, with a focus on conditional proofs.

Abstract

Formal archival record v1. 2 of the Theorema Aureum 143 conditional Riemann Hypothesis proof chain (C01-C17), compiled in Lean 4 against Mathlib v4. 12. 0. v1. 2 fixes: all SHA-256 values and Route B file-surface mappings taken verbatim from the /trace dashboard source of truth (artifacts/theorema-certs/src/pages/trace. tsx) ; C16 SHA corrected to 2bee78633961d2bb. . . (trace value) ; C01 SHA corrected to d54dedddc6c1012. . . ; Route B surface B1 now maps to C01+C03 (not C13) ; B2->C02; B3->C14; B4->C02+C06; B5->C06+C07. Colophon DOI updated to canonical v1. 1 (10. 5281/zenodo. 20764829). Pinned: omega²=24, conductor N=143, genus g=13. The Riemann Hypothesis is OPEN; conditional combinator chain only. Axiom footprint: classical trio. Zero sorry. RH: OPEN.

AI에게 질문

Bookmark

View Full Paper