henry 发自 凹非寺量子位 | 公众号 QbitAI呼伦贝尔异型材设备厂家

我看呐，只须以后札记本半开着，就莫得东谈主的事儿了。

刚刚，OpenAI盘考院Ethan Knight晓示：

昨儿刚出的GPT-5.6，用不到小时，就完成了谈存在了半个世纪的图论臆测评释注解。

而这谈题呢，来头也还真不小，等于大名鼎鼎的轮回双掩饰臆测（Cycle Double Cover Conjecture）

为处分这谈题，盘考员把当今顶的GPT-5.6 Sol蹬到Ultra；GPT呢，又我方蹬了64个子agent。

后，硬是写出了份三页的pdf，评释注解罢了，Over。

发布后，还在韩国开ICML的Noam Brown（o1中枢孝敬者）也隔着太平洋时辰赶来趋奉。

他示意，此次和此前的Erdős单元距离问题不同，不靠什么里面模子，靠公开能用的GPT-5.6 Sol Ultra就把活儿干了。

何况，GPT-5.6 Sol Ultra把测试时蓄意并行大幅铺开，原来可能要磨上整天的评释注解，如今被64个子agent压进了个小时。

不错说，在数学这块，前沿模子的天花板还在拉。而多agent，也能快地加快任务的处理时辰。

诚然，你可能会问，那咋了？AI不老评释注解数学题吗？

但此次还真不太样，OpenAI此次顺遂放出了完好prompt，而这里面就有独霸GPT-5.6这类传闻模子的保姆妙技：

不替模子章程解法，只把验收范例钉死。界说、领域、鸿沟情况，提上次说清，允洽重复筹画，止高下文漂移。不单说要什么谜底，还写清什么不算谜底。复杂任务不要固定单干，而要动态搜索，并教悔立审查。

接下来，我们起来看。

小时秒的，究竟是什么题

先说这个题自己。

轮回双掩饰臆测，频繁被追预见Tutte、Itai 与 Rodeh、George Szekeres、Paul Seymour等数学在上世纪赓续建议，始终被视为图论中紧迫的绽放问题之。

它问的是：

给你张由点和线构成的图，能弗成找出批尾相连的“圈”，让图上的每条边，都刚好被这些圈经过两次？

我们以上图为例：白圈是路口，彩线是谈路，A到J是十个极点。

外面的绿阶梯从A启程，挨次经过B、C、D、E，后再行回到A呼伦贝尔异型材设备厂家，这等于个圈。

但只须绿这圈还不够，因为它只经过了图外侧的几条边，何况每条边咫尺只被掩饰了次。

要兴盛圈双掩饰，还需要连续加入多或者绕回起初的阶梯。

比如蓝阶梯也经过了A到B，随后拐进图的里面，后再行回到A。

这么来，A到B这条边就被掩饰了两次：绿次，蓝次。

其他边也要用类似的法补王人。终，论挑出图中的哪条边，都应该恰好有两个圈经过它。

这些圈不错相互肖似，也不错分享好多条边；它们不需如果图中短、外侧或规整的圈。唯的要求等于：

每条边，在系数圈中出现的总次数须恰好等于二。

此外，这里还要补充个要害条款：这张图须是桥图。

所谓“桥”，等于条旦被删除，整张图就会被断开的边。

比如我们把上头的A—F删掉，阶梯仍然不错沿着A—B—G—I—F，从另条路到达F，整张图不会因此断开。

乍看之下，这个臆测似乎很当然。

张图只须莫得桥，那么每条边至少都属于某个圈。既然每条边都能塞进个圈，把这些圈齐集起来，不就完成了吗？

可问题在于，圈双掩饰要求的不是“至少掩饰次”，而是每条边恰好掩饰两次

你为了补上条只出现过次的边，加入个新圈，可能会趁便让其他边从两次酿成三次；为了确立这些边，又可能连续影响多边。

因此，难点并不是单为每条边寻找个圈，而是让系数圈在整张图上同期协作：

既弗成漏掉任何边，也弗成让任何边多出现次。

那GPT是如何作念的？

它莫得硬找圈，而是先给边贴标签

GPT-5.6在这份评释注解稿莫得告成在图里寻找堆圈，而是换了种念念路：

先把“找圈”调整成个有限域上的边标号问题，再用线代数评释注解这些标号定或者在整张图上拼起来。

评释注解大致分红四步呼伦贝尔异型材设备厂家。

步，先把般图归约成三次图，也等于每个极点都恰好连着三条边。只须三次图的情况被评释注解，原问题也就随之处分。

二步，行使处为的8流定理，给每条边贴上个非的“三位二进制标签”。这些标签还兴盛个条款：在每个极点处，相邻三条边的标签或者相互对消。

三步，再把每条边的个标签，推广成两个标签。筹画是让同个标签在每个极点隔壁，要么不出现，要么恰好出现两次。

这么来，把系数带有同个标签的边单拿出来，它们当然会尾相连，构成多少个圈。由于每条边恰好带两个标签，也就恰好属于两个圈。

四步，亦然要害的步，是让这些局部标签在整张图上相互致。

因为同条边集结两个极点，塑料挤出机两头给出的标签须相通。GPT-5.6把这个全局协作问题调整成个线程组，再用对偶空间和奇偶评释注解，这组程定有解。

终，系数局部标号都能拼成个统的全局案，相通标签的边自动构成圈，每条边也恰好被两个圈掩饰。

总的来说，这份评释注解中枢的念念路是：

它莫得告成去找批圈，而是先遐想种荒谬的边标号，让圈我方从标号中“长出来”。

