GPT-5.6推翻近30年数学猜想，全程对话公开：提示词只有58个单词？？？

背景：图论领域存在近30年的Dinitz-Garg-Goemans猜想，关于在不可分流（即每批货物必须完整走一条路线）的情况下，如何将可分流的最优方案转换为不可分流方案，同时保证道路负载不超过预定上限且总成本不增加。研究目的：研究者Dmitry Rybin利用GPT-5.6 Pro模型，通过四轮仅含58个单词的提示词（如“继续研究”“找个完整反例”），旨在找到该猜想的反例。结论：GPT-5.6 Pro成功构造了一个包含7个节点和9条有向边的反例图，证明该猜想错误。反例显示，在负载上限约束下，最小成本为60，高于原可分流方案的58，无法同时满足成本和负载条件。验证通过穷举8种路径组合实现。该过程凸显了AI在数学推理中的潜力，以及人类研究者判断阶段性结果的能力。