AI数学问题解决能力突破 - GPT-5 Pro独立攻克数学论文中关于梯度下降法步长η的未解区间问题 从零开始且未参考人类已有证明方法[1][6][15] - 模型将已知下限从1/L推进至1.5/L 证明过程被评价为非常优雅[6][12][17] - 该证明与论文作者后续发布的v2版本证明方法完全不同 属于v1证明的演进[12][15] 技术实现细节 - 研究针对光滑凸优化中梯度下降步长η与函数值曲线凸性的关系 未解决区间原为[1/L, 1.75/L][2][3][5] - 论文v1版本证明η<1/L时成立 η>1.75/L时存在反例[3] - 人类作者在v2版本中将阈值改写为1.75/L 彻底解决该问题[12] 行业影响与评价 - OpenAI总裁Greg Brockman认为这可能是AI在数学领域展现生命力的迹象[13][14] - 此次突破由面向用户的GPT-5 Pro版本实现 而非内部推理模型[15] - 前微软AI副总裁Sebastien Bubeck用25分钟验证结论 确认AI实际证明该问题[17][20] 研究者背景与方向 - Sebastien Bubeck现任OpenAI研究工程师 专注智能涌现与AGI物理学研究[18][21][22] - 拥有微软研究院10年工作经验 曾获STOC2023、NeurIPS2018/2021等多个最佳论文奖[20] - 职业生涯前15年主要研究凸优化、在线算法及机器学习对抗鲁棒性[20]