原来复杂的图结构问题，也就被调整成了个不错用线代数处分的全局致问题。

通俗东谈主能抄的prompt功课

后，就到了我们非数学业东谈主也能用到的关节。

就像着手所说，OpenAI此次还公布了完好的prompt。

先说这套教导词给东谈主的印象，就是相配长，约莫700个英翰墨符。

它面评释，如今的模子也曾或者消化十分复杂、十分具体的长指示；另面，也延续了近炒得很好的loop engineering以及“传闻模子”贯的prompt作风：

不章程套固定 SOP，而是界说终成果与验收范例。

换句话说，它不替模子章程“步作念什么、二步作念什么”，而是把什么才算确凿完成、哪些成果不算完成，一谈写了了。

具体伸开来看，这份prompt有四点尤其值得学习。

，不写解题模范，但要写了了“什么叫解完”

好多东谈主写复杂任务的prompt，响应是给模子安排套历程：

先分析问题呼伦贝尔异型材设备厂家，再建议案，再清闲考证，后总结谜底。

但关于确凿贫困、旅途未知的任务，SOP未有效。

因为你预先写下的模范，很可能自己等于错的。模子旦沿着不实阶梯本质得相配肃肃，后只会获得份结构完好的不实谜底。

OpenAI这份prompt遴荐了违抗的念念路：

它不章程模子须使用归纳法、流表面如故小反例，而是反复强调，终成果须兴盛什么条款。

比如，它告成把验收范例锁定为：

每个有限、桥、自环的多重图，都须被评释注解存在圈双掩饰。

与此同期，它还还明确阻扰模子通过添加荒谬假定来“绕谈”处分问题。

弗成只评释注解三次图，弗成只评释注解平面图，也弗成假定图定连通。

这类写法值得鉴戒的地是：

对旅途未知的任务，不要过度章程过程，而要把终录用物界说了了。

二，把界说、领域和鸿沟情况次说了了。

模子出现不实，好多本领并不是不会理，而是运转融会的任务就和你想要的不样。

是以，OpenAI在肃肃建议问题前，先花了很大篇幅界说：

什么是图，什么是桥，什么是圈，什么是圈双掩饰；平行边是否允许；两条平行边能弗成构成个圈；不连通图算不算；边图应该如那边理。

它以至门强调：

掩饰中的圈不是诱圈，也不相互边不相交；唯要求是，每条边悉数恰好出现两次。

这里的作用，是把系数可能产生歧义的地提前消掉。而越是紧迫的任务，越弗成依赖模子“应该知谈我是什么道理”。

值得提的是，在这份长prompt里，盘考员还屡次在不同位置重复“终筹画是什么”。

这种重复看似噜苏，实质是在匡助模子万古辰理时不偏离任务。

三，不单告诉模子什么是谜底，还要列出什么不算谜底。

这是这份prompt里值得告成抄走的妙技。

它莫得停留在“请给出完好评释注解”这种概括要求上，而是门列出了批看起来也曾很接近、实质上仍然莫得完成任务的成果。

比如，只评释注解某些荒谬图类，不算，构造出掩饰，但部分边不是恰好出现两次也不算；

这种提前接头模子偷懒的式，就先世界放手了些可能失败的式。

四，复杂任务不要固定单干，而要动态搜索，并教悔立审查。

OpenAI还要求模子调用多64个智能体，但它莫得通俗地章程：

10个智能体盘考阶梯A，10个智能体盘考阶梯B。

违抗，它要求先确立各样化的法组，再确认每条阶梯的实质弘扬动态调整资源。

如果无数智能体都挤到同种法上，就把部分再行分派到尚未探索的向；

如果某条阶梯卡在个和原问题通常贫困的引理上，就将它鲜艳为“受阻”，除非出现新的机制，不然不要连续堆算力。

此外，它还门教悔了“招架智能体”，负责搜检候选评释注解有莫得掉包界说、漏掉鸿沟情况，或者把个闭旅途硬说成圈。

与此同期，每个子agent追念时须带具体引理、程、构造或反例。弗成只陈述“有弘扬”。

这里包含两个很实用的prompt原则。

个是，复杂问题需要探索多条相互立的阶梯，弗成让系数模子运转就知谈“刻下被看好的谜底”，不然很容易集体管制到同个不实上。

另个是，生成谜底和搜检谜底好分开。不要让建议案的模子顺遂给我方的案分，而要门安排个角找曲折。

是以，OpenAI这份prompt真碰劲得学习的，并不是它写得饱胀长，而是它把个复杂任务写成了份不错验收、不错审查、也不错不断纠错的任务同：

不章程唯谈路，但把至极、鸿沟、失败条款和审查机制一谈写了了。

到这里，等于我们从这份prompt里总结出来的几个妙技。

完好畅达就底下，有兴味的一又友不错逾越学习。

[1]https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_prompt.pdf

[2]https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf

Q Q：183445502相关词条:储罐保温     异型材设备     钢绞线厂家    玻璃丝棉厂家    万能胶厂家

1.本网站以及本平台支持关于《新广告法》实施的“极限词“用语属“违词”的规定，并在网站的各个栏目、产品主图、详情页等描述中规避“违禁词”。
2.本店欢迎所有用户指出有“违禁词”“广告法”出现的地方，并积极配合修改。
3.凡用户访问本网页，均表示默认详情页的描述，不支持任何以极限化“违禁词”“广告法”为借口理由投诉违反《新广告法》，以此来变相勒索商家索要赔偿的违法恶意行为。