Quasi-Riemann hypothesis
The quantity is the zero-free half-plane threshold for zeta, Dirichlet functions and finite-order Eisenstein Hecke functions over . A lower threshold is better. The claims retain the source proof conditions.
These results are Claimed: their authors published them, and we have not checked them.
| Bound | Evidence level | Author | Date | Proof scope |
|---|---|---|---|---|
Exact value and conditionsHere is the root in of . The paper is conditional. The bound assumes the released Hecke analytic and transfer inputs and the retuned probe estimates in the linked written argument. | Claimed | Proof scopeRepository has Lean, but this result has exact-arithmetic certificates and a conditional paper. | ||
| Claimed | Proof scope228 new modules reported in source package. | |||
Exact value and conditionsHere is the unique root in of . The certified display upper bound is . | Claimed | Proof scopeProof contribution and reported multi-kernel receipts. |
Relevant repos
- lixiang90/RH-Zero-Free-Formalization
- DrMurphyIsIn/qrh-debruijn-newman
- Rogerhu12/openai-math-extensions
- aster2024/openai-math-followups
- stevenecreech/math
- Gaozhongpai/QuasiRiemannTracker
- Argonaut-Math/argonaut-math-quasi-riemann-boundary
- liubaiying101/Slightly-improved-zero-free-half-planes-for-the-quasi-Riemann-hypothesis
- LW56e2/quasi-riemann-improved
- CrossNox/quasi-riemann-hypothesis-extension
- GTimG/QuasiRiemannTracker
- Nielstron/QuasiRiemannTracker
- TheRealDubb/family-003-extension-xenoproof
- Gaozhongpai/seven-eighths-refinement-certificates