第376章 哥猜主线完成 二（加更 五）（2 / 2）

其次，是“从物理直觉上看最乐观，但近期被打脸最狠”的——纳维-斯托克斯方程（n-s方程）。

在过去，数学家们对它十分乐观。因为从物理常识来看，水流是平滑的，不可能突然在某个点“爆炸”或者消失既然物理上不爆炸，那数学方程的解肯定也是平滑的，这是很符合直觉的。

但就在近几年，当今数学界公认的第一天才陶哲轩，给所有人泼了一盆格外冰冷的冷水。他通过构造“数学自动机”，证明了类似n-s方程的变体，在极端的数学条件下，解趋於无穷大，失去物理意义，也就是说在物理层面真的会发生“爆破”！

虽然陶哲轩研究的只是n-s方程的“平均化变体”，並不代表原版n-s方程也一定会爆破，这並非一个確定性的最终答案。但这宛如晴天霹雳般的发现，依然无情地击碎了数学家们长久以来的“物理直觉滤镜”。

……

再者，是“確定性最乐观，但证明路径最悲观”的——黎曼猜想。

作为现代数论的绝对基石，当今数学文献中有成千上万条定理，都是以“假设黎曼猜想成立”为前提推导出来的。一旦它被证偽，现代数学体系將面临灾难性的坍塌。因此，从学科发展的必然性来看，几乎所有数学家都“確信”它是对的。

事实上，人类已经动用超级计算机，验证了前三十万亿个非平凡零点，发现它们无一例外，全部精准地落在那条实部为1/2的“临界线”上。

但在严谨的数学体系里，哪怕你验证了三十万亿次，也无法代替最终的逻辑证明。因为在“无穷大”面前，任何有限的数值穷举都毫无意义。这就好比你已经观察到了三十万亿只白天鹅，但在严密的逻辑上，你依然无法直接推导出“这个世界上绝对不存在黑天鹅”的结论。

这种“统计学上的绝对自信”与“逻辑学上的无从下手”，构成了黎曼猜想最让人无奈的地方。所有人都知道结论大概率是对的，但现有的数学工具，根本无法跨越从“数值验证”到“解析证明”之间的那道逻辑断层。

……

至於剩下的“pvsnp问题”、“霍奇猜想”和“杨-米尔斯存在性与质量间隙”……那更是连“月球”到底存不存在、造火箭的图纸该用什么语言画，都还在爭论不休！

“这任务奖励虽然丰厚得嚇人，但这难度……简直是地狱级的啊。”

徐辰苦笑了一声。

……

“难怪系统给出的奖励这么变態……”

徐辰看著那高达一万点的基础经验和三千点的自由经验，忍不住咽了口唾沫。

这奖励，比哥猜足足翻了三倍多！

但徐辰也很清楚，这奖励绝对不好拿。

千禧年难题的难度，是令人绝望的。

自从2000年公布以来，整整二十多年过去了，除了俄罗斯那个不世出的怪才佩雷尔曼，用极其暴力的“里奇流”干掉了庞加莱猜想之外，剩下的六个问题，至今依然是一片死寂。

无数绝顶天才前赴后继地衝进去，连个水花都没溅起来。

“不过，我现在可是lv.4了。可以说这个世界上，如果只有一个人能解开，那只能是我了”