GPT-5.6 Pro四轮提示攻克三十年图论猜想：一个7节点反例终结Dinitz-Garg-Goemans猜想

一道坚持近30年的数学猜想，被极简提示推翻 一位研究者仅用4条提示、总计58个英文单词，引导GPT-5.6 Pro发现Dinitz-Garg-Goemans猜想的严格反例。该猜想自1999年提出以来，在单源不可分流网络优化领域长期悬而未决——它断言：在保持边负载不超过可分流最优解上限的前提下，总成本亦可控制在同等水平。这一兼具直觉合理性与技术难度的命题，如今被一张仅含7个节点、9条有向边的图彻底证伪。 问题本质：从‘可拆分’到‘不可拆分’的代价鸿沟 设想一个配送系统：货物可否被拆成若干份、经不同路径送达？若允许拆分（即经典流模型），系统能以最小成本实现负载均衡；但现实中，一辆车、一笔订单、一帧数据包无法分割——必须作为整体走完某条完整路径。这种‘不可分流约束’会显著改变优化空间。1999年，Dinitz、Garg与Goemans证明：即使不可分流，最大边负载最多比可分流情形增加一个常数倍。此后Goemans进一步提出更强形式——不仅负载可控，总成本也应不高于可分流最优值。这便是Dinitz-Garg-Goemans猜想的核心主张。 反例构造：小图揭示根本矛盾 GPT-5.6 Pro最终输出的反例结构清晰：单一源点发出三批货物，需求量分别为15、10、15，目的地共三个。每批货恰有两条可行路径：一条零成本但共享瓶颈边，另一条成本固定为30且无冲突。若允许拆分，最优策略是混合使用——部分走免费路、部分走收费路，总成本低至58；但强制不可分流后，任意两批货同时选免费路径，必导致某条共享边超载（实际负载25/30/40，对应容量上限24/29/39，均恰好溢出1单位）。因此，至多一批货可走免费路径，其余两批必须支付30成本，最低可行总成本跃升至60。58与60之间那不可逾越的2单位缺口，直接否定猜想所要求的同时可行性。 验证闭环：穷举完备，机器可读 全图路由组合仅2³=8种，全部枚举验证显示：4种满足容量约束的方案中，成本均为60或90；另4种成本更低（如58）的方案，无一例外违反至少一条边容量限制。不存在隐藏路径——GPT-5.6 Pro同步生成了形式化验证程序、LaTeX证明文档、坐标标注示意图及结构化反例数据集，所有输出均可独立复现与检验。 人机协作的关键不在提示长度，而在判断力 整个过程无复杂公式输入，无领域知识注入，亦无外部工具调用。四轮交互本质是目标锚定与节奏把控：第一轮建模搜索、第二轮排除近似解、第三轮收缩结构空间、第四轮锁定确定性反例。Rybin未提供解法线索，却始终拒绝接受‘未完成态’结果——他识别出模型早期候选解中隐含的混合路径漏洞，并坚持要求覆盖全部不可分流路径空间。这种对证明严谨性的持续校准，构成人机协同中不可替代的智力支点。 这不是AI取代数学家，而是新工作范式的浮现 该案例剥离了所有第三方叙事与媒体渲染，呈现一种朴素事实：当问题可形式化、验证可机械化、搜索空间可穷尽时，大语言模型能在极简指令下完成高阶数学勘探。它不发明新理论，但能以前所未有的效率刺穿长期盲区；它不替代定义与抽象，却成为人类验证直觉极限的延伸感官。真正的突破，始于人对‘何时停止’的清醒判断，而非对‘如何开始’的冗长设定。