弥合缺口:无条件证明三元哥德巴赫猜想(赫尔夫戈特,2013年)

第 5/5 步：闭合循环:数值验证与解析阈值相遇

通俗地说

第2–4步的解析论证解决了所有 $n\ge 10^{27}$ 的奇数——这仍然大到无法逐一检验,但现在已落入另一种计算的范围之内:只需验证直到某个界限的每个偶数都是两个素数之和(经典哥德巴赫猜想,已验证到远超此处所需的范围)即可,因为 $n=2+(\text{even})$ 或一个简短的附加论证可以把小奇数情形归约到这一点。赫尔夫戈特与戴维·普拉特进行了严格的计算机辅助验证,达到了 $8.875\times10^{30}$ ——远超 $10^{27}$ 阈值——因此两个范围有充裕的重叠。

10^{27} \le n \le 8.875\times 10^{30} : \text{ verified by computer (Helfgott–Platt, 2013)} \quad \Longrightarrow \quad \forall\, n>5 \text{ odd}: n=p_1+p_2+p_3

详细分析

具体而言, $8{,}875{,}694{,}145{,}621{,}773{,}516{,}800{,}000{,}000{,}000$ 正是赫尔夫戈特与普拉特(2013年)所达到的精确数值界,远超 $10^{27}$ 。由于所有 $n\ge10^{27}$ 的奇数都已被解析地覆盖(第2–4步),所有 $5<n\le 8.875\times10^{30}$ 的奇数都已被计算地覆盖,且 $8.875\times10^{30}>10^{27}$ ,两个范围重叠,共同无缝覆盖所有大于5的奇数 $n$ ——从而将三元哥德巴赫猜想确立为一个无条件定理。这一横跨2012–2013年多篇长文的完整论证,经历了异常漫长的多轮审稿过程,后被整理为《数学年刊研究丛书》(Annals of Mathematics Studies)中的一部研究专著。