{"schema_version":"source-reader-v1","record":{"source_id":"arxiv-2603.21490","versions":[{"work":{"authors":["Chiara Bellotti","Timothy S. Trudgian","Andrew Yang"],"kind":"research_paper","publication":"preprint","publication_note":"Author preprint at the cited revision; journal acceptance has not been established by this curation.","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":"Zero-free-region proof PDF · v1","url":"https://arxiv.org/pdf/2603.21490v1","version":"arXiv:2603.21490v1","assessment":"paper_proof","note":"External source evidence; no OpenMath execution or independent reproduction is attached."}]},"id":"arxiv-2603.21490@arxiv-v1","source_id":"arxiv-2603.21490","title":"Bellotti–Trudgian–Yang · explicit zero-free region","owner":"Chiara Bellotti; Timothy S. Trudgian; Andrew Yang","url":"https://arxiv.org/abs/2603.21490v1","subject_scope":"Bellotti–Trudgian–Yang · explicit zero-free region","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":"2026-03-23","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/2603.21490v1","attribution":"Chiara Bellotti; Timothy S. Trudgian; Andrew Yang","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90}],"entries":[{"id":"riemann-hypothesis:rh-zero-free-region:v1","source_version_id":"arxiv-2603.21490@arxiv-v1","item_id":"arxiv-2603.21490#rh-zero-free-region","url":"https://arxiv.org/abs/2603.21490v1","wording":"There are no zeta zeros for t ≥ 3 and σ > 1 − 1/(4.896 log t).","wording_kind":"paraphrase","locator":"Theorem 1, p. 2 (strict inequality in theorem statement)","supersedes":null}],"problems":[{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13}],"selected_version_id":"arxiv-2603.21490@arxiv-v1","available_versions":[{"id":"arxiv-2603.21490@arxiv-v1","revision":"arxiv-v1","observed_on":"2026-10-10","title":"Bellotti–Trudgian–Yang · explicit zero-free region","publication":"preprint","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-e219bbcb754bf5142640","entry_id":"riemann-hypothesis:rh-zero-free-region:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"assessment","title":"Scoped theorem in cited source","claim":{"id":"claim-rh-explicit-zero-free-region-2026","version":2,"slug":"rh-explicit-zero-free-region-2026","title":"An explicit zero-free region near Re(s) = 1"},"fragment":"claim-rh-explicit-zero-free-region-2026","assessment":{"id":"riemann-hypothesis:rh-zero-free-region:report:v1","entry_id":"riemann-hypothesis:rh-zero-free-region: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":"2026-03-23","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/2603.21490v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-a64c00207967f5531d46","entry_id":"riemann-hypothesis:rh-zero-free-region:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"milestone","title":"An explicit logarithmic zero-free region","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-60c322222b26ed4d372d","entry_id":"riemann-hypothesis:rh-zero-free-region: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-c9b304b6001bdc200c51","entry_id":"riemann-hypothesis:rh-zero-free-region:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"statement","title":"An explicit zero-free region near Re(s) = 1","claim":{"id":"claim-rh-explicit-zero-free-region-2026","version":2,"slug":"rh-explicit-zero-free-region-2026","title":"An explicit zero-free region near Re(s) = 1"},"fragment":"claim-rh-explicit-zero-free-region-2026","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}