Comment by davegoldblatt

Verified Riemann Zeta in Lean: https://github.com/davegoldblatt/openai-zeta-proof-check