第346章 快则五年，慢则十年（2 / 2）
请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。
“但是现在不一样了！”
雨果指著黑板上那两条线段：
“你已经用纯数学的方法，把1030到无穷大的路给彻底铺平了！现在，哥德巴赫猜想不再是一个无限的深渊，它变成了一个有著明確终点的『有限工程』！”
“只要你把这个路线图公布出去，我敢打赌，全世界那些超算中心——美国的『顶点』、日本的『富岳』、中国的『神威』，绝对会抢著去跑这剩下的1030的穷举任务！”
“以现在的算力，最多两年，他们就能把这个坑给彻底填平！”
……
这种“分段围剿”策略，在数论史上並非没有先例。
当年，秘鲁数学家哈拉尔德赫尔夫戈特在解决“弱哥德巴赫猜想”时，也就是任何一个大於7的奇数都能被表示为三个奇素数之和，用的就是十分相似的战术。
他先是用复杂的圆法，证明了当数字大於1029时，弱哥猜绝对成立。
然后，他把剩下的、从5到1029这个区间，甩给了他的合著者大卫普拉特。普拉特带著团队，调用了法国超算中心的庞大算力，耗费了整整几个月的时间，用计算机把1029以下的每一个奇数全都验证了一遍！
理论证明上限，计算机兜底穷举下限。
两者一结合，直接绝杀了“弱哥猜”！
而现在，徐辰在误打误撞之间，竟然復刻了这一策略！
而且，他面对的，是难度比弱哥猜高出无数个量级的“强哥德巴赫猜想”！
从今天起，哥德巴赫猜想，將不再是一个虚无縹緲的“猜想”。
它变成了一个清晰的、可量化的、只需要投入足够的时间和人力就一定能完成的“工程项目”！
……
“那么，教授。”徐辰深吸了一口气，强迫自己冷静下来，“如果按照这个路线图，我们大概需要多久，才能看到最终的结果”
拉福格沉吟了片刻，在脑海中快速盘算了一下。
“这取决於全球数学界和计算机界的动员能力。”
“首先是计算机穷举部分。1030虽然是个天文数字，但如果能联合全球排名前十的超算中心进行分布式计算，按照目前的算力增长速度，我估计最多一两年，就能把这段路彻底推平。”
“其次，是广义tt在【1030到10150】区间的推广。你之前在论文里已经把非交换几何的工具打磨得非常锋利了。只要有几个顶尖的代数几何团队接手，顺著你的思路往下算，三到四年內，绝对能给出確切的证明。”
拉福格顿了顿，目光看向了黑板上那个最庞大的区间。
“最耗时的，其实是你刚刚发明的『概率圆法』。”
“虽然你已经用-ldt算子证明了它在【10145到无穷大】区间绝对可行，而且你还亲自打通了1050万以上的超大数区间。但剩下的那部分，尤其是靠近10145下限的区域，计算量极其恐怖。”
“如果只靠一个团队去算，那绝对是遥遥无期。但好消息是，你这套方法是可以『分拆』的！”
“我们可以把剩下的区间，切成几十个小块，分包给全球的解析数论团队一起算。”
“如果有二十个顶尖团队同时开工，那么大部分区间在三年內就能搞定。至於最难啃的10145附近，可能需要五年，甚至十年。”
拉福格转过身，看著徐辰，语气中透著一种见证歷史的庄严：
“也就是说，快则五年，慢则十年。”
“这个困扰了人类两百五十年的终极幽灵，就將彻底烟消云散！”
……
↑返回顶部↑