第346章 快则五年，慢则十年（1 / 2）
请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。
“徐辰……我想，你已经证明了哥德巴赫猜想。”
拉福格的话音刚落，整个办公室仿佛被按下了暂停键。
然而，这种震撼的氛围仅仅维持了不到三秒钟。
作为一名严谨的顶级数学家，拉福格立刻纠正了自己刚才因为过度激动而脱口而出的断言。
“不，准確地说……”他看著徐辰，“你证明的是，『如何』证明这个问题的方法！”
……
徐辰並不是傻瓜。
在拉福格说出那句话的瞬间，他脑海中也理解了拉福格教授的说法。
他原本因为疲惫而略显黯淡的眼睛，此刻也亮了起来。
“看来你已经反应过来了。”拉福格看著徐辰的表情，微笑著点了点头，但他还是走到白板前，拿起粉笔，將这个“拼图”画了出来。
他在白板的最上方，画了一条代表全体偶数的数轴。
“几个月前，你用『广义tt』的非交换几何方法，虽然被算术刚性卡住了上限，但你明確地指出，在1030到10150这个中尺度区间內，这套方法是可行的！”
拉福格在数轴的中间段，重重地画了一条线，標上了“广义tt：[1030，10150]”。
“而刚才！”拉福格的声音越来越激动，指著徐辰刚才写下的那个数字，“你用『概率圆法』，將大数区间的下限，硬生生地压到了10145！”
他在数轴的右半段，画下了第二条线：“概率圆法：[10145，+∞)”。
“发现了吗，徐辰！”
雨果也忍不住站了起来，指著白板上那两条线相交的地方：
“这两条原本截然不同两个领域的数学路径，在10145到10150这个区间里……”
“完美地咬合了！”
“就像是两支从地球两端同时动工的隧道工程队，在经歷了无数的艰难险阻后，奇蹟般地在地底最深处，分毫不差地完成了对接！”
“从1030到无穷大，这整条漫长的数轴，已经被你的工具给完全覆盖了！”
……
看著白板上那完美的拼图，徐辰的呼吸也变得急促起来。
但他依然保持著最后一丝理智：“可是教授，还剩下一个区间……从2到1030。在这个极小尺度下，无论是广义tt还是概率圆法，其误差项都会因为极端算术刚性而彻底爆炸。这部分依然是无解的。”
“哈哈哈哈！”
一旁的雨果突然大笑了起来，他走上前，拍了拍徐辰的肩膀。
“徐，你是不是在抽象的数学世界里待得太久，忘记了现实世界中还有一种叫做『暴力穷举』的东西”
“1030以下的数字，对於纯数学推导来说確实是个非常噁心的『奇点』。但对於现代计算机来说，这根本就不是问题！”
徐辰愣了一下，隨即有些自嘲地拍了拍额头。
这段时间他一直沉浸在纯数学的推导中，满脑子都是解析方法，竟然把计算机穷举这种最简单粗暴的证明手段给忘了。
……
“早在十几年前，就有个叫托马斯奥利维拉席尔瓦的计算机科学家，带领团队用当时的超级计算机，把哥德巴赫猜想一路穷举，我记得大概是验证到了4x1018！”
“后来之所以停止，是因为继续往下算太耗费算力，而且在没有理论证明兜底的情况下，单纯的穷举毫无意义，因为你永远也穷举不到无穷大。”
↑返回顶部↑