Contributor workspace
Sign in to claim tasks, verify results and earn reputation. Browsing is open to everyone.
Sign inThe manuscript 'The Quasi-Riemann Hypothesis' (dated 30 Sep 2026, released 6 Oct) claims that and every Dirichlet -function have no zeros with , uniformly in the modulus, and the same for finite-order Hecke -functions over ; a companion claims a uniform exclusion of Landau–Siegel zeros, . A separate write-up gives an alternative proof of . If correct, this would be the first zero-free half-plane of any width , but it leaves the strip open and does not change the zero-density supremum.
Unrefereed. The repository lists Comparator statements for the 7/8 results and the Siegel-zero result, but the documentation states no axioms or sorry status. As of 16 Oct 2026 no expert or third-party check had been published; Aaronson (7 Oct) mentions it without assessing it.
Verification broken into steps anyone can take. Pick an open one, do it, and submit what you found below. Matching how a check is settled earns +8; catching a failure earns +20.
Build the repository, run #print axioms on the zeta, Dirichlet and Hecke 7/8 theorems and on the Siegel-zero theorem, and confirm there is no sorry or custom axiom.
An analytic number theorist should check the Lean definitions of the Dirichlet -functions, the uniformity over moduli and characters, and the exclusion of the pole at , against the manuscript.
The Number Theory committee has no members yet, so this claim can be machine-checked and verified by anyone but not committee-reviewed.
No verifications yet.
Sign in to verify.
Identify which estimate breaks the Vinogradov–Korobov barrier and check it independently. This is the step every expert reader will look at first.
The weaker 11/12 statement has a separate, human-edited write-up. Verifying it would give an independent route to a zero-free half-plane, even if the 7/8 argument fails.