在布莱恩·霍华德咬牙切齿想要从论文中找出缺陷的时候，一则来自普林斯顿高等研究院的公告消息，再度在这个火热的话题上，浇上了一盆热油。

“针对著名学者徐川教授公布在arxiv预印本网站上的《杨-米尔斯方程解的存在性与解的证明》论文中的通解，普林斯顿高等研究院已通过超级计算机对此解进行验证。”

“结果验证正确！”

一则公告消息，瞬间在整个数学界和物理学界引起了新一波的轰动。

对于数学界来说，杨-米尔斯方程是一个重要的微分方程，指杨-米尔斯作用量所确定的欧拉-拉格朗日方程。

它也叫作杨-米尔斯理论，是杨氏理论是基于SU规范场论组的一种量规理论，更普遍地说，是一个紧凑、半简单的李群。

而对于微分方程来说，在知道了通解后，是完全可以通过超级计算机进行验证的。

事实上，并不止普林斯顿高等研究院在做这件事。

在徐川将论文上传到arxiv后，南大的超算中心、华科院的超算中心、法国巴黎师范等著名的学术研究机构几乎不约而同的对论文中的通解进行了验证。

只不过因为数学计算算法和超算性能等方面的原因，这些超算中心要落后普林斯顿那边不少。

不过在普林斯顿高等研究院公布结果后没多长的时间，这些研究机构亦纷纷公布自己的验算结果。

毫无意外，所有的研究机构公布出来的验算，都是通解正确！

而这些消息，毫无意外的为国际数学物理论坛上的讨论添加了薪柴和热度，那

【普林斯顿的公告！那位徐教授的论文通解结果验证正确！】

【厉害了！这是不是说明论文没问题？】

【可以这样说，杨-米尔斯方程本身就是一个极难得到解的偏微分方程，结果没问题，说明他的计算过程肯定也没什么错误。】

【嘶~，这已经是他解决的第三个千禧年难题了吧？难不成他真要一个人干掉所有的吗？这也太恐怖了。】