继开创性的“三立方和”33的答案之后,由布里斯托尔大学和麻省理工学院(MIT)领导的一个团队解决了这个有着65年历史的著名数学难题的最后一块,并给出了最难以捉摸的数字——42的答案。
最初的问题是1954年在剑桥大学提出的,寻找丢番图方程x^3+y^3+z^3=k的解,k是从1到100的所有数字。
除了容易找到的小答案之外,这个问题很快变得棘手起来,因为更有趣的答案——如果确实存在的话——不可能计算出来,因为需要的数字太大了。
但是慢慢地,经过许多年,由于复杂的技术和现代计算机,k的每个值最终都被解出来了(或被证明是不可解的)——除了最后两个,它们是最难的;33和42。
时间快进到2019年,安德鲁·布克教授的数学智慧加上几周的大学超级计算机,终于找到了33的答案,这意味着在这个几十年来的难题中,最后一个突出的数字,最难破解的难题,是各地道格拉斯·亚当斯粉丝的最爱。
然而,解决42是另一个复杂的层面。布克教授求助于麻省理工学院数学教授安德鲁·萨瑟兰(Andrew Sutherland),他是大规模并行计算的世界纪录保持者,而且——仿佛是进一步的宇宙巧合——获得了一个行星计算平台的服务,让人想起《银河系漫游指南》(Hitchhiker’s Guide to the Galaxy)中给出答案42的巨型机器“深思”(Deep Thought)。
布克和萨瑟兰教授的42的解可以通过使用慈善引擎找到;这是一台“全球计算机”,它利用50多万台家用电脑闲置的、未使用的计算能力,创建了一个众包的、超级绿色的平台,完全利用了其他浪费的能力。
经过超过一百万小时的计算证明,答案如下:
X = -80538738812075974 y = 80435758145817515 z = 12602123297335631
有了这些几乎无限不可能的数字,著名的丢番图方程(1954)的解可能最终会被推翻,因为k的值从1到100——甚至42。
布里斯托尔大学数学学院的布克教授说:“我感到如释重负。在这个游戏中,你不可能确定你会找到什么。这有点像试图预测地震,因为我们只有粗略的概率。
“所以,我们可能会在几个月的搜索中找到我们想要的东西,或者可能在下一个世纪都找不到解决方案。”
引用此页: