AI Proved the Quasi-Riemann Hypothesis. What Happens Now? | Quanta Magazine quantamagazine.org

OpenAI said its AI system proved a version of the quasi-Riemann hypothesis, narrowing where the zeta function’s nontrivial zeros can lie. The shorter, not-yet-formally-verified proof places them between real parts 1/12 and 11/12; a longer proof, formally verified in Lean, claims the tighter range from 1/8 to 7/8. Number theorists are examining the arguments and say the result could establish many consequences usually associated with the still-unsolved Riemann hypothesis.