The Riemann hypothesis is true up to $3\cdot 10^{12}$

Abstract

We verify numerically, in a rigorous way using interval arithmetic, that the Riemann hypothesis is true up to height $3\cdot10^{12}$. That is, all zeroes $\beta + i\gamma$ of the Riemann zeta-function with $0<\gamma\leq 3\cdot 10^{12}$ have $\beta = 1/2$.