超级计算机算42,史上最强方程，为求解42=33，超级计算机都顶不住了

丢番图方程

K=x³+y³+z³问题是丢番图方程的一种形式，其中x,y,z和K均为整数。这个方程的起源可以追溯到古巴比伦时代，后来以古希腊数学家丢番图命名。

费马那句著名的“我想到了一个绝妙的证明，但是这页边空白太小了写不下”，最初就是写在这条方程旁边。(费马大定理传送门)

在这个“三次方之和”问题中，对于K的不同取值，丢番图方程可能无解，也可能存在无限多解。

例如，当K=29时，我们很容易想到29 = 3³ + 1³ + 1³。

当然还有一些情况，例如对K=32时，方程没有整数解。

没有什么可以打倒坚持不懈的数学家们，在排除无解的数字之后，数学家们开始用穷举法计算方程的解，也就是简单粗暴地一个个尝试可能的选项。

但逐一尝试终究不是个好办法，自1955年以来，数学家们开始尝试借助计算机来解决这一问题。得出的一些方程的解数字非常庞大，比如K=26的情形是这样的：

26=(114,844,365)³ + (110,902,301)³ + (–142,254,840)³

到了1992年，91岁高龄的盖伊用计算机搜索后发现，对所有小于1000的数字，除了下面表中的数以外，其他小于1000的数都可以找到丢番图方程形式的表示。

标红的数字，截止2019年3月都还没有被解决