称 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 量产数学证明时代，理解力才是稀缺品：一位数学老师的反思 — Stefania_druga · 2026-10-16
- 机场叫车被困两小时:为什么简单规则比 AI 更该先做好 — shashib · 2026-10-16
- 博导给每个博士生配 Codex Pro：执行力变廉价，选题能力才是 PhD 的价值 — DJiafei · 2026-10-16
- ASI 能否在人类消失后靠现有机器人供应链自续?引发热议 — NathanpmYoung · 2026-10-16
- 「万物基建化」论:AI 时代最终只剩算力、存储、推理等基础设施消费可卖 — AccBalanced · 2026-10-16
- Dwarkesh 在纽约时报发文：2030 年 AI 将完成经济中全部工作 — Traditional-Chip8339 · 2026-10-16