清华沃顿师徒破解40年悬案，核心数学全是GPT写的，你上你也行

清华大学与宾大沃顿商学院的研究者利用GPT-5.6 Sol Pro证明了梯度下降算法仅靠调整步长无法达到最优收敛速度。这一结论解决了40年来的悬而未决的问题，且证明过程通过Lean 4定理证明器严格验证。

🔗 [论文地址]：https://arxiv.org/abs/2608.10418
🔗 [GitHub项目]：https://github.com/jianhaoma/gd-lower-bound-lean