henry 发自 凹非寺 量子位 | 公众号 QbitAI GPT-5，你这家伙！ 究竟还有什么事是我不知道的？ 在一篇最新论文中，研究人员让它挑战了5个尚未解决的优化猜想。 结果它居然解出了其中3个！ 更令人吃惊的是，其中有一道题，它甚至给出了与研究者预期完全不同的、同样有效的证明方案。 它可不是"笨蛋"研究生，而是能展现出独创性的"聪明"博士生。 前微软研究副总裁、现OpenAI科学家Sebastien Bubeck表示： 和国际数学奥林匹克（IMO）那些为"人类天才高中生"准备的题目不同，这次的测试题需要博士水平的研究者花上几天才能完成。 在论文里，研究者们还特意"挑衅" 陶哲轩 对大语言模型数学能力的印象—— 这意味着GPT-5能够解决一些真正的开放性数学问题。 接下来，就让我们看看，这位AI数学天才是怎么炼成的。 "哥德尔"测试 如上所述，GPT-5这次挑战的并不是奥赛题，而是高等数学里的简单猜想。 求解这类问题不仅需要算术能力，还需要相当强的数学背景和逻辑推理能力。 研究人员把他们的测试称为： 哥德尔测试 。 哥德尔测试里的问题需要人自己动脑、经过训练才能解决，而且在现有文献中找不到现成答案。 （ ...

GPT-5首次通过「哥德尔测试」，连破三大组合优化猜想！甚至，它能自主推翻原有猜想，给出全新有效解法，当场惊呆OpenAI研究科学家。 AI迎来历史性一刻！ GPT-5成功破解三大猜想，通过了「哥德尔测试」。 论文地址：https://arxiv.org/pdf/2509.18383 OpenAI科学家Sebastien Bubeck惊叹地表示，这类开放性问题，顶尖博士生往往耗费数日才能解决。 不同以往，这项由海法大学和思科主导的研究，首次让AI直面「开放性数学猜想」的挑战。 论文中，团队设计了五项「组合优化」领域的测试任务，每项任务提供1-2篇文献作为了解。 在三个相对简单的问题上，GPT-5给出了近乎完美的解法，证明了其强大的逻辑推理水平。 (1) = (1 = $\varepsilon$) = max f(T), TET (1) = (1 = $\varepsilon$) = (1 = $\varepsilon$) = max f(T), TET (1) = (1 = $\varepsilon$) = (1 = $\varepsilon$) = max f(T), TET (1) = (1 = $\va ...