称 GPT-5.6 辅助开发数学优化证明，仅提供高层策略
Dr_Singularity · x · 2026-08-17
研究人员 Jianhao Ma 和 Yuxin Chen 报告了一项优化理论新成果，证明了仅调整梯度下降步长无法达到最优的 O(T^−2) 收敛率，并建立了约 Ω(T^−1.9319) 的新下界。
主要证明由 GPT-5.6 Sol Pro 开发。研究人员表示，他们提供了研究目标和高层策略，但最终证明中没有任何非平凡的数学成分来自人类。论据在 AI 多次迭代后涌现，经人类广泛检查，随后使用 Codex 在 Lean 4 中形式化。
所属事件:GPT-5.6 辅助证明梯度下降收敛率新下界(2 条相关)→
「漫话AGI」频道最新
- 学者讨论 AI 垂直整合困局：厂商难自办律所，出路何在 — sethlazar · 2026-10-16
- METR 指出公众对 AI 实验室存在三大盲区：密谋、监控与研发加速 — CFGeek · 2026-10-16
- LMR-BENCH 登 EMNLP 2025:LLM Agent 能否复现真实语言建模研究 — ZhiyuChen4 · 2026-10-16
- 研究者预判:Deep Research 对专家真正有用将是 RSI 到来的先行指标 — ZeeshanZiaML · 2026-10-16
- 物理学者视角质疑：ML 社区不该默认模型「不可理解」 — tszzl · 2026-10-16
- Ben Affleck 称 AI 只是矩阵运算,Grady Booch 亦附和否认机器思考 — Grady_Booch · 2026-10-16