{"schema_version":"source-reader-v1","record":{"source_id":"arxiv-2608.13637","versions":[{"work":{"authors":["Levent Alpöge","Ralph Furman"],"kind":"research_paper","publication":"preprint","publication_note":"August 2026 preprint. Named mathematical authors explicitly state that they verified the proof and take responsibility. Journal acceptance and independent OpenMath expert review are not established.","ai_role":"self_reported","ai_note":"The paper credits Claude (Anthropic) with discovery and writing; Alpöge and Furman with verification, Jarred Sumner with guiding the investigation, and Eric Easley with orchestrating Lean formalization. Company attribution is source-reported, not independently reproduced here.","artifacts":[{"kind":"pdf","title":"Proof PDF · v2","url":"https://arxiv.org/pdf/2608.13637v2","version":"arXiv:2608.13637v2","assessment":"paper_proof","note":"External source evidence; no OpenMath execution or independent reproduction is attached."},{"kind":"formal_code","title":"Anthropic Lean solution · pinned commit","url":"https://github.com/anthropics/formal-math/blob/2bafb8c88f177284a2123b5fefa2ff84e2365eb6/zeta23/Solution.lean","version":"2bafb8c88f177284a2123b5fefa2ff84e2365eb6","assessment":"external_report","note":"Repository reports a Mathlib riemannZeta proof with standard Lean axioms, comparator checks and no RH premise. Challenge.lean contains statement placeholders; Solution.lean supplies the proof chain. OpenMath has not built or audited the dependencies."},{"kind":"project_notes","title":"Anthropic statement and dependency audit","url":"https://github.com/anthropics/formal-math/blob/2bafb8c88f177284a2123b5fefa2ff84e2365eb6/zeta23/README.md","version":"2bafb8c88f177284a2123b5fefa2ff84e2365eb6","assessment":"external_report","note":"Author/operator audit and toolchain are documented at this commit. This is an external checking report, not an OpenMath Run."}]},"id":"arxiv-2608.13637@arxiv-v2","source_id":"arxiv-2608.13637","title":"Alpöge–Furman · simple zeros on the line","owner":"Levent Alpöge; Ralph Furman","url":"https://arxiv.org/abs/2608.13637v2","subject_scope":"Alpöge–Furman · simple zeros on the line","revision":"arxiv-v2","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-08-19","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/2608.13637v2","attribution":"Levent Alpöge; Ralph Furman","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":30}],"entries":[{"id":"riemann-hypothesis:rh-anthropic-formal-audit:v1","source_version_id":"arxiv-2608.13637@arxiv-v2","item_id":"arxiv-2608.13637#rh-anthropic-formal-audit","url":"https://github.com/anthropics/formal-math/blob/2bafb8c88f177284a2123b5fefa2ff84e2365eb6/zeta23/README.md","wording":"Anthropic publishes a Lean formalization and an operator audit for the zeta proportion theorem.","wording_kind":"paraphrase","locator":"Pinned Anthropic README, Solution.lean and formalization.yaml; Appendix A","supersedes":null},{"id":"riemann-hypothesis:rh-dirichlet-fixed-bound:v1","source_version_id":"arxiv-2608.13637@arxiv-v2","item_id":"arxiv-2608.13637#rh-dirichlet-fixed-bound","url":"https://arxiv.org/abs/2608.13637v2","wording":"The simple-on-line and distinct-zero bounds extend to each fixed primitive Dirichlet L-function.","wording_kind":"paraphrase","locator":"Theorem B, p. 2: fixed primitive χ; constants may depend on conductor","supersedes":null},{"id":"riemann-hypothesis:rh-dirichlet-grh:v1","source_version_id":"arxiv-2608.13637@arxiv-v2","item_id":"arxiv-2608.13637#rh-dirichlet-grh","url":"https://arxiv.org/abs/2608.13637v2","wording":"The corresponding all-zeros-on-line conjecture for Dirichlet L-functions is a broader target.","wording_kind":"paraphrase","locator":"Theorem B and §1: primitive Dirichlet L-functions; RH not assumed in the proportion bound","supersedes":null},{"id":"riemann-hypothesis:rh-distinct-proportion:v1","source_version_id":"arxiv-2608.13637@arxiv-v2","item_id":"arxiv-2608.13637#rh-distinct-proportion","url":"https://arxiv.org/abs/2608.13637v2","wording":"The proportion of distinct zeros relative to total multiplicity has liminf at least (1+k₀)/2.","wording_kind":"paraphrase","locator":"Theorem A(ii), Montgomery–Taylor refinement","supersedes":null},{"id":"riemann-hypothesis:rh-simple-line-af:v1","source_version_id":"arxiv-2608.13637@arxiv-v2","item_id":"arxiv-2608.13637#rh-simple-line-af","url":"https://arxiv.org/abs/2608.13637v2","wording":"An unconditional asymptotic lower bound k₀ = 3/2 − cot(1/√2)/√2 holds for simple critical-line zeros relative to total multiplicity.","wording_kind":"paraphrase","locator":"Theorem A, pp. 1–2; Montgomery–Taylor window; Remark 6.1","supersedes":null}],"problems":[{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13}],"selected_version_id":"arxiv-2608.13637@arxiv-v2","available_versions":[{"id":"arxiv-2608.13637@arxiv-v2","revision":"arxiv-v2","observed_on":"2026-10-10","title":"Alpöge–Furman · simple zeros on the line","publication":"preprint","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-2dbabb5b7724786b71ae","entry_id":"riemann-hypothesis:rh-anthropic-formal-audit:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"activity","title":"Claude discovery and Anthropic’s reported Lean verification","claim":null,"fragment":"activity","assessment":null,"superseded":false,"formalization":null,"update":{"id":"activity-rh-anthropic-formal","title":"Claude discovery and Anthropic’s reported Lean verification","kind":"formalization","source_entry_ids":["riemann-hypothesis:rh-anthropic-formal-audit:v1"],"summary":"The paper’s human authors take responsibility for a Claude-discovered proof. The pinned Lean repository reports proofs for actual zeta, with standard axioms and comparator verification; dependencies and declarations are linked for inspection.","limitation":"A model-written manuscript, an author-reviewed theorem and a kernel-check report are different evidence. OpenMath has not run the proof; no independent reproduction is asserted.","related_claim_ids":["claim-rh-simple-critical-line-proportion"]}},{"id":"source-use-a09eb7970447f76b2943","entry_id":"riemann-hypothesis:rh-anthropic-formal-audit:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"milestone","title":"Above 67.25% simple zeros on the critical line","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-5713bf76d7011a4cbdad","entry_id":"riemann-hypothesis:rh-anthropic-formal-audit: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-bfacb938413dfccfa39e","entry_id":"riemann-hypothesis:rh-anthropic-formal-audit:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"reading","title":"Read the mathematical argument; inspect its Claim for assessment and scope.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-d42b09adb85cca8ef013","entry_id":"riemann-hypothesis:rh-dirichlet-fixed-bound:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"assessment","title":"Scoped theorem in cited source","claim":{"id":"claim-rh-dirichlet-fixed-character-proportions","version":2,"slug":"rh-dirichlet-fixed-character-proportions","title":"Partial bounds for a fixed Dirichlet character"},"fragment":"claim-rh-dirichlet-fixed-character-proportions","assessment":{"id":"riemann-hypothesis:rh-dirichlet-fixed-bound:report:v1","entry_id":"riemann-hypothesis:rh-dirichlet-fixed-bound: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-08-19","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/2608.13637v2","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-e8868bed564c32ab0c90","entry_id":"riemann-hypothesis:rh-dirichlet-fixed-bound: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-84be11c808ac96ef9a6f","entry_id":"riemann-hypothesis:rh-dirichlet-fixed-bound:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"statement","title":"Partial bounds for a fixed Dirichlet character","claim":{"id":"claim-rh-dirichlet-fixed-character-proportions","version":2,"slug":"rh-dirichlet-fixed-character-proportions","title":"Partial bounds for a fixed Dirichlet character"},"fragment":"claim-rh-dirichlet-fixed-character-proportions","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-00a61bac8868e955b476","entry_id":"riemann-hypothesis:rh-dirichlet-grh:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"assessment","title":"Exact scoped statement in cited source","claim":{"id":"claim-rh-dirichlet-grh-implies-classical","version":2,"slug":"rh-dirichlet-grh-implies-classical","title":"Dirichlet GRH implies classical RH"},"fragment":"claim-rh-dirichlet-grh-implies-classical","assessment":{"id":"riemann-hypothesis:rh-dirichlet-grh-implies-classical:report:v1","entry_id":"riemann-hypothesis:rh-dirichlet-grh:v1","state":"resolved","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/2608.13637v2","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-01dd226263a7b023bb79","entry_id":"riemann-hypothesis:rh-dirichlet-grh:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"assessment","title":"All-zero Dirichlet GRH target remains conjectural","claim":{"id":"claim-rh-dirichlet-generalized-variant","version":2,"slug":"rh-dirichlet-generalized-variant","title":"Generalized RH for Dirichlet L-functions"},"fragment":"claim-rh-dirichlet-generalized-variant","assessment":{"id":"riemann-hypothesis:rh-dirichlet-grh:report:v1","entry_id":"riemann-hypothesis:rh-dirichlet-grh:v1","state":"reported_open","source_label":"All-zero Dirichlet GRH target remains conjectural","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-08-19","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/2608.13637v2","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-e233c27efeb6312ddc82","entry_id":"riemann-hypothesis:rh-dirichlet-grh:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"connection","title":"Dirichlet GRH includes classical ζ as the conductor-one case.","claim":{"id":"claim-rh-dirichlet-grh-implies-classical","version":2,"slug":"rh-dirichlet-grh-implies-classical","title":"Dirichlet GRH implies classical RH"},"fragment":"claim-rh-dirichlet-grh-implies-classical","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-19a84cdc7aa542f1a304","entry_id":"riemann-hypothesis:rh-dirichlet-grh: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-8fbe353071ae68794bea","entry_id":"riemann-hypothesis:rh-dirichlet-grh:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"statement","title":"Generalized RH for Dirichlet L-functions","claim":{"id":"claim-rh-dirichlet-generalized-variant","version":2,"slug":"rh-dirichlet-generalized-variant","title":"Generalized RH for Dirichlet L-functions"},"fragment":"claim-rh-dirichlet-generalized-variant","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b58f36954816f3cf5930","entry_id":"riemann-hypothesis:rh-dirichlet-grh:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"statement","title":"Dirichlet GRH implies classical RH","claim":{"id":"claim-rh-dirichlet-grh-implies-classical","version":2,"slug":"rh-dirichlet-grh-implies-classical","title":"Dirichlet GRH implies classical RH"},"fragment":"claim-rh-dirichlet-grh-implies-classical","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-d23640cf34cc1b71b30b","entry_id":"riemann-hypothesis:rh-distinct-proportion:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"assessment","title":"Scoped theorem in cited source","claim":{"id":"claim-rh-distinct-zero-proportion","version":2,"slug":"rh-distinct-zero-proportion","title":"At least 83.625% distinct zeros, asymptotically"},"fragment":"claim-rh-distinct-zero-proportion","assessment":{"id":"riemann-hypothesis:rh-distinct-proportion:report:v1","entry_id":"riemann-hypothesis:rh-distinct-proportion: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-08-19","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/2608.13637v2","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-e0dd49b70cf801f47477","entry_id":"riemann-hypothesis:rh-distinct-proportion:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"bound","title":"Distinct zeros","claim":{"id":"claim-rh-distinct-zero-proportion","version":2,"slug":"rh-distinct-zero-proportion","title":"At least 83.625% distinct zeros, asymptotically"},"fragment":"claim-rh-distinct-zero-proportion","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-5197fb52abef5a8401d7","entry_id":"riemann-hypothesis:rh-distinct-proportion: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-0f7d3f62df3e21ec03bb","entry_id":"riemann-hypothesis:rh-distinct-proportion:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"statement","title":"At least 83.625% distinct zeros, asymptotically","claim":{"id":"claim-rh-distinct-zero-proportion","version":2,"slug":"rh-distinct-zero-proportion","title":"At least 83.625% distinct zeros, asymptotically"},"fragment":"claim-rh-distinct-zero-proportion","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-7dfe60695cb550447258","entry_id":"riemann-hypothesis:rh-simple-line-af:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"activity","title":"From infinitely many on-line zeros to proportion bounds","claim":null,"fragment":"activity","assessment":null,"superseded":false,"formalization":null,"update":{"id":"activity-rh-history","title":"From infinitely many on-line zeros to proportion bounds","kind":"research_direction","source_entry_ids":["riemann-hypothesis:rh-proportion-history:v1","riemann-hypothesis:rh-simple-line-af:v1"],"summary":"Hardy proved infinitely many zeros lie on the line; later work established positive proportions. The August 2026 paper identifies the previous simple-on-line benchmark as 5/12 and improves it to k₀ ≈ 0.6725007. Its proportion metric differs from finite-height verification.","limitation":"A historical source’s old numerical records are not today’s best bounds. The selected papers are milestones, not an exhaustive priority history; new submissions stay separately attributed.","related_claim_ids":["claim-rh-simple-critical-line-proportion"]}},{"id":"source-use-e85e5142c12d4d077dd7","entry_id":"riemann-hypothesis:rh-simple-line-af:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"assessment","title":"Scoped theorem in cited source","claim":{"id":"claim-rh-simple-critical-line-proportion","version":2,"slug":"rh-simple-critical-line-proportion","title":"More than 67.25% simple zeros on the line, asymptotically"},"fragment":"claim-rh-simple-critical-line-proportion","assessment":{"id":"riemann-hypothesis:rh-simple-line-af:report:v1","entry_id":"riemann-hypothesis:rh-simple-line-af: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-08-19","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/2608.13637v2","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-48f15c67fe52f39856f6","entry_id":"riemann-hypothesis:rh-simple-line-af:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"bound","title":"Simple zeros on the critical line","claim":{"id":"claim-rh-simple-critical-line-proportion","version":2,"slug":"rh-simple-critical-line-proportion","title":"More than 67.25% simple zeros on the line, asymptotically"},"fragment":"claim-rh-simple-critical-line-proportion","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-faa66efdba5ce73a0f04","entry_id":"riemann-hypothesis:rh-simple-line-af:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"milestone","title":"Above 67.25% simple zeros on the critical line","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-c1559f9feefa3edfef12","entry_id":"riemann-hypothesis:rh-simple-line-af:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"proof","title":"Alpöge–Furman account","claim":{"id":"claim-rh-simple-critical-line-proportion","version":2,"slug":"rh-simple-critical-line-proportion","title":"More than 67.25% simple zeros on the line, asymptotically"},"fragment":"claim-rh-simple-critical-line-proportion","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-73c51f1d99586deb5116","entry_id":"riemann-hypothesis:rh-simple-line-af: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-451caf33f270d57f9008","entry_id":"riemann-hypothesis:rh-simple-line-af:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"statement","title":"More than 67.25% simple zeros on the line, asymptotically","claim":{"id":"claim-rh-simple-critical-line-proportion","version":2,"slug":"rh-simple-critical-line-proportion","title":"More than 67.25% simple zeros on the line, asymptotically"},"fragment":"claim-rh-simple-critical-line-proportion","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}