Simple and critical zeros of the Riemann zeta-function terrytao.wordpress.com

Caroline Turnage-Butterbaugh surveys results on the proportion of Riemann zeta-function zeros that are both simple and on the critical line. She describes an unconditional proof of a 67.25% lower bound, first announced by Anthropic as work by an unreleased Claude model and verified by Anthropic mathematicians, followed by a conceptually simpler proof from Youness Lamzouri using a new pair-correlation approach.