近日，OpenAI 的 GPT-5取得了一项惊人的成就 —— 它首次通过了哥德尔测试，并成功破解了三大组合优化领域的数学猜想。这一突破不仅令 OpenAI 的研究科学家们感到惊讶，也为人工智能在数学研究中的潜力打开了新的大门。
在这项由海法大学与思科公司联合进行的研究中，研究团队设计了五项复杂的组合优化测试任务，GPT-5凭借其强大的逻辑推理能力，接连攻克了三个问题。OpenAI 的科学家 Sebastien Bubeck 表示，这类开放性问题往往需要顶尖博士生花费数天的时间来解决，而 GPT-5则用其创新的解法一次性搞定了。
研究的过程非常有趣。每个数学猜想只给出了简要的描述和1到2篇参考文献，模拟了数学研究中通常需要的独立探索。GPT-5通过有限的信息，生成了完整的证明过程，这种能力在过去的人工智能模型中是难以想象的。
在这三大猜想中，最引人注目的是第二个猜想。GPT-5不仅成功解决了问题，还推导出了与研究人员预期截然不同的有效解法，颠覆了原有的猜想。这一成果标志着 AI 在数学领域迈出了重要的一步，从 “学习数学” 转向 “真正做数学”。
然而，虽然 GPT-5的表现令人欣喜，但在面对复杂的推理任务时，它仍存在一定短板。在一些需要综合多条推理路径的问题上，GPT-5的表现不如预期。这表明，尽管技术在进步，AI 在整合性推理方面仍有待提高。
