有哪些数学猜想已被计算机证伪？

其实这样的例子并不少，主要是当时提出这个猜想的时候，推翻猜想的反例却远远超出人类自身的计算能力，就必须得依靠计算机的大量计算，才能判断到时是对是错。

我们今天先从最有名的欧拉来讲起，作为中世纪著名的数学家，欧拉一生的创作极为丰富，只要不是艺术类和语言类的同学，相信都对欧拉念念不忘（有一些痛，一辈子都忘不了）。

孩子，该起来看书了。

欧拉是一些产出极为丰富的数学家，他也曾提出过这么一个猜想（欧拉猜想）：

当欧拉提出这个猜想的时候，声称该方程没有正整数解。

在这个猜想提出来之后，欧拉并没有证实是否正确就已离去，而在欧拉离世后的两百多年里，大批数学家都尝试去解开这道谜题，但并没有人成功，谁也无法证明欧拉猜想是对的，同时也无法举一个例子来证明这个是错误的。

即便在计算机出现后，由于算力不足，依旧没办法找到一个反例来证明欧拉猜想是错的，而这似乎也让人们更加相信欧拉猜想是正确的。

伴随着计算算力的提升，欧拉猜想正式被证伪：

1988年，哈佛大学的Noam Elkies在一次计算中，发现了这个等式：

此时，这也就正式宣传欧拉猜想是错误的。但思想的堤坝有了出口，思维便一发不可收拾，在随后的深入研究中，Noam Elkies发现该方程存在无穷多个正数解。

尽管欧拉猜想两百多年来屹立不倒，但最终还是被推翻了，两百多年来，各路豪强用尽脑力也无法破解的谜题，终究被计算机所打破，而这也正入Simon Singh 所著的《费马大定理：一个困惑了世间智者358年的谜》中的那句话：“这里的教训是，你不能通过只对前一百万个数字来证明一个猜想对所有的数都成立。”

其实，数学上的证伪和证实都是一个非常有趣的过程，我们不断的用例子来证明这个猜想是对的，到后来你会发现，即便是一百万个对的例子却敌不过一个反例。

最后说多两句：这也和我们的人生一样，可能一辈子都在做好事，但某天因为某些原因做了一件小坏事，善良人设轰然倒塌，成了一个大家眼中的不良人。

是非曲直苦难辩，自有日月道分明！