The Riemann zeta function is a central object in mathematics, and its mysterious "nontrivial zeros" are the subject of one of the most famous unsolved problems in all of science: the Riemann Hypothesis, which predicts that all these zeros lie on a specific vertical line in the complex plane called the critical line. Even without proving the Riemann Hypothesis outright, mathematicians have long tried to show that at least a large fraction of zeros behave as predicted. This paper proves unconditionally, meaning without assuming the Riemann Hypothesis or any other unproven conjecture, that at least two thirds of the nontrivial zeros are both simple (meaning they occur exactly once, not as repeated roots) and located on the critical line. It also shows that at least five sixths of zeros are distinct. These results significantly improve on the previous best unconditional records of about 42% and 66%.
The key conceptual breakthrough is making a classical 1973 argument by the mathematician Hugh Montgomery fully unconditional. Montgomery's original approach required assuming the Riemann Hypothesis at a critical step, where one needed to interpret a certain mathematical expression as a sum of positive terms coming from zeros on the critical line. The authors bypass this assumption using a tool called a rank-trace inequality applied to a finite piece of a mathematical object known as Weil's Hermitian form, combined with a classical result from linear algebra called Sylvester's law of inertia. This allows them to handle zeros that might lie off the critical line without needing to assume they don't exist. The technical analytic ingredients feeding into the argument come from recent work by other researchers.
The results apply not just to the Riemann zeta function but also to a broader family of functions called primitive Dirichlet L-functions, which encode information about prime numbers in arithmetic progressions. Notably, the entire proof has been formally verified using the computer proof assistant Lean 4, meaning a computer has checked every logical step, providing an unusually high level of certainty. While this work does not resolve the Riemann Hypothesis, it represents meaningful progress toward understanding the distribution of zeros and demonstrates that powerful structural arguments can replace the hypothesis in at least some important contexts.