Claude 写的 Muon 优化器定理被实测：数值验证到小数点后四位
vxnuaj · x · 2026-10-31
vxnuaj 在自嘲「看不懂 Claude 写的数学理论」后跟进贴出理论本体，配图显示这是一份关于 Muon 优化器消除谱偏置的形式化证明：
- 定理 3.1：对比梯度流与 polar descent 在线性层上的收敛行为，给出 GD 与 polar 流的闭式解与误差上界
- 证明标注「[proved; verified numerically]」，GD 各列与公式吻合到小数点后四位
- 还讨论了浮点舍入把零奇异值提升为单位步长引发的列耦合等细节
从「无法判断」到「其实没那么差」，展示了模型生成研究级数学内容并经受自查验证的能力。
「模型」频道最新
- LiquidAI 推出 LFM3-VL 端侧 2B 图文模型,冲上 HF 热榜 — LiquidAI · 2026-10-31
- OpenAI 新政:Pro 订阅按档位送等额 API 额度,$200 档白赚 — Quiet-Recording-9269 · 2026-10-31
- Qwen 代码库现 Qwen4 痕迹：默认 1M 上下文，还有 qwen4-omni-120b-think — mark_k · 2026-10-31
- EdgeRock-4B 开源：KV 缓存固定 72MiB，比基座省 99.1% 显存 — testingcatalog · 2026-10-31
- 开发者求助：Claude 写出的 Muon 优化器数学理论深到没人能验证 — vxnuaj · 2026-10-31
- lxfater 调侃：Codex 挺好用，前提你是 wealthy 美国用户 — lxfater · 2026-10-31