Claude所写Muon优化器定理获数值验证

vxnuaj对Claude写出的Muon优化器形式化证明进行数值验证，结果显示定理3.1中梯度流（GD）与polar流的闭式解及误差上界均吻合至小数点后四位。该定理用于比较线性层上GD与polar descent的收敛行为，并分析了浮点舍入将零奇异值提升为单位步长后产生列耦合的机制；目前结论限于数值结果吻合。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。