Platt–Trudgian · rigorous finite verification
Published in Bulletin of the London Mathematical Society, DOI 10.1112/blms.12460. Statements here use the pinned author manuscript, Theorem 1 and Corollary 2.
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
All nontrivial zeros with positive imaginary part at most 3,000,175,332,800 lie on the critical line.
Passage ID: riemann-hypothesis:rh-finite-height:v1
Source item: arxiv-2004.09765#rh-finite-height
Source record: arxiv-2004.09765@arxiv-v1
The finite-height verification supplies the published criterion giving Λ ≤ 0.2.
Passage ID: riemann-hypothesis:rh-newman-upper:v1
Source item: arxiv-2004.09765#rh-newman-upper
Source record: arxiv-2004.09765@arxiv-v1
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v13
Source assessment
Proved
Scoped theorem in cited source
Only the exact statement, domain and revision cited by this Claim; this is not a resolution of classical RH or independent OpenMath expert assessment.
Source date Apr 21, 2020 · Observed Oct 10, 2026
Bound
Verified zero height
Source assessment
Proved
Scoped theorem in cited source
Only the exact statement, domain and revision cited by this Claim; this is not a resolution of classical RH or independent OpenMath expert assessment.
Source date Apr 21, 2020 · Observed Oct 10, 2026
Bound
Classical Newman constant Λ
History
Certified verification to height 3,000,175,332,800
Question
Riemann hypothesis
Connection
The two proved inequalities enclose the same normalized constant in [0, 0.2].
Linked manuscripts, code and data. External proof reports, statement correspondence and OpenMath execution are separate checks.
Manuscript / exposition · external
External source evidence; no OpenMath execution or independent reproduction is attached.
Resource revision: arXiv:2004.09765v1
Recorded authorship
Dave Platt · Tim Trudgian
Dave Platt; Tim Trudgian
The cited work does not report AI involvement; absence of attribution is not evidence of absence.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
Platt–Trudgian · rigorous finite verification
No upstream full text or code is republished by this record.
Source terms ↗