影视：逃离猩球，讲述了 "“针对著名学者徐川教授公布在arxiv预印本网站上的《杨-米尔斯方程解的存在性与解的证明》论文中的通解，普林斯顿高等研究院已通过超级计算机对此解进行验证。”“结果验证正确！”一则公告消息，瞬间在整个数学界和物理学界引起了新一波的轰动。对于数学界来说，杨-米尔斯方程是一个重要的微分方程，指杨-米尔斯作用量所确定的欧拉-拉格朗日方程。它也叫作杨-米尔斯理论，是杨氏理论是基于SU规范场论组的一种量规理论，更普遍地说，是一个紧凑、半简单的李群。而对于微分方程来说，在知道了通解后，是完全可以通过超级计算机进行验证的。事实上，并不止普林斯顿高等研究院在做这件事。....

.