GPT-5.6推翻近30年数学猜想，58个单词改写图论

凌晨时分，研究者 Dmitry Rybin 在屏幕前敲下一行简短的指令。他没有写论文，没有召集团队，只是对 GPT-5.6 Pro 说了四个短句，加起来不过 58 个英文单词。几分钟后，图论领域一个悬而未决近三十年的猜想轰然倒塌。

四句提示词，击碎三十年难题#

Dinitz-Garg-Goemans 猜想自 1990 年代提出以来，困扰了无数数学家。这个关于图论结构的命题看似简洁，证明路径却始终隐没在迷雾中。Rybin 的操作手法出人意料：他让 GPT-5.6 Pro”继续研究”，“继续找”，“给我一个完整反例”。大模型没有停顿，沿着逻辑链条一路推进，最终交出了一个反例，不仅推翻了猜想，还附带示意图和形式化证明。整个过程没有复杂的 prompt 工程，只有最朴素的追问。

AI 数学家的第二次出击#

这并非 AI 第一次在纯数学领域亮剑。今年五月，Fable 5 刚刚推翻了雅可比猜想，在代数几何界掀起波澜。短短两个月后，GPT-5.6 Pro 再次出手，将战场从代数几何转移到了图论。两次突破的共同点耐人寻味：AI 时常跳出人类划定的框架，主动发现反例、构建证明并输出可视化结果。数学研究的范式正悄然迁移，从”人提出问题、人证明”慢慢走向”人提出方向、AI 完成论证”。

疯狂背后的冷静信号#

OpenAI 研究员 Will DePue 看到结果后直言，这是最近读到最疯狂的东西。但真正值得关注的焦点，是 AI 展现出的通用性。GPT-5.6 Pro 没有为数学问题做过专项训练，它只是用对话的方式完成了人类数学家需要数年才能突破的工作。58 个单词推翻一个猜想，这个数字本身就在宣告：大模型的理解力已经从语言游戏跨越到了逻辑创造。数学，这门最依赖严谨推理的学科，正在成为 AI 能力最清晰的试金石。

猜想与反例的新时代#

Dinitz-Garg-Goemans 猜想的终结，或许标志着一个新周期的开始。未来数学家的工作可能不再是独自在纸上演算，而是与 AI 并肩作战，由人类判断方向，由 AI 探索路径、构建反例、验证证明。那些沉睡在文献中的未解猜想，正在被一行行代码逐一唤醒。Rybin 关掉终端时，图论的世界已经变了。而这一切，只用了 58 个词。

来源：36 氪