lean artifact · pending
Artifact ↗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 -function over and every Dirichlet -function, including , has no zero in , the principal pole at excepted. So the nontrivial zeros of have real part at most , and any exceptional real zero in is excluded. The proof runs through cubic theta series and sextic large sieves, first reaching and then refining to ; the Dirichlet case is transferred from the Hecke family. It does not prove the Riemann hypothesis or GRH, and says so; the boundary line is not covered. A separate manuscript gives a different proof of the weaker half-plane .
Exact FrontierDelta
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
Attribution
VibeMathed
registry · event recorded by
Unreleased internal OpenAI model
model · ai model contributor · OpenAI
Artifacts and verifiers
lean artifact · pending
Artifact ↗lean artifact · pending
Artifact ↗lean artifact · pending
Artifact ↗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 -function over and every Dirichlet -function, including , has no zero in , the principal pole at excepted. So the nontrivial zeros of have real part at most , and any exceptional real zero in is excluded. The proof runs through cubic theta series and sextic large sieves, first reaching and then refining to ; the Dirichlet case is transferred from the Hecke family. It does not prove the Riemann hypothesis or GRH, and says so; the boundary line is not covered. A separate manuscript gives a different proof of the weaker half-plane . 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