广告
科学新闻
来自研究机构

用真实的行星计算机,终于解决了42个立方体的和

日期:
2019年9月6日
来源:
布里斯托大学
简介:
继开创性的33的“三立方和”解法之后,数学家们又解开了这个有着65年历史的著名数学谜题的最后一块,揭开了所有谜题中最难以捉摸的数字——42的谜底。
分享:
广告

完整的故事

继开创性的“三立方和”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。

布里斯托尔大学数学学院的布克教授说:“我感到如释重负。在这个游戏中,你不可能确定你会找到什么。这有点像试图预测地震,因为我们只有粗略的概率。

“所以,我们可能会在几个月的搜索中找到我们想要的东西,或者可能在下一个世纪都找不到解决方案。”

广告

故事来源:

材料所提供的布里斯托大学注:内容可能会根据风格和长度进行编辑。


期刊引用

  1. 安德鲁·布克。用33来解题数论研究, 2019;5 (3) doi:10.1007 / s40993 - 019 - 0162 - 1

引用此页

布里斯托大学。“用真实的行星计算机,终于解决了42的三个立方体和。”《科学日报》。《科学日报》,2019年9月6日。< www.koonmotors.com/releases/2019/09/190906134011.htm >。
布里斯托大学。(2019年9月6日).使用现实生活中的行星计算机,最终解决了42个立方体的和。《科学日报》。2023年6月19日检索自www.koonmotors.com/releases/2019/09/190906134011.htm
布里斯托大学。“用真实的行星计算机,终于解决了42的三个立方体和。”《科学日报》。www.koonmotors.com/releases/2019/09/190906134011.htm(2023年6月19日访问)。

探索更多的
从科学日报

有关的故事

广告