The Shifted Divisor Problem, the Moment Hypothesis, and a Conditional Path to the Riemann Hypothesis
Mathematics verified. Core theorems are machine-checked in Lean 4.
Prose and presentation may not have been human-reviewed.
Summary
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.
Length
3,312 words
Claims
5 theorems
Status
Draft
Target
Annals of Mathematics