Lean-checked conditional reduction of Robin’s inequality/RH to an explicit canonical half-shell theta-mass theorem, with saddle-layer experiments and manuscript.
python latex mathematics proof-assistant prime-numbers number-theory computational-number-theory riemann-hypothesis lean4 formalized-mathematics ai-assisted-research robin-inequality chebyshev-theta
-
Updated
May 28, 2026 - Lean