新智元报说念阿拉善盟异型材设备价格

【新智元读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪困难「轮回双遮掩臆度」！环球数学千里默了

7月11日凌晨，OpenAI官文告：GPT-5.6 Sol Ultra奏效讲解困扰数学界长达50年的「轮回双遮掩臆度」！

惊东说念主的是，它在不到小时内，就产出了份完好讲解。

也曾，轮回双遮掩臆度由几位外传数学建议后，就像座大山横亘在图论域，让环球顶数学望而生畏。

咫尺，这座大山被AI在不到个小时内踏平了。

OpenAI商讨员Noam Brown所歌唱：「这与之前贬责Erdős单元距离问题不同，此次创造遗址的模子，是今天对通盘东说念主公开可用的！」

网友惊呼：讲解令东说念主叹为不雅止，AI更正数学！

鬼魂般盘旋了50年的数学魔咒

轮回双遮掩臆度，是图论里的「王冠」困难之，由Tutte、Itai与Rodeh、Szekeres、Seymour等多位数学在上世纪各自强建议。

通俗来说，这个臆度是这么的：「每个桥的有限向图，皆存在个由环构成的集，使得图中的每条边，皆恰好被包含在两个环中。」

用大口语说，在个长短不一的城市说念路网中，在这个路网中，莫得任何条说念路是唯通说念。

臆度以为：你定能找到多少条「环状轮回公交清晰」，使得这个城市里的每条说念路，皆恰好有两趟公交车经过。 不丰不杀，碰巧两次。

半个世纪以来，数学们为了讲解这个臆度，可谓搜索枯肠。

Jaeger讲解了平面图是设置的；

Szekeres讲解了不错进行3边着的立图是设置的；

Alspach、Goddyn和Zhang讲解了莫得Petersen子图的桥图是设置的。

经营词，这些皆是附加要求，完好的「详情讲解」，却耐久东说念主能够完成，直到GPT-5.6 Sol Ultra的出现。

OpenAI的解法：

不是个AI在想考，是64个AI在开会

OpenAI是怎样让GPT-5.6去攻克这个困难的？

在他们共享出的任务教唆词和讲解全文两份PDF中，咱们找到了谜底。

在这个系统中，AI被差异成了64个并发的立智能体，构成支科研特攻队。

教唆词中，OpenAI设定了其严苛的规则，把东说念主类科研踩过的坑，十足让AI逃匿了。

先，系统拒「千篇律」，谢却选拔「分拨N个智能体用X战略」这种痴呆法。

在轮，须探索截然有异的旅途——从代数视角、结构归纳法、流场表述、镶嵌法到端参数法。

二点，系统对谢却告诉大部分AI咫尺哪个案被看好。

这在东说念主类科研中尽头致命——旦某个大牛建议了个看起来很好意思的向，通盘东说念主皆会窝蜂拥当年。

让东说念主赞好意思的点阿拉善盟异型材设备价格，是「纠察队」机制。

64个智能体中，有部分门上演「杠精」。每个被建议的候选讲解，皆要被拿来狂漏洞。

「边真是只被遮掩了两次吗？算错莫得？」 「你是不是把重迭的死巷子当成轮回了？」 「你这个归纳法是不是暗暗引入了桥？」

只好被严格纠错还能活下来的讲解，才有阅历进入下轮。

另外，还要严禁AI画大饼。

系统严厉警告AI：拒「这步昭着设置」的暧昧。 须给出具体的引理、构造、程式或反例。

碰到死巷子就坐窝象征为「堵死」，除非建议新机制，不然不许再铺张算力。

Prompt的后，AI被高歌说念：「在这上头至少花上8个小时，然后再去计议放置或复返后果。不要只给我个局部后果，只好当找到详情的讲解并通过审核时，智商住手。」

经营词，令东说念主荡漾的是，这群AI特攻队只用了不到1小时，就带着瑕的数学论文得胜回朝。

小时遗址——AI怎样抽丝剥茧

这64个智能体小时里，究竟经历了怎样的头脑风暴？

开二份PDF——《轮回双遮掩臆度的讲解》，咱们不错了了地看到AI令东说念主拍案叫的理旅途。

全文由GPT-5.6 Sol Ultra生成，隔热条PA66生产设备后在Codex的接济下完成了排版。

AI的讲解战略，号称场精妙的「降维手术」。

步：化繁为简，锁定立图

