{"schema_version":"source-reader-v1","record":{"source_id":"arxiv-2004.09765","versions":[{"work":{"authors":["Dave Platt","Tim Trudgian"],"kind":"research_paper","publication":"published","publication_note":"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.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; absence of attribution is not evidence of absence.","artifacts":[{"kind":"pdf","title":"Verification proof PDF · v1","url":"https://arxiv.org/pdf/2004.09765v1","version":"arXiv:2004.09765v1","assessment":"paper_proof","note":"External source evidence; no OpenMath execution or independent reproduction is attached."}]},"id":"arxiv-2004.09765@arxiv-v1","source_id":"arxiv-2004.09765","title":"Platt–Trudgian · rigorous finite verification","owner":"Dave Platt; Tim Trudgian","url":"https://arxiv.org/abs/2004.09765v1","subject_scope":"Platt–Trudgian · rigorous finite verification","revision":"arxiv-v1","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-10","source_updated_on":"2020-04-21","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/2004.09765v1","attribution":"Dave Platt; Tim Trudgian","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90}],"entries":[{"id":"riemann-hypothesis:rh-finite-height:v1","source_version_id":"arxiv-2004.09765@arxiv-v1","item_id":"arxiv-2004.09765#rh-finite-height","url":"https://arxiv.org/abs/2004.09765v1","wording":"All nontrivial zeros with positive imaginary part at most 3,000,175,332,800 lie on the critical line.","wording_kind":"paraphrase","locator":"Theorem 1, p. 2; §2 interval/ball arithmetic and Turing counting","supersedes":null},{"id":"riemann-hypothesis:rh-newman-upper:v1","source_version_id":"arxiv-2004.09765@arxiv-v1","item_id":"arxiv-2004.09765#rh-newman-upper","url":"https://arxiv.org/abs/2004.09765v1","wording":"The finite-height verification supplies the published criterion giving Λ ≤ 0.2.","wording_kind":"paraphrase","locator":"Corollary 2, §3.4, p. 5; Polymath15 Table 1 applied to Theorem 1","supersedes":null}],"problems":[{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13}],"selected_version_id":"arxiv-2004.09765@arxiv-v1","available_versions":[{"id":"arxiv-2004.09765@arxiv-v1","revision":"arxiv-v1","observed_on":"2026-10-10","title":"Platt–Trudgian · rigorous finite verification","publication":"published","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-0cb8fc43f574780ff920","entry_id":"riemann-hypothesis:rh-finite-height:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"assessment","title":"Scoped theorem in cited source","claim":{"id":"claim-rh-finite-height","version":3,"slug":"rh-finite-height","title":"RH verified to height 3,000,175,332,800"},"fragment":"claim-rh-finite-height","assessment":{"id":"riemann-hypothesis:rh-finite-height:report:v1","entry_id":"riemann-hypothesis:rh-finite-height:v1","state":"resolved","source_label":"Scoped theorem in cited source","scope":"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":"2020-04-21","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/2004.09765v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-f27ae03c88708d072cd3","entry_id":"riemann-hypothesis:rh-finite-height:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"bound","title":"Verified zero height","claim":{"id":"claim-rh-finite-height","version":3,"slug":"rh-finite-height","title":"RH verified to height 3,000,175,332,800"},"fragment":"claim-rh-finite-height","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-75dba5c51e3894e2ccac","entry_id":"riemann-hypothesis:rh-finite-height:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"milestone","title":"Certified verification to height 3,000,175,332,800","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-d9b6409c70613629375d","entry_id":"riemann-hypothesis:rh-finite-height:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"question","title":"Riemann hypothesis","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-fa0fa029aaaaeb283b1a","entry_id":"riemann-hypothesis:rh-finite-height:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"statement","title":"RH verified to height 3,000,175,332,800","claim":{"id":"claim-rh-finite-height","version":3,"slug":"rh-finite-height","title":"RH verified to height 3,000,175,332,800"},"fragment":"claim-rh-finite-height","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-3ce8a79c17acd08e15bc","entry_id":"riemann-hypothesis:rh-newman-upper:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"assessment","title":"Scoped theorem in cited source","claim":{"id":"claim-rh-newman-upper-bound","version":2,"slug":"rh-newman-upper-bound","title":"A cited upper bound Λ ≤ 0.2"},"fragment":"claim-rh-newman-upper-bound","assessment":{"id":"riemann-hypothesis:rh-newman-upper:report:v1","entry_id":"riemann-hypothesis:rh-newman-upper:v1","state":"resolved","source_label":"Scoped theorem in cited source","scope":"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":"2020-04-21","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/2004.09765v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-d0059e3a6542c0c29541","entry_id":"riemann-hypothesis:rh-newman-upper:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"bound","title":"Classical Newman constant Λ","claim":{"id":"claim-rh-newman-upper-bound","version":2,"slug":"rh-newman-upper-bound","title":"A cited upper bound Λ ≤ 0.2"},"fragment":"claim-rh-newman-upper-bound","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b5a3f95c2b5a35124f41","entry_id":"riemann-hypothesis:rh-newman-upper:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"connection","title":"The two proved inequalities enclose the same normalized constant in [0, 0.2].","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-256e92161630c4dc65e3","entry_id":"riemann-hypothesis:rh-newman-upper:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"milestone","title":"Certified verification to height 3,000,175,332,800","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-73213de5e3b9a9f9cb59","entry_id":"riemann-hypothesis:rh-newman-upper:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"question","title":"Riemann hypothesis","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b84c6f5788b5a00e87c2","entry_id":"riemann-hypothesis:rh-newman-upper:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"statement","title":"A cited upper bound Λ ≤ 0.2","claim":{"id":"claim-rh-newman-upper-bound","version":2,"slug":"rh-newman-upper-bound","title":"A cited upper bound Λ ≤ 0.2"},"fragment":"claim-rh-newman-upper-bound","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}