Source authenticated

The quasi-Riemann hypothesis: a fixed zero-free half-plane for zeta and all Dirichlet L-functions

Theorem 1 claims that every finite-order Hecke LL-function over Q(−3)\mathbb Q(\sqrt{-3}) and every Dirichlet LL-function, including ζ(s)\zeta(s), has no zero in ℜs>7/8\Re s>7/8, the principal pole at s=1s=1 excepted. So the nontrivial zeros of ζ\zeta have real part at most 7/87/8, and any exceptional real zero in (7/8,1)(7/8,1) is excluded. The proof runs through cubic theta series and sextic large sieves, first reaching 11/1211/12 and then refining to 7/87/8; the Dirichlet case is transferred from the Hecke family. It does not prove the Riemann hypothesis or GRH, and says so; the boundary line ℜs=7/8\Re s=7/8 is not covered. A separate manuscript gives a different proof of the weaker half-plane ℜs>11/12\Re s>11/12.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 30, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: lean-checked. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: The quasi-Riemann hypothesis: a fixed zero-free half-plane for zeta and all Dirichlet L-functions · Quasi-Riemann hypothesis

Confidence: Not scored

Registry verification: lean checked · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Artifacts and verifiers

Lean: Dirichlet and zeta 7/8 nonvanishing (main declarations)

lean artifact · pending

Artifact ↗
Lean comparator statement: zeta 7/8 bound

lean artifact · pending

Artifact ↗
Lean comparator statement: Dirichlet 7/8 bound

lean artifact · pending

Artifact ↗
Lean comparator statement: Hecke 7/8 bound over Q(sqrt(-3))

lean artifact · pending

Artifact ↗
Lean: release scope note (states the half-plane, not this corollary)

lean artifact · pending

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

The quasi-Riemann hypothesis: a fixed zero-free half-plane for zeta and all Dirichlet L-functions parent of this event

Theorem 1 claims that every finite-order Hecke LL-function over Q(−3)\mathbb Q(\sqrt{-3}) and every Dirichlet LL-function, including ζ(s)\zeta(s), has no zero in ℜs>7/8\Re s>7/8, the principal pole at s=1s=1 excepted. So the nontrivial zeros of ζ\zeta have real part at most 7/87/8, and any exceptional real zero in (7/8,1)(7/8,1) is excluded. The proof runs through cubic theta series and sextic large sieves, first reaching 11/1211/12 and then refining to 7/87/8; the Dirichlet case is transferred from the Hecke family. It does not prove the Riemann hypothesis or GRH, and says so; the boundary line ℜs=7/8\Re s=7/8 is not covered. A separate manuscript gives a different proof of the weaker half-plane ℜs>11/12\Re s>11/12. parent of this event

VibeMathed record: The quasi-Riemann hypothesis: a fixed zero-free half-plane for zeta and all Dirichlet L-functions evidence for this event

Vinogradov's least quadratic nonresidue conjecture evidence for this event

Companion: alternate proof of the zero-free half-plane Re s > 11/12 evidence for this event

Companion: Uniform exclusion of Landau-Siegel zeros evidence for this event

Lean: Dirichlet and zeta 7/8 nonvanishing (main declarations) evidence for this event

Lean comparator statement: zeta 7/8 bound evidence for this event

Lean comparator statement: Dirichlet 7/8 bound evidence for this event

Lean comparator statement: Hecke 7/8 bound over Q(sqrt(-3)) evidence for this event

Lean: release scope note (states the half-plane, not this corollary) evidence for this event

This event attributed to Unreleased internal OpenAI model

Act on this frontier

Verify, challenge, or extend the result.