Alpöge–Furman · simple zeros on the line
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.
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
Anthropic publishes a Lean formalization and an operator audit for the zeta proportion theorem.
Passage ID: riemann-hypothesis:rh-anthropic-formal-audit:v1
Source item: arxiv-2608.13637#rh-anthropic-formal-audit
Source record: arxiv-2608.13637@arxiv-v2
The simple-on-line and distinct-zero bounds extend to each fixed primitive Dirichlet L-function.
Passage ID: riemann-hypothesis:rh-dirichlet-fixed-bound:v1
Source item: arxiv-2608.13637#rh-dirichlet-fixed-bound
Source record: arxiv-2608.13637@arxiv-v2
The corresponding all-zeros-on-line conjecture for Dirichlet L-functions is a broader target.
Passage ID: riemann-hypothesis:rh-dirichlet-grh:v1
Source item: arxiv-2608.13637#rh-dirichlet-grh
Source record: arxiv-2608.13637@arxiv-v2
The proportion of distinct zeros relative to total multiplicity has liminf at least (1+k₀)/2.
Passage ID: riemann-hypothesis:rh-distinct-proportion:v1
Source item: arxiv-2608.13637#rh-distinct-proportion
Source record: arxiv-2608.13637@arxiv-v2
An unconditional asymptotic lower bound k₀ = 3/2 − cot(1/√2)/√2 holds for simple critical-line zeros relative to total multiplicity.
Passage ID: riemann-hypothesis:rh-simple-line-af:v1
Source item: arxiv-2608.13637#rh-simple-line-af
Source record: arxiv-2608.13637@arxiv-v2
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 Aug 19, 2026 · Observed Oct 10, 2026
Source assessment
Proved
Exact scoped statement in cited source
Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.
Observed Oct 10, 2026
Connection
Dirichlet GRH includes classical ζ as the conductor-one case.
Source assessment
Open
All-zero Dirichlet GRH target remains conjectural
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 Aug 19, 2026 · Observed Oct 10, 2026
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 Aug 19, 2026 · Observed Oct 10, 2026
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 Aug 19, 2026 · Observed Oct 10, 2026
Bound
Simple zeros on the critical line
Proof explanation
Alpöge–Furman account
Research activity
Claude discovery and Anthropic’s reported Lean verification
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.
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.
History
Above 67.25% simple zeros on the critical line
Question
Riemann hypothesis
Further reading
Read the mathematical argument; inspect its Claim for assessment and scope.
Research activity
From infinitely many on-line zeros to proportion bounds
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.
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.
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:2608.13637v2
Formal code
Source-reported evidence
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.
Resource revision: 2bafb8c88f177284a2123b5fefa2ff84e2365eb6
Project notes
Source-reported evidence
Author/operator audit and toolchain are documented at this commit. This is an external checking report, not an OpenMath Run.
Resource revision: 2bafb8c88f177284a2123b5fefa2ff84e2365eb6
Recorded authorship
Levent Alpöge · Ralph Furman
Levent Alpöge; Ralph Furman
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.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
Alpöge–Furman · simple zeros on the line
No upstream full text or code is republished by this record.
Source terms ↗