称 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 中形式化。