用Python做哥德巴赫猜想的数值验证

歌德巴赫猜想是数学皇冠上的明珠。她说的是：

任一大于2的偶数，都可表示成两个素数之和。

尽管还没有被完全证明，但人们一直相信她一定是正确的，而且迄今为止，确实没有发现任何反例。也正因为如此，对歌德巴赫猜想的数值验证，也是一个非常重要的工作。

下面是关于歌德巴赫猜想数值验证的进展，摘自维基百科：

• 1938年，尼尔斯·皮平（Nils Pipping）验证了所有小于 105 的偶数。
• 1964年，M·L·斯坦恩和P·R·斯坦恩验证了小于 107 的偶数。
• 1989年，A·格兰维尔将验证范围扩大到 2×1010 。
• 1993年，Matti K. Sinisalo验证了 4×1011 以内的偶数。
• 2000年，Jörg Richstein验证了 4×1014 以内的偶数。
• 截至2014年，数学家已经验证了 4×1018 以内的偶数。

在所有的验证中，没有发现偶数哥德巴赫猜想的反例。

今天我们用自己的家用电脑（而不是数学家们用的大型计算机或超级计算机），采用简单而高效的