哥德巴赫猜想看起来是个特别亲切的问题。每个大于二的偶数都能写成两个素数之和，随便验算几个：四等于二加二，六等于三加三，八等于三加五，十等于五加五。小学生都能看懂题目，但小学生变成老教授，也未必摸得到证明的门。这事最让人挠头的地方在于：题目本身没有任何让人费解的概念，却硬生生扛了三百年，把欧拉、哈代、陈景润这些聪明脑袋都磨得够呛。
为什么传统的证明方法在这道题前面显得这么无力？得从素数本身的性质说起。素数的定义很简单，只能被一和自身整除。但就是这个简单的定义，让素数的分布变得极其难以预测。它们在自然数里不是均匀出现的，有时候扎堆，有时候隔老远才冒一个。黎曼猜想研究的就是素数分布规律，但它本身也没被证明，还得假设它成立才能推出一些关于素数的结论。哥德巴赫猜想要的是每个偶数都能被两个素数凑出来，这比“素数大概有多少个”要具体得多，也苛刻得多。
传统方法里最常被拿来攻这道题的是筛法。埃拉托斯特尼筛法是最古老的一种，把合数一个一个筛掉，剩下的就是素数。后来布伦改进了这个方法，让它能处理“几乎素数”的问题。所谓几乎素数，就是允许结果里包含有限个素因子，但不要求纯素数。陈景润在1966年证出的“一加二”，就是说每个充分大的偶数都可以写成一个素数加上一个至多含两个素因子的数。这已经是筛法能走到的最远了。筛法的问题在于，它筛着筛着就把信息也筛没了。它没法区分一个数到底是一个素数还是两个素数的乘积，也分不清两个素数之和与一个素数加一个半素数之间的差别。到了“一加二”这个程度，筛法已经用尽了全力，再往前一步，它给不了任何有效的区分工具。
圆法是另一条路。哈代和李特尔伍德在二十世纪二十年代搞出来的这套东西，把数论问题变成积分问题，然后去估算这些积分的值。圆法在解决奇数哥德巴赫猜想时成功了，维诺格拉多夫证明了每个充分大的奇数都是三个素数之和。但偶数哥德巴赫猜想需要的是两个素数，圆法在处理“两个”的时候遇到了本质困难。两个素数之和，对应的积分区间非常窄，估算误差一不留神就把主要项给吞了。圆法能证明几乎所有的偶数都满足哥德巴赫猜想，但“几乎所有”跟“全部”之间隔着一道天堑。那些不满足的例外，哪怕数量再少，只要可能存在，证明就不算完成。
还有一个更深层的原因：素数是由乘法定义的，但哥德巴赫猜想是关于加法的。一个数是不是素数，取决于它能被什么数整除，这是乘法结构。两个数加起来等于另一个数，这是加法结构。数学里处理乘法结构的工具，跟处理加法结构的工具，几乎是两套完全不同的语言。素数在加法意义下的行为，没有什么现成的理论框架可以套。你可以把素数集合看成一个整体，研究它在加法下的性质，但这个集合的结构太不规则了，没有好的代数结构可以利用。这就好比手里只有一把锤子，但面前是一堆需要拧的螺丝，锤子再使劲也拧不动。
更麻烦的是，哥德巴赫猜想没有“几乎成立”这种退路。数学猜想要么被证明，要么被推翻，没有中间地带。你可以说“对于充分大的偶数，哥德巴赫猜想几乎总是成立”，但“几乎总是”不是“总是”。只要有一个偶数不满足，猜想就不成立。而筛法和圆法给出的结果，全是“几乎”类型的。它们能告诉你某件事在绝大多数情况下是对的，但没办法告诉你它永远是对的。这个“永远”就是最难跨过去的一步。
有人可能会想，那用计算机验证呢。计算机确实能验证很大的范围，现在好像已经验到了十的十八次方以上。但验证再多也不能代替证明。自然数是无限的，你验证了一百亿个偶数，第一百亿零一个还是有可能翻车。而且计算机验证的区间再大，跟整个自然数集比起来也是无限小的一部分。数学证明要的是逻辑上的普遍性，不是实验上的覆盖面。
这么多年下来，哥德巴赫猜想跟很多其他数学问题都产生了关联。如果它被证明，会带出一批关于素数分布和加法结构的结论。如果它被推翻，那更轰动，整个数论的好多东西都得重写。但正因为这些关联，它也变得更加孤立。所有跟它相关的工具，都已经发展到了各自的极限，再往前走需要新的数学，而不是把老方法磨得更锋利。就像当年牛顿发明微积分之前，用初等几何怎么算也算不出行星轨道，不是几何学家不够聪明，是缺了一件还没被造出来的工具。
所以传统方法攻克不了哥德巴赫猜想，不是因为这些方法不够好，而是因为它们处理的是另一类问题。素数加法这件事，可能本来就需要一套现在还没诞生的数学语言来描述。在那套语言出现之前，这道题还会继续挂着，像个安静的钉子户，不急不躁地等着属于它的那把钥匙。
