在这项由海法大学与思科公司联合进行的研究中，研究团队设计了五项复杂的组合优化测试任务，GPT-5凭借其强大的逻辑推理能力，接连攻克了三个问题。OpenAI 的科学家 Sebastien Bubeck 表示，这类开放性问题往往需要顶尖博士生花费数天的时间来解决，而 GPT-5则用其创新的解法一次性搞定了。
image.png (563.43 KB, 下载次数: 0)
下载附件
保存到相册
半小时前 上传
研究的过程非常有趣。每个数学猜想只给出了简要的描述和1到2篇参考文献，模拟了数学研究中通常需要的独立探索。GPT-5通过有限的信息，生成了完整的证明过程，这种能力在过去的人工智能模型中是难以想象的。
在这三大猜想中，最引人注目的是第二个猜想。GPT-5不仅成功解决了问题，还推导出了与研究人员预期截然不同的有效解法，颠覆了原有的猜想。这一成果标志着 AI 在数学领域迈出了重要的一步，从 “学习数学” 转向 “真正做数学”。
image.png (727.53 KB, 下载次数: 0)
下载附件
保存到相册
半小时前 上传
然而，虽然 GPT-5的表现令人欣喜，但在面对复杂的推理任务时，它仍存在一定短板。在一些需要综合多条推理路径的问题上，GPT-5的表现不如预期。这表明，尽管技术在进步，AI 在整合性推理方面仍有待提高。
GPT-5的突破无疑为未来的数学研究和 AI 发展开辟了新的可能性，预示着2030年代科研范式的深刻变革。
论文地址：https://arxiv.org/abs/2509.18383
