杨振宁是如何建立成就他物理地位的杨米尔斯方程的，看此文就懂了(9)

杨-米尔斯理论给我们提供了一个数学框架和思维，在这个框架里，只要选择了某种对称性，后面的相互作用几乎就被完全确定了，它的规范玻色子的数目也完全被确定了。这就是为什么后来大家能直接从强力和弱电理论里预言那么多还未被发现的粒子的原因。

也就是说，在杨-米尔斯理论里，那些传递相互作用的粒子都叫规范玻色子，每一个群都有跟他对应的规范玻色子。比如在U（1）群里，规范玻色子就只有一个，那就是光子；在SU（3）群里，理论计算它的规范玻色子不多不少就是8个，然后实验物理学家就根据这个去找，然后真的就找到了8种胶子。
不过最终解释强相互作用的不是同位旋，而且色荷。因为夸克这个概念要到1964年才由盖尔曼、茨威格提出来，杨振宁在1954年就算想破脑袋也不可能想到强力是由夸克的色对称决定的。
后来科学家们也是通过这种思维，将弱力和电磁力统一起来，就是前面提到的电弱统一理论。
此外，关于杨—米尔斯理论这个方程的数学性质的研究至今还是国际上悬赏最高的几个数学问题之一。比如你可以搜索“千禧数学问题”，它们是美国克雷数学研究所于2000年公布的七个数学难题。根据克雷数学研究所订定的规则，每解破一题奖金100万美元。这几个问题是：
1、P/NP问题。2、霍奇猜想
3庞加莱猜想。4、黎曼假设
5、杨-米尔斯存在性与质量间隙
6、纳维-斯托克斯存在性与光滑性
7、贝赫和斯维讷通-戴尔猜想
第五个是杨米尔斯问题的质量问题，大概就是传递强力和弱力的玻色子应该是有质量的，有质量才能对应短程力。比如光子没有质量才是长程力，引力子【没有发现】也是没有质量，才是程力。矛盾就出来了，杨振宁这个理论，要使得系统具有局域规范不变性，传递作用力的规范玻色子的质量就必须为零。哈哈，大家看出来矛盾了吗？