Four certified results in analytic number theory: a refined bound for simple zeta zeros on the critical line, C > 3.14279 for the Montgomery–Vaughan constant, the sharp odd Robin threshold, and a refuted Epstein zeta conjecture. Interval-arithmetic certificates, reproduction code, Lean 4 proofs.
interval-arithmetic formal-verification arb mathlib riemann-hypothesis analytic-number-theory lean4 critical-line riemann-zeta-function python-flint hilbert-inequality epstein-zeta-function
-
Updated
Oct 4, 2026 - Python