铜仁塑料挤出机厂家 GPT-5.6小时解开50年数学预料,700词Prompt操纵64个子Agent

2026-07-13 03:45:56 80

塑料挤出机

我看呐铜仁塑料挤出机厂家,只须以后条记本半开着,就莫得东谈主的事儿了。

刚刚,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

键三连「点赞」「转发」「禁锢心」

接待在辩驳区留住你的想法!

—  完  —

� � 点亮星标 � �

科技前沿发扬逐日见文安县建仓机械厂相关词条:铁皮保温施工     隔热条设备     锚索    离心玻璃棉    万能胶生产厂家

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

新闻资讯

热点资讯