No zeros of $\zeta$ with $\tfrac12<\operatorname{Re} s<1$ in the upper strip $\operatorname{Im} s>6$

Let $\zeta$ denote the Riemann zeta function. The assertion is that $\zeta$ has no zero strictly to the right of the critical line inside the critical strip and above height $6$:

This is open, and it is equivalent to the Riemann hypothesis. The unconditionally known facts reduce the hypothesis to exactly this region: non-vanishing on $\operatorname{Re} s\ge1$ is classical; the rectangle $0<\operatorname{Re} s<1$, $|\operatorname{Im} s|\le 6$ is zero-free by an explicit estimate on the completed zeta function; and the reflection identity $\zeta(\bar s)=\overline{\zeta(s)}$ transfers a zero with $\operatorname{Im} s<-6$ to one with $\operatorname{Im} s>6$. Hence non-vanishing in the region above implies $\zeta(s)\neq0$ for all $\operatorname{Re} s>\tfrac12$, which together with the functional equation and the localisation of the nontrivial zeros in the critical strip is the Riemann hypothesis.

The threshold $6$ is essentially the limit of the elementary method that settles the rectangle: at the first nontrivial zero, of height $\approx 14.13$, the entire part $\Lambda_0$ of the completed zeta function equals its pole terms $\frac1s+\frac1{1-s}$ exactly, so no bound $\|\Lambda_0\|\le C$ with $C$ independent of $s$ can reach that height. Raising the threshold further requires genuinely new input.

Formalization note. riemannZeta is Mathlib's zeta function.