他们旁边不远处，周忠也在低声和另外两个京大的教授讨论。

    “他是先把规范场的构型空间做一个商映射，把一个带冗馀自由度的规范场Φ，映射到一个商空间里的点，然后在这个商空间上，他去定义和乐约束。

    这个思路的本质，其实就是把规范等价类当做最基本的几何对象，把规范场自身给商掉了。”

    旁边一个教授忍不住咋舌：“这个思路也太颠复了吧，传统做QCD的，不都是从拉格朗日量出发做微扰展开吗？他倒好，直接从几何下手，把原来的起点变成了终点。”

    周忠笑了一下：“这就是肖宿啊，他从来不走别人铺好的路。

    你看他之前在张量范畴那篇PRL里也是，所有人都用数值仿真，他用范畴论。

    结果证明，他是对的。”

    就在台下窃窃私语的时候，肖宿转过身来，面对着台下的听众。

    他的表情依然很平静，看不出什么特别的，但相比刚才平淡的讲解语气，他的声音确实多了一丝难得的趣味。

    “这个式子和今天要讲的NS方程证明没有直接关系，只是我在推导曲率积分不等式的时候，顺带想到的一个有趣的想法。”

    台下那窸窸窣窣的声音瞬间消失了。

    四千多人的报告厅，安静得能听到一根针落地。

    “就在刚刚，我发现杨米尔斯规范场的质量间隙问题，和三维NS方程的全局正则性问题，在数学结构上存在同构性。

    具体来说，就是涡量在和乐约束下的演化轨道，和非阿贝尔规范场在禁闭标度以下的能谱结构，可以用同一套曲率积分不等式来描述。”

    “如果从这个方向继续推进，我认为质量间隙的存在性完全是可以被严格证明的。

    但是今天的时间有限，我就不详细展开了，感兴趣的可以沿着这个方向自行研究。”

    轰。

    原本还看不明白这个式子的人全都炸了。

    “什么？！”

    “质量间隙？！”

    “是我想的那个质量间隙了吗？！”

    “不是吧，杨-米尔斯存在性与质量间隙，那可是千禧年七大难题之一啊！这么突然就给出了解决方向？”

    七大千禧年难题被解决一个都是震动全球学术圈的大事，结果肖宿呢，不仅解决了NS方程，现在还随手就给质量间隙问题画了一条路出来。

    这是什么怪物啊。

    肖宿并没有在台下的哗然中多做停留。

    他把刚刚写的那些关于质量间隙的内容用板擦擦掉了一部分，沿着刚才被打断的思路，继续讲解NS方程证明的最后一个部分。

    “回到曲率积分不等式。”

    “当和乐群非平凡时，涡量只能在等价类轨道上演化，任何试图偏离轨道的行为，都会被一个几何约束拉回来，这个约束的强度，由和乐群的性质决定……”

    他的声音依旧平稳，马克笔在白板上继续推进。

    从涡量演化方程的等价类结构，到曲率正则化定理的全局收敛性质，再到最后一步，用反证法排除奇点存在的可能性。

    如果存在有限时间奇点，那么涡量必然在某些空间点上趋于无穷。

    但在奇点临近的时刻，和乐约束会被拉伸到极限，这个过程必然伴随一个和乐跳变。

    而他在前面已经证明过，和乐在光滑解演化过程中是严格守恒的。

    矛盾。

    因此奇点不可能存在。

    “综上，三维不可压缩Navier-Stokes方程的柯西问题，在光滑且有有限能量的初值条件下，对任意时间都保持光滑。

    全局正则性成立。”

    最后一个字落下的时候，报告厅里出现了短暂的寂静。

    哪怕大多数人还是没有听懂，但所有人都知道，困扰全球数学界百年、无数顶尖学者穷极一生都无法触碰的世纪难题，就在此刻、在这块白板之上，被彻底终结了。

    短短数秒的凝滞过后，积攒已久的情绪彻底冲破桎梏。

    如山崩海啸般的掌声轰然炸响，汹涌的声浪层层叠叠席卷整座报告厅，震颤着每一寸空气。

    过了一会儿，掌声稍歇，肖宿才淡淡的说道:

    “现在，可以提问了。”

    这话一出，报告厅里瞬间变得安静，空气中带着一些微妙的尴尬。

    几分钟过去了，四千多人的会场，愣是没有一个人举手。

    提问的前提是你得听懂。

    而听懂的前提是，你得跟上肖宿的思路。

    显然，这个前提对大多数人来说并不成立。

    赵谦左右看了看，旁边的陈教授嘴唇动了动，象是想举手，但最终还是把