

此次引起数学界轰动的发现是基于 BOINC 平台完成的。

1992年,牛津大学数学家 Roger Heath-Brown 提出了一个猜想:所有自然数都可以被写成三个整数的立方之和。

例如,1³+2³+3³=36。也就是说,自然数 36 可以表示为整数 1、2、3 的立方和。
随着越来越多的自然数被证实能够用三个整数的立方和来表示,Heath-Brown 教授的猜想似乎要被数学家们信服。随着数学家们的进一步研究发现,这个猜想被补充演变成:所有的自然数都能够用三个整数的立方和来表示,9n±4 型自然数除外。
小女警猜测,或许你也想尝试自己算一算。然而,要证实这个数学猜想并不是仅依靠人脑那么简单,它需要的是大量算力支持。
仅仅是对于 100 以内的自然数(9n±4 型自然数除外)来说,直到今年 3 月,还有一个数字的立方和之谜未被解开,它就是 42。《银河系漫游指南》中提到,宇宙的终极答案是 42。这为无法破解的 42 的立方和之谜更增加了一抹神秘色彩。

9 月 6 日,“33 的立方和”(今年 3 月才被验证成立)发现者 Andrew Booker 与麻省理工大学的 Drew Sutherland 共同破解了“42 的立方和”之谜。
( -80538738812075974)³ +
(80435758145817515)³+
(12602123297335631)³ =42
自此,“100 以内的自然数都能够用三个整数的立方和来表示,9n±4 型自然数除外”不再仅仅是猜想,而是成为了被公众广泛接受的定理。
菲尔兹奖(数学界的诺贝尔奖)得主、数学家 Timothy Gowers 在推特上转发了这条消息,并笑称“扼腕!我竟然没注意到这点…”

在破解“42 的立方和”的过程中,Andrew Booker 与 Drew Sutherland 通过基于 BOINC 平台的分布式计算网络 Charity Engine(“慈善引擎”),利用了超过 50 万台个人闲置设备进行计算,最终得出了结果。

100 以内的自然数已全部被证实猜想成立,数学家们继续挑战起了 1000 以内的自然数。
9 月 23 日,数学家们通过基于 BOINC 平台的分布式计算网络 Charity Engine,又发现了另一个自然数——906 的立方和!
数学爱好者 Robin Houston 在推特上发表了这一成果。他同时告诉我们,在 1000 以内还仅剩 9 个自然数的立方和还未被发现。它们分别是 114、165、390、579、627、633、732、921 和 975。

看到这里,如果你也对证实这个数学猜想感兴趣,那么你完全可以加入寻找这些自然数的立方和的过程中。
首先,进入算力地球官网(http://www.boincplanet.com)下载并安装 BOINC 客户端。

安装完成后,打开 BOINC 客户端,点击菜单栏的“工具”选项,选择“添加账户管理器”。

接下来,在“添加账户管理器”页面手动输入“https://www.charityengine.com”,点击“下一步”,即可加入 Charity Engine。

添加完成之后,Charity Engine 就会出现在你的项目列表里,开始向你的计算机分配计算任务啦!

小女警可是对探索数学领域的奥秘充满好奇,如果你也一样,欢迎扫描文章末尾二维码加入「算力地球」交流群,获知 BOINC 平台支持科研项目的最新资讯!

算力地球
给文明以算力

加入「算力地球」交流群
请加「算力地球小女警」微信好友并回复“入群”
