TY - RPRT TI - Proof of the Lehmer conjecture on Ramanujan's $τ$ function AU - Minjia Shi AU - Lu Wang AU - Patrick Solé PY - 2025 UR - https://arxiv.org/abs/2503.23498 ID - 2503.23498 ER -