OpenAI 杨-米尔斯存在性lean证明已发布并验证
📝
内容提要
四维杨–米尔斯理论的存在性已被机器验证，质量间隙仍未证明。 ## 晶格上的橡皮膜与连续极限 一张绷紧的橡皮膜上，某个位置被按了一下，周围的膜面立刻跟着变形，这种“局部扰动向外传递”的画面，是理解规范场最省力的入口；物理学家管传递相互作用的场叫规范场（Gauge Field），它像一套连接不同位置的规则，告诉每个点上的场该如何响应别处的变化。 1954年，杨振宁和罗伯特·米尔斯给这
🏷️
