在过去,数学家们对它十分乐观。因为从物理常识来看,水流是平滑的,不可能突然在某个点「爆炸」或者消失既然物理上不爆炸,那数学方程的解肯定也是平滑的,这是很符合直觉的。
但就在近几年,当今数学界公认的第一天才陶哲轩,给所有人泼了一盆格外冰冷的冷水。他通过构造「数学自动机」,证明了类似N-S方程的变体,在极端的数学条件下,解趋于无穷大,失去物理意义,也就是说在物理层面真的会发生「爆破」!
虽然陶哲轩研究的只是N-S方程的「平均化变体」,并不代表原版N-S方程也一定会爆破,这并非一个确定性的最终答案。但这宛如晴天霹雳般的发现,依然无情地击碎了数学家们长久以来的「物理直觉滤镜」。
……
再者,是「确定性最乐观,但证明路径最悲观」的——黎曼猜想。
作为现代数论的绝对基石,当今数学文献中有成千上万条定理,都是以「假设黎曼猜想成立」为前提推导出来的。一旦它被证伪,现代数学体系将面临灾难性的坍塌。因此,从学科发展的必然性来看,几乎所有数学家都「确信」它是对的。
事实上,人类已经动用超级计算机,验证了前三十万亿个非平凡零点,发现它们无一例外,全部精准地落在那条实部为1/2的「临界线」上。
但在严谨的数学体系里,哪怕你验证了三十万亿次,也无法代替最终的逻辑证明。因为在「无穷大」面前,任何有限的数值穷举都毫无意义。这就好比你已经观察到了三十万亿只白天鹅,但在严密的逻辑上,你依然无法直接推导出「这个世界上绝对不存在黑天鹅」的结论。
这种「统计学上的绝对自信」与「逻辑学上的无从下手」,构成了黎曼猜想最让人无奈的地方。所有人都知道结论大概率是对的,但现有的数学工具,根本无法跨越从「数值验证」到「解析证明」之间的那道逻辑断层。
……
至于剩下的「P vs NP问题」丶「霍奇猜想」和「杨-米尔斯存在性与质量间隙」……那更是连「月球」到底存不存在丶造火箭的图纸该用什么语言画,都还在争论不休!
「这任务奖励虽然丰厚得吓人,但这难度……简直是地狱级的啊。」
徐辰苦笑了一声。
……
「难怪系统给出的奖励这么变态……」
徐辰看着那高达一万点的基础经验和三千点的自由经验,忍不住咽了口唾沫。
这奖励,比哥猜足足翻了三倍多!
但徐辰也很清楚,这奖励绝对不好拿。
千禧年难题的难度,是令人绝望的。
自从2000年公布以来,整整二十多年过去了,除了俄罗斯那个不世出的怪才佩雷尔曼,用极其暴力的「里奇流」干掉了庞加莱猜想之外,剩下的六个问题,至今依然是一片死寂。
无数绝顶天才前赴后继地冲进去,连个水花都没溅起来。
「不过,我现在可是LV.4了。可以说这个世界上,如果只有一个人能解开,那只能是我了」