The Convolution Convergence Theorem: A Direct Conditional Proof of Goldbach's Conjecture
Mathematics verified. Core theorems are machine-checked in Lean 4.
Prose and presentation may not have been human-reviewed.
Summary
We observe that the explicit formula for the Goldbach representation count $r(n)$ involves the zero sum $\sum_\rho 1/|\rho(\rho-1)|$, which converges to $D_\infty = 2 + \gamma - \log(4\pi) \approx 0.046$ by the Hadamard product identity.
Length
1,207 words
Claims
1 theorems
Status
Draft
Target
Proceedings of the AMS (short communication)