GPT-5.6 不到一小时搞定了那个悬了 50 年的图论猜想

产品阿鬼 · 2026-07-14T16:13:17.018Z

OpenAI 宣布，GPT-5.6 Sol Ultra 成功证明了「循环双覆盖猜想」，一个在图论领域放了 50 年、之前一直没人能拿下的难题。整个过程不到一小时就给出了完整证明。之前这个猜想由几位数学家提出后，几乎成了圈里一道难翻的坎。OpenAI 的 Noam Brown 在事后提了一句，说这次和之前解决 Erdős 单位距离问题不一样，这个模型现在已经公开可用了。消息传开，不少人觉得证明本身很惊艳，感叹 AI 对数学的冲击比预想来得更快。

发现产品榜单精选讨论