AI特攻队先阐述前东说念主Jaeger的论断：只须讲解了「环立图」设置，就即是讲解了通盘图设置。

因为通盘的图皆不错通过拓扑变换松开到立图的限制。

二步：引入神奇的「8-流」定理

这是全篇惊艳的笔。

AI翻出了图论民众Tutte的「群流定理」（Group-flow theorem）。

愚弄前东说念主讲解的桥图存在「处处非的8-流」，AI将图上的每条边，赋予了有限域 （个由8个元素构成的三维空间向量）中的非元素标签。

这个标签的神奇之处在于：在图的纵脱个路口（偏捏），流出和流入的向量之和定为。

三步：构建「双元素集」标签法（Lemma 2.1）

这险些是AI创的「魔法」。

，况且得志关于每个偏捏，任何个元素要么出现0次，要么出现2次——那么，这个图就定有「轮回双遮掩」。

这就像是给每条说念路发两块稀奇的车，只须保证每个十字街头，同种颜的车老是成双成对地相差，讲解就不错完成了。

四步：终——线代数的降维击（Lemma 2.2）

怎样讲解定能找到这么的「两块车」？AI展示了它手脚机器强悍的面——将拓扑图论问题，硬生生升沉为了个众多的线代数程组。

它设了个程组：

通过构建对偶向量空间，愚弄线映射的像域与空间的关系，AI进行了段懈可击的代数（历程见PDF的公式5到公式9）。

终讲解，这个程组长久有解！

当公式(8)和(9)划上句号，后出即是0（在域中）时，讲解放手了。

就这么，靠着纯正的逻辑、群论、流场与线代数，东说念主类苦苦寻找了50年的那枚钥匙，被64个AI智能体在速的穷举与交叉考证中，硬生生地铸造了出来！

解题诀要：「测试时野心」

这讯息出，通盘这个词AI圈和数学界皆被回荡了。

OpenAI的理商讨科学 Noam Brown 难掩委宛，连发数条规，揭示了此次冲突背后的底层逻辑——并行测试时野心（TTC）。

Noam Brown指出：「增多模子的TTC（让它想考长工夫）能带来的智能。但若是咱们把想考工夫从几秒钟拉长到几周，蔓延就会成为众多的瓶颈。GPT-5.6 Sol Ultra的强盛之处，在于它扩大了并行的TTC。贬责个50年历史的困难，正本可能需要整天的工夫，咫尺被压缩到了戋戋个小时。」

Ethan Knight 也文告：「咱们今天庄重怒放GPT-5.6 Sol Ultra。看到它在不到小时内，用64个子智能体讲解了50年的CDC臆度，咱们感到比忻悦！」

接洽区的网友们纷繁抒发着委宛和弗成想议。

网友惊呼：「并行理将重新界说野心可能的界限！」

网友 @Mikhail Rogov 机敏地指出：「把耗时从天责难到小时，这是另种居品阵势了。并行的TTC让长工夫运行的理变得具有试验可用。」

另外，还有东说念主感到感到细想恐：「并行TTC加上算力的爆炸，嗅觉像是个数目的进步。再加上算法的跨越、大的模子和多的算力，事情启动变得有点吓东说念主了……」

虽然，也有清爽的质疑声。

有东说念主网友建议了个刻的问题：「并行TTC如实进展了作用，但莫得说出口的问题是：64个立搜索的质地，能否等同于个漫长而联络的单线度理逻辑链？广度和度并不老是不错互换的。」

致使有东说念主喊话Noam Brown，建议OpenAI把现代伟大的物理学Edward Witten和数学天才陶哲轩招入麾下：「把他们请来，我坚信他们能想出狂的创意，平直把咱们带向ASI！」

GPT-5.6能贬责这个数学困难，大约还没到的ASI。

关联词，能在1小时内自主完成问题拆解、模子构建、逻辑到输出严谨学术论文的全历程，证明AI在难度详尽逻辑理域也曾越东说念主类。

今天，64个智能体花1小时能贬责50年的图论臆度。

翌日，若是参加64万个智能体，花上1个月的工夫，大约就能攻克常温、可控核聚变，能攻克症。

咱们离ASI，又近了步。

参考贵寓：

https://x.com/eknight/status/2075643450196971805

https://x.com/SebastienBubeck/status/2075596982622835006?s=20

裁剪：Aeneas

Q Q：183445502相关词条:管道保温     塑料管材生产线     锚索    玻璃棉毡    PVC管道管件粘结胶

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