1953年,数学家Louis MorDELL提出一个疑问:这个第3组整数解,它存在吗?
最近,这组解终于被找到了。
警告一下,千万别尝试用穷举法编程!
因为这3个数远远超出了长整型的范围,但数学家还是动用了40万台电脑把答案找出来了。
另外,这两位数学家还把程序代码开源了。
当然,他们并非暴力搜索。这时候数学的作用就来了:它能为你提供算法,告诉你搜索范围,大大缩小搜索空间。
一个正整数能否表示成三个整数的立方之和(x3+y3+z3=k),关于它的每次发现都能引起不小的轰动。
这个看似没技术含量的问题,其实困扰了数学界很久。
三个立方数之和
1992年,数学家Roger Heath-Brown提出了一个猜想:对于一个正整数k,如果它除以9的余数不是4或5(k不等于9n±4),那么k就可以表示成三个整数的立方之和。
而且每个k都有无穷多组整数解。
对于k小于100的情况,2019年之前只有k=33、42没有找到整数解。
2019年3月,33告破:
33 = (8866128975287528)3 + (-8778405442862239)3 + (-2736111468807040)3
2019年9月,麻省理工的Andrew Sutherland和布里斯托大学Andrew Booker的两位安德鲁找到了42的答案:
42 = (-80538738812075974)3 + (80435758145817515)3 + (12602123297335631)3
当时,菲尔兹奖得主、剑桥大学教授Timothy Gowers还转推“祝贺”。
虽然100以内的数皆告破,但几十年间却没有关于k=3的新解,许多人开始相信这个所谓的新解根本不存在,Heath-Brown猜想也是错的。
但是,在找到42的答案之后,这两位安德鲁很快就出乎意料找到了k=3的第三组整数解:
3 = (569936821221962380720)3 + (-569936821113563493509)3 + (-472715493453327032)3
数学化简
为了找到42和3的解决方案,两位数学家从现有算法开始,将立方和公式转化为他们认为更容易求解的形式:
他们将x+y看做一个参数d,进一步修改了算法,然后将两边都除以d求余数(数学中记作mod d)
这样问题就变成k除以d的余数是z?。
这样,只需寻找d和z的值,即可保证找到对应于k=3的x、y、z。
即便如此,搜索的数字空间也是无限大的。因此,他们通过使用数论中的“筛法”,极大地减少了d范围,将xyz的搜索范围降到10的15次方以内。
拆解任务
两位安德鲁还开发了将搜索算法拆分成几十万个并行处理流的方法。
如果仅在一台计算机上运行该算法,则要花几百年的时间才能找到答案。而通过将工作分为几十万个较小的任务,就可以在个人电脑上运行,进一步加快搜索速度。
在2019年9月,研究人员通过Charity Engine实施了这项计划,借用普通用户的家用电脑资源,共同解决难题。
当时,全球加入Charity Engine分布式计算项目的计算机超过40万台。两位安德鲁将他们的算法部署在平台上。
(注:Charity Engine项目还帮助科学家解决了一个蛋白质折叠问题,发了一篇Science。)
最终,这项工作被分为大约40万个任务,每个任务需要一台计算机花费大约3个小时才能完成。
很快,全球各地的电脑返回的k=42的第一个整数解。
而仅仅两周后,他们已经发现,k=3的第3个整数解就找到了,他们还把这组解印在了T恤上。
至此,Mordell在68年前的问题终于得到解答。
那么问题又来了x3+y3+z3=3的第4组解是多少?
可能有生之年很难见到了,因为求下一组解需要的计算量是现在的1000万倍,需要4万亿台电脑才能算出,而且可能还不够。
△ 论文作者之一Andrew Sutherland
Sutherland说:“我不知道我们是否会知道第四个解,但是我确信它存在。”
京东创始人刘强东和其妻子章泽天最近成为了互联网舆论关注的焦点。有关他们“移民美国”和在美国购买豪宅的传言在互联网上广泛传播。然而,京东官方通过微博发言人发布的消息澄清了这些传言,称这些言论纯属虚假信息和蓄意捏造。
日前,据博主“@超能数码君老周”爆料,国内三大运营商中国移动、中国电信和中国联通预计将集体采购百万台规模的华为Mate60系列手机。
据报道,荷兰半导体设备公司ASML正看到美国对华遏制政策的负面影响。阿斯麦(ASML)CEO彼得·温宁克在一档电视节目中分享了他对中国大陆问题以及该公司面临的出口管制和保护主义的看法。彼得曾在多个场合表达了他对出口管制以及中荷经济关系的担忧。
今年早些时候,抖音悄然上线了一款名为“青桃”的 App,Slogan 为“看见你的热爱”,根据应用介绍可知,“青桃”是一个属于年轻人的兴趣知识视频平台,由抖音官方出品的中长视频关联版本,整体风格有些类似B站。
日前,威马汽车首席数据官梅松林转发了一份“世界各国地区拥车率排行榜”,同时,他发文表示:中国汽车普及率低于非洲国家尼日利亚,每百户家庭仅17户有车。意大利世界排名第一,每十户中九户有车。
近日,一项新的研究发现,维生素 C 和 E 等抗氧化剂会激活一种机制,刺激癌症肿瘤中新血管的生长,帮助它们生长和扩散。
据媒体援引消息人士报道,苹果公司正在测试使用3D打印技术来生产其智能手表的钢质底盘。消息传出后,3D系统一度大涨超10%,不过截至周三收盘,该股涨幅回落至2%以内。
9月2日,坐拥千万粉丝的网红主播“秀才”账号被封禁,在社交媒体平台上引发热议。平台相关负责人表示,“秀才”账号违反平台相关规定,已封禁。据知情人士透露,秀才近期被举报存在违法行为,这可能是他被封禁的部分原因。据悉,“秀才”年龄39岁,是安徽省亳州市蒙城县人,抖音网红,粉丝数量超1200万。他曾被称为“中老年...
9月3日消息,亚马逊的一些股东,包括持有该公司股票的一家养老基金,日前对亚马逊、其创始人贝索斯和其董事会提起诉讼,指控他们在为 Project Kuiper 卫星星座项目购买发射服务时“违反了信义义务”。
据消息,为推广自家应用,苹果现推出了一个名为“Apps by Apple”的网站,展示了苹果为旗下产品(如 iPhone、iPad、Apple Watch、Mac 和 Apple TV)开发的各种应用程序。
特斯拉本周在美国大幅下调Model S和X售价,引发了该公司一些最坚定支持者的不满。知名特斯拉多头、未来基金(Future Fund)管理合伙人加里·布莱克发帖称,降价是一种“短期麻醉剂”,会让潜在客户等待进一步降价。
据外媒9月2日报道,荷兰半导体设备制造商阿斯麦称,尽管荷兰政府颁布的半导体设备出口管制新规9月正式生效,但该公司已获得在2023年底以前向中国运送受限制芯片制造机器的许可。
近日,根据美国证券交易委员会的文件显示,苹果卫星服务提供商 Globalstar 近期向马斯克旗下的 SpaceX 支付 6400 万美元(约 4.65 亿元人民币)。用于在 2023-2025 年期间,发射卫星,进一步扩展苹果 iPhone 系列的 SOS 卫星服务。
据报道,马斯克旗下社交平台𝕏(推特)日前调整了隐私政策,允许 𝕏 使用用户发布的信息来训练其人工智能(AI)模型。新的隐私政策将于 9 月 29 日生效。新政策规定,𝕏可能会使用所收集到的平台信息和公开可用的信息,来帮助训练 𝕏 的机器学习或人工智能模型。
9月2日,荣耀CEO赵明在采访中谈及华为手机回归时表示,替老同事们高兴,觉得手机行业,由于华为的回归,让竞争充满了更多的可能性和更多的魅力,对行业来说也是件好事。
《自然》30日发表的一篇论文报道了一个名为Swift的人工智能(AI)系统,该系统驾驶无人机的能力可在真实世界中一对一冠军赛里战胜人类对手。
近日,非营利组织纽约真菌学会(NYMS)发出警告,表示亚马逊为代表的电商平台上,充斥着各种AI生成的蘑菇觅食科普书籍,其中存在诸多错误。
社交媒体平台𝕏(原推特)新隐私政策提到:“在您同意的情况下,我们可能出于安全、安保和身份识别目的收集和使用您的生物识别信息。”
2023年德国柏林消费电子展上,各大企业都带来了最新的理念和产品,而高端化、本土化的中国产品正在不断吸引欧洲等国际市场的目光。
罗永浩日前在直播中吐槽苹果即将推出的 iPhone 新品,具体内容为:“以我对我‘子公司’的了解,我认为 iPhone 15 跟 iPhone 14 不会有什么区别的,除了序(列)号变了,这个‘不要脸’的东西,这个‘臭厨子’。