【证明：对于任意紧致单群G，在R^4上存在以G为规范群的有质量的量子杨米尔斯场，并且有质量间隙∆>0】

笔尖轻轻在草稿纸上点着，凝视着这张仅写着一行字的白纸，陆舟陷入了沉思。

虽说并没有特别大的把握能解决这个问题，但解决问题的思路他还是有的。

首先，这个庞大的命题可以拆分成两个部分。

第一部分的证明仅凭借数学的方法就能做到。

即，用数学的方法证明杨-米尔斯方程组解的存在性或者找到那个通解。

这一部分对于物理学家而言或许没什么用处，毕竟他们已经通过高能实验和计算机模拟的方法得到了他们想要的结论，然而对于数学家来说，能够找到这个方程组的通解的意义却非同一般。

就如爱德华·威滕曾经说过的那样，如果谁能够完成这项功绩，他和他的功劳都将成为21世纪的数学追赶上20世纪理论物理学的一座里程碑……

当然了，这句话毕竟是某个拿了菲尔茨奖的物理学家说的，陆舟对此持保留观点。在他看来数学有自己的发展轨迹，他从不认为数学需要追赶物理什么。

不过非要在这个话题上较真的话，那就扯远了。

至于第二个部分，就涉及到更核心的内容了。

即，对质量间隙的证明。

如果能够完成这个证明，无论是数学界还是物理学界都将从中受益匪浅，因为这个证明将不但将诞生新的数学方法，更将意味着阐明那些物理学家尚未完全理解的自然规则，甚至于在此基础上提出更进一部分的理论。

比如，统一强相互作用与电磁作用……

如果真的做到了，整个物理学界将向着大统一理论迈进一大步。

时间静静地流逝着。

面对着草稿纸上的数学命题陷入了沉思，坐在办公桌前的陆舟捏着圆珠笔，却是除了一连串的墨点之外，一个数字也没有写下。

一直到了快六点，窗外飘来了隔壁楼的下课铃声，陆舟才如同回过神来似得，在纸上写下了两行算式。

然后，他便站起身来，离开了办公室。

与此同时，办公室里。

大概过了两分钟。

看了眼门口，见陆舟似乎没有回来的打算，正伏案写作的冯晋停下了手中的笔，也站起来身来。

从半个小时前，他便注意到陆舟一动不动地坐在那里“发呆”了。

在这个办公室里已经待了有段时间，他还是第一次注意到陆舟脸上对着某个问题露.出这样的表情。

好奇究竟是问题把导师给难住了，他装作去饮水机那边打水，打算在路过陆舟的办公桌旁边时，凑过去看一眼那纸上写的到底是什么问题。

好歹自己也算是金大数院的学霸一枚，若是自己能帮上忙的话，说不准导师会对他的能力刮目相看？

然而，现实是残酷的。

当看到纸上的算式时，他顿时愣住了。

【HΛ(L)=∑（ros）∑（c）·h^(c，c 1) ∑(columns)∑(r)·h^(r，r 1) ∑(i∈Λ(L))·h(i)】

【……】

冯晋：“……？？？”

握草，这写的啥玩意儿？

这时候，见时间差不多了，正准备起身去食堂解决晚饭的何昌文站了起来。

正好注意到了一脸懵逼地站在陆舟办公桌前的师弟，这位面向看着老成的博士咳嗽了声，提醒道。

“别乱看导师的东西。”

似乎是觉得这句话没有说服力，他接着在后面补了句。

“会秃。”

冯晋：“……”

刘思远：“……”

韩梦琪：“……”