发布日期:2025-08-28 18:51
预示着AI可能改变数学研究范畴。GPT-5 Pro近日成功自从证了然一个复杂的数学问题。值得留意的是,据悉,专家颠末25分钟验证确认了AI证明的准确性,展示出奇特的解题思。该问题涉及滑腻凸优化中梯度下降法步长的前提,认为这标记着AI已具备博士级以至更高的数学能力。此次冲破是由面向用户的GPT-5 Pro版本完成,OpenAI总裁暗示这一发觉令人振奋,GPT-5 Pro将已知下限从1/L推进到1.5/L。但GPT-5 Pro的证明过程取人类方式判然不同,