LLM 证明梯度下降 Silver Rate 下界，助攻理论突破
burny_tech · x · 2026-10-08
研究者 YyuhanYe 发帖称，在与 ChatGPT 6 深入交互后，证明了光滑凸优化中预定非负步长梯度下降的下界 n^{-(p+C√(log log n / log n))}，其中 p=log₂(1+√2)，表明 Silver 指数是最优的。转发者 cloneofsimo 补充背景：此前 LLM 也解决了矩阵乘法的最新理论界。这被视为 LLM 参与理论数学研究的标志性进展。
「研究」频道最新
- 温度设 0 也不确定:浮点顺序与并行让 LLM 推理无法完全复现 — ducha_aiki · 2026-10-08
- 对「AI 挖矿数学文献」的冷静判断：中期有进展，别幻想全自动工程 — _onionesque · 2026-10-08
- a16z 投资Preference Model,开源RL环境框架Karotte历经百万次评测 — a16z · 2026-10-08
- 用 1866 年电报体写 prompt，LLM 输出 token 直接省 40-49% — Pytlicek · 2026-10-08
- rv_inc 用 Lean 4 证明 89 条定理，顺带揪出一个 Linux 内核静默 bug — tianyin_xu · 2026-10-08
- 伯克利团队发布自改进具身智能体项目 RPG,附长文复盘 — berkeley_ai · 2026-10-08