作为一个大家熟悉的猜想，哥德巴赫猜想是如此的简单和谐，以至于“一个偶数等于两个素数之和”。大量数据经计算机验证，无一例外都符合猜想。而且从理论证明方面，人们采用逐步逼近的方法来解决猜想。发现即使哥猜的论证被削弱，这些被削弱的猜想仍然成立。从时间上看，最终1+1目标的解决只是时间问题。
我们也愿意相信哥哥的猜测是正确的，但是数学上没有时间进行任何模糊的讨论，尤其是数学证明。没有严格的理论证明，你永远无法证明这个命题是正确的。所以在黎曼猜想的求解中，有人大喊“十万亿条证据都比不上一个基本证明”。估计我也面临这个困境。
举一个数学史上的例子。在验证了非常大范围的数字后，人们认为这个结论是正确的，但最终在非常大的数字后出现了反例，所有的结论最终被推翻。
高斯提出了素数分布公式，认为x范围内的素数个数约为x/lnx。这个公式得到了后来计算机的验证，这个值与实数函数π(x)基本一致。
在计算了相当大范围的数据后，人们认为x/lnx总是小于π(x)。
然而，1914年，利特伍德证明了x/lnx在某一点上会大于π(x)，他进一步证明了这种交错关系实际上会重复无数次。后来发现这个第一反例的X值在空之前是巨大的，人们现有的计算机不足以验证这个数字。但是，理论上无可辩驳的是，这个反例的x值一定存在！
所以计算机可以验证我们的猜想，但不能从根本上解决问题。我们总结出来的很多看似我们公司很熟悉的事实空到最后不一定是真相。当然，哥德巴赫猜想也成立。除非将来有一天用无可辩驳的证明解决了，否则猜想永远是猜想。
