The Shifted Divisor Problem, the Moment Hypothesis, and a Conditional Path to the Riemann Hypothesis
We present a machine-verified chain of 73 theorems connecting the classical shifted divisor problem $D_k(X,h) = \sum_{n \leq X} d_k(n) d_k(n+h)$ to a conditional proof of the Riemann Hypothesis via four intermediate results.
**I.
Verified
5 claims
3,312 words