哥德巴赫猜想验证器

哥德巴赫猜想（1742 年提出）：每个大于 2 的偶数都可表示为两个素数之和。28 = 5+23 = 11+17；100 = 3+97 = 11+89 = 17+83 = 29+71 = 41+59 = 47+53。

现状：计算机已验证到 4×10¹⁸ 全部成立；理论最强结果是陈景润 1973 年的「1+2」（大偶数 = 素数 + 至多两素数之积）——陈氏定理至今是该方向的世界纪录。

哥德巴赫猜想的内容一句话就能讲完：任何大于 2 的偶数都能写成两个素数之和——4=2+2、6=3+3、8=3+5、100=3+97。这个 1742 年哥德巴赫致欧拉信件中的猜想，至今经历 280 余年仍未解决，与费马大定理、黎曼猜想同列「最容易陈述、最难证明」的数学明珠。计算机已验证到 4×10¹⁸ 以内的全部偶数，无一反例，但「尚未发现反例」与「证明不存在反例」之间隔着整个数学的深渊。

强猜想（偶数版本）迟迟未下，弱猜想（每个大于 5 的奇数是三个素数之和）却已在 2013 年被赫尔弗戈特完全证明——这是圆法+计算机验证的胜利：圆法处理充分大的数（门槛约 10²⁷），计算机补齐门槛以下。弱猜想告破的意义在于：奇数情形「多一个素数的自由度」足以让现有工具够得着，而偶数情形恰好卡在工具能力的边界上。陈景润 1966 年的「1+2」（充分大偶数=素数+两素数之积）至今仍是对强猜想最接近的记录。

哥德巴赫分解数 r(2n)（把 2n 写成两素数之和的方式数）没有精确公式，但哈代-李特尔伍德给出了渐近预测：r(2n)≈2C₂·(2n/ln²(2n))·∏(p|n,p>2)(p−1)/(p−2)。最后的乘积修正项解释了一个有趣现象：含小素数因子多的偶数（如 30 的倍数）分解数异常丰富，而 2 的幂（如 64、128）分解数相对稀少——小素数因子「引导」了更多互补素数对的存在。