让你代管军校，世界第一高校了？ 第191节

第149章 数学交流研讨会，黎曼猜想被证明！

翌日上午。

蓝天军事大学。

数学学院，学术报告厅。

常春藤联盟与蓝天军事大学的数学交流研讨会，拉开序幕。

一些上午没课的非军籍蓝天学子，都来到现场，欣赏双方的精彩对决。

此外，数学领域的导师和教授，也来到现场。

高台之上。

普林斯顿大学的博士生丹尼斯，正在侃侃而谈。

报告厅大屏幕上。

显现着丹尼斯的论文标题《用E8证明8维空间中的等体球体最密堆积问题》。

丹尼斯用英文说道：“在空间中，把相同大小的球体堆在一起的方式，叫做球堆积。

而在高维空间中，寻找相同大小球体的最密堆积，非常复杂。

每增加—个维度，就意味着有更多可能的堆积方式要考虑。

不过在数学界，大家都知道有个维数非常特殊，那就是8维。

这个维数，存在着成为E8的对称球堆积，这种令人眼花缭乱的球堆积，要好于在其他维数上已知的最密球堆积的候选者。

E8与包括数论、组合和双曲几何在内的许多数学学科有关，甚至与弦论等物理领域也有关。

但目前的数学界，始终没有足够的证据，证明E8是各自维度上的最密堆积。

今天这篇论文。

我想用模形式这种数学函数，来证明E8是最密的8维堆积……”

现场大屏幕上。

一行行函数公式出现。

伴随着丹尼斯深入浅出的讲解。

众人都沉浸在他的这篇论文里。

……

观众席上。

蓝天军事大学数学教授们，频频点头。

今年的U.S.news世界大学数学学科排行榜上。

普林斯顿的数学，排名全球第一。

丹尼斯在数学领域，有着极深的造诣，展现出了443顶级名校普林斯顿大学的风采。

……

时间缓缓流逝。

丹尼斯用23页的论文，顺利攻克高维版本球堆积问题。

他结束报告时，得到了全场的掌声。

丹尼斯神采奕奕的走下高台，神情骄傲无比。

普林斯顿大学，数学学科全球第一。

这就是他的信心来源所在！

另外，攻克高维版本球堆积问题，完全称得上菲尔兹奖级别的数学成就。

今天的数学交流研讨会，他赢定了！

……

接下来。

常春藤联盟的数学学霸，纷纷上台。

容纳上千人的数学报告厅，响起一次又一次的掌声。

作为世界最顶级的高校联盟。

常春藤联盟学生的论文，质量非常高。

比如，四维球体具有远远超出基本对称性的对称族。

比如，全空间中正确增长的各项异性Trudinger–Moser不等式及其最佳性。

比如，离散网格上全纯函数的边界行为以及一些相关的scaling极限收敛性。

在场的蓝天学子，看到这些论文后，频频点头。

常春藤联盟的数学平，的确很高！

……

片刻之后。

蓝天军事大学数学学院大四学生宋运，走上高台。

他用流利的英文说道：“我准备了一篇论文，原本准备投稿《蓝天数学期刊》的，趁着这次交流研讨会，我就献丑了。”

闻言，在场的蓝天学子，都来了兴趣。

《蓝天数学期刊》，已经成为国际上影响因子最高的数学期刊。

宋运既然有把握投稿《蓝天数学期刊》。

想必这篇论文平极高。

众人的注视下。

宋运把U盘放进USB接口。

现场大屏幕上。

出现论文标题——《黎曼猜想的证明！》

看到这个标题。

学术报告厅，顿时一片轰动。

黎曼猜想，于1859年提出，是世界七个顶级数学难题之一。

黎曼猜想的研究过程中，产生了上千个和猜想有关的数学命题。

如果黎曼猜想被证伪，那这些命题全部作废，数学体系失去重要根基。

当年，米国克莱数学促进会悬赏百万美金，求解黎曼猜想。

可时至今日。

始终没有数学家涉及这一领域。

此刻，常春藤联盟的学生和教授，眼睛都瞪得老大。

WTF？！

什么情况？

一位大四学生，竟然敢妄言挑战黎曼猜想。

这究竟是在开什么玩笑？

……

高台之上。

宋运一边操控PPT，一边缓缓开口道：“黎曼猜想，‘猜’的是黎曼Zeta函数的所有非平凡零点，都分布在复平面上一条被成为‘临界线’的特殊直线上。

通俗易懂的说，黎曼Zeta函数是个复函数。

可以把它理解为有两个变量的函数，—个叫实部，—个叫虚部。

写成熟悉的函数样子，那就是y＝f（实，虚）。

这函数长得有点复杂。

但我们可以先从简单情况看起。

假如我们先不管虚部，强制让虚部＝0，那就是—个很普通的函数y＝f（实）了。

接下来，请大家看大屏幕……”

众人抬头看大屏幕所显示的横轴x和竖轴y。

宋运笑着说：“这张图是这个黎曼Zeta的一部分，你们会发现它有个明显的特点。

当实部＝-2、-4、-6、-8、-10等等的时候，这个函数都和X轴相交。

换言之，它的函数值在这些时候都是0。

这就是我们想要的东西，让黎曼Zeta函数的函数值取0的点。

当然，这些点太显而易见了，很没意思。

用数学家的话说就是，这都是‘平凡’的解。

简单的原因是，我们刚才只考虑了虚部=0的情况。

如果允许虚部随便取，那要怎样才能让函数值取0呢？

这就是黎曼的猜想了：为了让函数值取0，除了这些平凡解之外(chbi)，剩下的所有解，不管虚部多大，实部都一定是1/2。

或者说，如果我们把所有的解，画在坐标轴上，实部是横，虚部是纵。

那么它们应该像下图这样。

除了左边-2、-4、-6那一串，剩下右边的，全都在1/2的这条红线上……”

……