返回媒体资讯

媒体资讯

GPT-5.6 Pro
2026-07-23 04:37:09

GPT-5.6 Pro 找到图论猜想反例,公开对话仅 58 个英文单词

图论领域存在近 30 年的 Dinitz-Garg-Goemans 猜想,被 GPT-5.6 Pro 给出的一个 7 节点、9 条有向边反例击穿。研究者 Dmitry Rybin 在公开论证过程中只输入 4 条提示词,共 58 个英文单词。模型最终交付示意图、4 页证明证书、穷举验证程序、机器可读数据和 LaTeX 源码,核心矛盾落在猜想要求的负载上限与成本下限无法同时满足。

00
GPT-5.6 Pro 找到图论猜想反例,公开对话仅 58 个英文单词