GPT-5.6一小时解开50年数学猜想，700词Prompt驾驭64个子Agent
神话级大模型驾驭宝典
正文摘录
昨儿刚出的 GPT-5.6，用不到一小时，就完成了一道存在了半个世纪的图论猜想证明。 而这道题呢，来头也还真不小，就是大名鼎鼎的 循环双覆盖猜想（Cycle Double Cover Conjecture）。 为解决这道题，研究员把现在最顶的 GPT-5.6 Sol 蹬到 Ultra；GPT 呢，又自己蹬了 64 个子 agent。 发布后，还在韩国开 ICML 的 Noam Brown（o1 核心贡献者）也隔着太平洋第一时间赶来捧场。 他表示，这次和此前的 Erdős 单位距离问题不同，不靠什么内部特供模型，靠公开能用的 GPT-5.6 Sol Ultra 就把活儿干了。 而且，GPT-5.6 Sol Ultra 把测试时计算并行大幅铺开，原本可能要磨上一整天的证明，如今被 64 个子 agent 压进了一个小时。 可以说，在数学这块，前沿模型的天花板还在拉高。而多 agent，也能极快地加速任务的处理时间。 但这次还真不太一样，OpenAI 这次顺手放出了完整 prompt，而这里面就有驾驭 GPT-5.6 这类神话级模型的保姆级技巧： 循环双覆盖猜想 ，通常被追溯到 Tutte、Itai 与 Rodeh、George Szekeres、Paul Seymour 等数学家在上世纪陆续提出，长期被视为图论中最重要的开放问题之一。 给你一张由点和线组成的图，能不能找出一批首尾相接的“圈”，让图上的每一条边，都刚好被这些圈经过两次？ 但只有绿色这一圈还不够，因为它只经过了图最外侧的几条边，而且每条边目前只被覆盖了一次。 其他边也要用类似的方法补齐。最终，无论挑出图中的哪一条边，都应该恰好有两个圈经过它。 这些圈可以互相重叠，也可以共享很多条边；它们不需要是图中最短、最外侧或最规整的圈。