GPT‑5首次通过「哥德尔测试」——AI在组合优化数学领域实现突破

2025年9月25日，海法大学与思科联合开展的「哥德尔测试」正式公布结果，GPT‑5在该测试中成功解决了三大组合优化猜想，并在其中一项猜想中推翻了原有结论，提出全新解法。

测试背景
「哥德尔测试」旨在检验人工智能是否具备独立进行数学研究的能力，要求模型在没有人为提示的情况下，阅读相关文献、提出假设、构造证明并验证结果。此次测试聚焦于组合优化领域的五项任务，提供1‑2篇参考文献供模型学习。

核心成果

    三大猜想全部通过：GPT‑5在三个相对简易的任务中给出近乎完美的解答，展示了强大的逻辑推理与证明构造能力。
    突破性发现：在第二项猜想中，模型不仅完成求解，还提出与研究团队预期不同的有效解法，实际推翻了原有猜想，标志着AI从「学习数学」迈向「真正做数学」的关键一步。

研究团队评价
海法大学的Moran Feldman与思科AI负责人Amin Karbasi指出，GPT‑5在组合优化问题上的表现“显著提升”，但仍在整合多层次推理方面存在不足。团队认为，此次成功是AI数学能力发展的重要里程碑，预示着未来科研范式可能出现根本性变革。