Claude 所写 Muon 优化器定理经数值验证吻合至小数点后四位

Claude 写出的 Muon 优化器形式化证明经数值验证，定理 3.1 中 GD 与 polar 流的闭式解及误差上界吻合至小数点后四位。该证明比较梯度流与 polar descent 在线性层上的收敛行为，并讨论浮点舍入使零奇异值提升为单位步长后引发列耦合的细节。