在布莱恩·霍华德咬牙切齿想要从论文中找出缺陷的时候，一则来自普林斯顿高等研究院的公告消息，再度在这个火热的话题上，浇上了一盆热油。
“针对着名学者徐川教授公布在arxiv预印本网站上的《杨-米尔斯方程解的存在性与解的证明》论文中的通解，普林斯顿高等研究院已通过超级计算机对此解进行验证。”
“结果验证正确！”
一则公告消息，瞬间在整个数学界和物理学界引起了新一波的轰动。
对于数学界来说，杨-米尔斯方程是一个重要的微分方程，指杨-米尔斯作用量所确定的欧拉-拉格朗日方程。
它也叫作杨-米尔斯理论，是杨氏理论是基于SU规范场论组的一种量规理论，更普遍地说，是一个紧凑、半简单的李群。
而对于微分方程来说，在知道了通解后，是完全可以通过超级计算机进行验证的。
事实上，并不止普林斯顿高等研究院在做这件事。
在徐川将论文上传到arxiv后，南大的超算中心、华科院的超算中心、法国巴黎师范等着名的学术研究机构几乎不约而同的对论文中的通解进行了验证。
只不过因为数学计算算法和超算性能等方面的原因，这些超算中心要落后普林斯顿那边不少。
不过在普林斯顿高等研究院公布结果后没多长的时间，这些研究机构亦纷纷公布自己的验算结果。
毫无意外，所有的研究机构公布出来的验算，都是通解正确！
而这些消息，毫无意外的为国际数学物理论坛上的讨论添加了薪柴和热度，那
【普林斯顿的公告！那位徐教授的论文通解结果验证正确！】
【厉害了！这是不是说明论文没问题？】
【可以这样说，杨-米尔斯方程本身就是一个极难得到解的偏微分方程，结果没问题，说明他的计算过程肯定也没什么错误。】
【嘶~，这已经是他解决的第三个千禧年难题了吧？难不成他真要一个人干掉所有的吗？这也太恐怖了。】
【还不算第三个吧，只是一半，还有质量间隙的部分没有解决呢。】
【来来来，开盘了，大家猜一下剩下的质量间隙部分，他还需要多久的时间解决。】
【三个月？】
【三个月也太夸张了，至少要一年吧？这可是七大千禧年难题。】
【打个赌吧，我觉得他可能会在今年的国际数学大会上将质量间隙的证明论文发出来！】
【不可能！这也太短暂了，就只剩下两个月的时间了。】
【没什么不可能的，尤其是对于他来说，等着看吧。】
.......
在普林斯顿高等研究院公布了超算中心的验算结果后，国际数学物理论坛上议论纷纷。
通解的验算正确，毫无疑问为这件事带来一波全新的热度。
对于杨-米尔斯方程这种微分方程来说，通解正确基本就能说明一切了。
而伴随着普林斯顿高等研究院的消息，这份答案很快就传递到了世界各地，包括国内，也包括牛津大学中。
看着超算中心验证通解正确的消息，布莱恩·霍华德的学生小声弱弱的问了一句：“教授，现在我们还去参加交流会吗？”
办公桌后面，正在研究试图寻找论文漏洞的布莱恩·霍华德在看到这份通告后，脸色顿时铁青到有些发紫了，就像是被泰森狂扇了N巴掌一样。
通解的验算正确，意味着他已经输了，也几乎不可能从论文中找出漏洞。
普林斯顿高等研究院的公告，就像是巴掌一样重重的扇在了他的脸上，脸都被打肿了。
尽管从过往来看，这是必然的事情。
但谁都没想到这份打脸会回应的如此之快。
毕竟正常来说，这种世纪性难题的正式论证，基本都要等到报告会召开以及同行评审通过才行。
但杨-米尔斯方程不同，作为一个偏微分方程来说，通解的存在，基本就是数学界追求的结果了。
不得不说的是，大部分的数学家解方程，尤其是这种世界级猜想方程，一般只关心三个问题。
解的存在性、唯一性、光滑性和初值稳定性。
当然，数学家并不是不关心精确解。只是相对而言，他们不关心对于理解方程性质没有太大一般性的精确解。
就像是NS方程一样，在当初只要确定了NS方程的解存在且光滑，这一着名千禧年难题就算是解决了。
而对于精确解更关心的，往往是物理学界。
比如杨-米尔斯存在性和质量间隙。
在此之前，物理学家们就通过超计算机以及各种各样的物理实验对这个难题进行了无数次的验证，确定了质量间隙的存在。
但遗憾的是，怎么通过数学语言来描述这个过程与结果，一直都是没能得到解决的问题。
毕竟对于物理学来说，事实存在和理论存在是两种完全不同的状态。
有时候，物理学家们甚至会凭空创造出一些事实不存在的东西来填补逻辑。
本小章还未完，请点击下一页继续阅读后面精彩内容！