OpenAI补上杨振宁当年的遗憾了吗 数学存在性证明[推荐]

2019年3月21日，神经生物学家蒲慕明和加速器物理学家赵午访问了清华大学，并与杨振宁进行了交谈。他们谈到了1954年的那篇论文，96岁的杨振宁回忆说，他和米尔斯算出了一个非常漂亮的结果，但里面有个问题：按照他们的理论，世界上应该存在一种“有电荷却没有质量”的粒子，而自然界中并没有这样的粒子。尽管如此，他们还是决定发表这篇论文。

杨振宁认为这个理论非常优美，并且相信场论可能在未来解决遇到的问题。他还提到泡利也曾计算出相似结果，但由于无法说服自己自然界存在没有质量的粒子，最终没有发表。

72年后，OpenAI发布了一篇文章《与学术社群合作，建立科学认知》，声称通过内部模型证明了杨-米尔斯场论的数学存在。文章宣布了三个重要发现：在数学上，模型证明了所有维度的局部平滑猜想，解决了挂谷猜想和斯坦因限制猜想；在计算机科学上，推翻了指数时间假说；在物理学上，给出了量子场论的严格存在性证明，从纯杨-米尔斯场论到量子色动力学，再到标准模型的大统一理论。

OpenAI为每个发现配备了外部专家队伍，负责验证、解释和公开这些成果。虽然杨振宁1957年获得诺贝尔奖是因为宇称不守恒，但杨-米尔斯场论已成为物理学的重要基础之一。1979年的电弱统一、1999年的非阿贝尔规范场量子结构、2004年的渐近自由和2013年的希格斯机制都依赖于这套方程。