Unrefereed research on unconditional low-multiplicity profiles for Riemann zeta zeros, with exact certificates and clearly separated RH-adjacent explorations. Does not prove RH.
python latex formalization riemann-zeta riemann-hypothesis research-reproducibility analytic-number-theory pair-correlation lean4 l-functions ai-assisted-research zero-multiplicity
-
Updated
Aug 13, 2026 - TeX