GPT5通过数学哥德尔测试GPT5独创博士级难题新方法

GPT-5正在刷新AI智力上限。

最新研究中，它挑战5道组合数学的开放问题，居然解出了其中3道，其中一道还“自创”了一套和研究者预期完全不同、但却有效的解法。

这次的测试，是那种博士生都得花几天时间的组合优化猜想，研究者称其为“哥德尔测试”：

问题没有现成答案，文献中查不到，得靠模型自己推理解决。

GPT-5的表现是这样的：

- 它在单线索逻辑题上表现优秀，前三题都给出接近正确的证明；

- 第二题甚至超出研究者预期，用完全不同的方法推翻原猜想、提供新证明；

- 第四、第五题没解出，需要跨文献的综合推理，是GPT-5的短板；

- 模型偶尔偷懒省步骤，但整体逻辑性、创造性已堪比博士研究者。

测试的题目都来自“子模最大化”这个领域，简单说，就是在收益递减的情况下，怎么在约束条件下选最优集合。比如在社交媒体传播中，如何选出最有影响力的一批人。

看到它的表现，论文作者、前微软研究副总裁Bubeck评价：GPT-5已经能解决真正的开放性数学问题。

研究团队还特意借此回怼陶哲轩之前的观点：它可不是“笨蛋”研究生，而是能展现出独创性的“聪明”博士生。【图】

不过GPT-5也并非完美，它在面对多文献推理时，仍会出错；表面推导看起来合理，细查会发现逻辑漏洞。

但和GPT-4相比，它已经跨越了一个新的台阶。

下一步，它会不会直接上场做科研？