相比于数学界的惊讶,全球计算机科学界,尤其是算法和高性能计算领域的反应,则要直接和狂热得多消息在Hacker News、Reddit的r/programming板块以及各大算法竞赛的社区里,迅速登顶热门。【据报道,孪生素数猜想证明者周淮用36万机时解决k=114三立方数和问题,打破以往记录。疑似使用了新算法。)
在这个标题下面,各路网友们的讨论充满了对这一结果背后技术的渴望:
【别管114这个数字了,我想看算法!现有的方法已经被优化了几十年。要获得这种级别的加速,必须是范式级的转变!】
【arXiv上有预印本了吗?天啊,如果复杂度真的降低了,那很有可能是一个相当重要的成果,也许不仅仅是三立方数和的问题,还可以被推广到更多领域。】
对于真正研究算法的人,他们都清楚114的解只是一个虽然相当有噱头,但实际上无足轻重的成果。周淮的数学模型和算法实现,才是最重要的。
英国,布里斯托大学。
安德鲁·布克教授正在办公室里审阅一篇博士生的论文。
忽然,一封来自他在MIT的老朋友,安德鲁·萨瑟兰的邮件弹了出来,标题只有一个词,大写着:URGENT(紧急)。
看到这个标题,布克眼镜下的眉头一皱。
紧急?
莫非是萨瑟兰想出了寻找114的新算法?
布克和萨瑟兰两位教授,就是当前在三立方数和问题上寻找更多数字的解的先锋。
去年,也就是2019年的时候,他们接连寻找到了33和42这两个数字的解。
特别是42这个数字,在六十多年前,就被学者们尝试在最初的计算机上面寻找它的解。
因为42这个数字不管是在数学界,还是在大众之间,都有个相当知名的梗一-42就是生命、宇宙以及任何事情的终极答案。
而42也成为了100以内最后一个得到解的数字。
因此当时的他们也因为这项成果而名声大噪。
在那之后,他们也在继续寻找着1000以内仍未被解决的另外几个数字。
比如114。
但是他们发现,114这个数字实在是有点太难解决了。
不同数字的解决难度是完全不一样的。
就比如83等于(-2)3+ 3+ 43
但是84就等于(-8241191)3+(-41531726)3+ 416396113。而114,就是这些数字中格外特殊的一个。
或许寻找这个数字的解,称得上是所有数字中最难的一个。
因此,此时的布克下意识的在心中希望萨瑟兰是找到了方法。
而后,他打开了邮件,看向了里面的内容。
第一眼,他首先注意到了【114已经被解决了】这几个关键词。
他的脸上顿时一喜,这算不算是自己的预感成真了?
但是下一刻,他的表情就愣住了。
【安迪,你得看看这个。传言好像是真的,114已经被那个周淮解决了,就是证明了孪生素数猜想的那个。】
然后就附了一个链接在后面。
链接指向的,正是一个网络上面正在讨论的热帖,上面贴着那张[SOLUTION FOUND]的截图,以及各种从华国那边传来的消息。
布克盯着屏幕上的那三行巨大的数字,眉头紧锁。
作为亲手攻克了33和42的人,他比世界上任何人都清楚,要找到这样一个解,需要付出何等艰巨的努力和漫长的时间。
“不可能……”他下意识地喃喃自语,“我们的模型已经是最优的了,除非……除非他从一个完全不同的角度切入。”
他立刻打开了PARI/GP高精度计算程序,将那三个庞大的数字复制了进去,手指在键盘上敲击着,输入了立方和的指令。
他按下了回车。
办公室里只剩下电脑风扇的轻微转动声。
经过几秒钟的计算,屏幕上,一个简洁而确凿的数字被输出了出来。
114。
布克靠在了椅背上,长长地呼出了一口气。
那口气中,带着一丝难以置信,一丝挫败。
他知道,数字不会说谎。
面对这样的结果,他此时也只能选择接受。
就在这时,他的电话响了,是萨瑟兰打了过来。
“你看到了?”萨瑟兰的声音从听筒里传来,带着一种复杂的、既激动又无奈的语气。
“我刚验证完,”布克的声音显得有些沙哑,“结果是对的。”
电话两头沉默了片刻。
他们都想到了自己团队为了42那个解,在Charity Engine上耗费了超过一百多万个机时的日日夜夜。而现在,一个年轻人,用不到两天的时间,就完成了一个更难的成果。
半晌后,萨瑟兰略带一些开玩笑意味的声音响起,“这就是孪生素数猜想证明者的实力吗?咱们输的不冤。”
“唉…………”布克叹了一口气,虽然确实如此,但心中多少还是会有那么一点不甘的感觉。最后他说道:“好吧,反正114现在也不是我们最优先的目标,还是先看看其他几个数字吧。”他顿了顿,“……就是希望别过一段时间,那位天才又把其他的数字给解决了。”
萨瑟兰笑道:“我会向上帝祈祷的。”
随后,他们挂了电话。
布克又是叹了口气,重新拿起手中那份博士生的论文,看了一会儿,发现自己有点看不进去。随后在电脑上面打开浏览器,查看了一些相关的论坛网站,也搜索到了一些正在讨论这个新闻的帖子。36万个机时,这到底是怎么做到的?
真是无法理解。
计算机性能更好?
确实有这个可能。