夜雨聆风按住下方图标，点击小程序
免费领取AI学习资料、精选提示词
今天凌晨3点50，OpenAI联合创始人兼总裁Greg Brockman分享了一个AI重磅应用案例。
他们用最新发布的GPT-5.6 Sol Ultra解决了一道50年的数学大难题-循环双覆盖猜想（Cycle Double Cover Conjecture）。
我看到后瞬间困意全无，这事，可能比当年AlphaGo赢李世石还要震撼！
解决证明：https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf
提示词：https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_prompt.pdf
循环双覆盖猜想
我先给大家简单介绍一下这个难题。循环双覆盖猜想，听着挺绕口，我找个生活中的例子给大家比喻一下就明白了。
想象你家小区里头所有能走的路，要求每一条路都不是那种一拆就断开的独木桥。
现在有个问题，你能不能找出一堆环形的散步路线，让每条路都正好被走上两遍。
双覆盖示例
就这个要求，50多年了，全球那么多顶尖数学家愣是没拿出一个能适用于所有情况的证明。
数学家们倒是解决了不少特殊情况，但那种通行无阻的万能钥匙，一直没人找着。
64个AI智能体特攻队
这次OpenAI的解决方法很特殊，不是用一个模型，而是一支64个子AI智能体的特攻队。
每个子AI都得独立去探索完全不同的数学工具，有人研究代数结构，有人琢磨拓扑变形，还有人死磕归纳法。
有意思的是，团队在指令里特意强调，不能让大部分子AI都去追同一个看起来最有希望的方向，因为那样所有人就会一起撞上同一堵墙。
这思路其实特别像带一个大型科研团队，防止大家思维同质化。
同时他们还设了几支纠察队，专门负责挑刺。这些纠察AI的任务就是反复检查，每条边是不是真的只覆盖了两次，有没有把回头路错误地当成圈，有没有哪个关键步骤偷偷使用了跟原猜想等价的未证明引理。
换句话说，所有候选证明想要通过审核，必须经得起一轮又一轮的刁难。
而且那指令写得特别狠，明确要求AI至少得坚持八个小时，不准中途说这个问题太难或者我们尽力了这种丧气话。
除非找到一份完整的、经得起所有审查的证明，否则不允许回来报告。
AI核心解决方法
接下来再说说那个证明本身，核心思路其实挺有启发的。AI一开始先运用了数学家早就知道的一个化简技巧。
只要能够证明立方图，也就是每个点恰好连接三条边的特殊情况成立，结论就能推广到所有图形。
这就把问题的规模压缩了一大截。紧接着用到一个现成的经典定理，给每条边贴上一个三维空间里的非零向量标签，并且保证每个顶点处贴的三个标签加起来正好是零。
这有点像给整张图做了一个全面标记。但光有标签还远远不够，AI面临的下一个挑战是怎么把这些数值标签转化成一种配对集合的结构。
这个结构得满足每个顶点处每个标签要么出现两次要么完全不出现的条件。
这部分工作在数学上叫做从流标记到配对结构的转换，相当于把一个代数问题重新翻译成了组合问题。
真正精彩的地方在于最后的全局修补，因为每条边有两个端点，两端各自生成的配对集合必须保持一致才行。
AI把这个问题转化成了一套线性方程组，然后通过线性代数里头的对偶空间理论，严格证明了这个方程组一定存在解。
一旦解出来，那些配对集合就能直接分解出我们需要的所有圈，每条边恰好被覆盖两遍，整个证明就这样画上了句号。
这个证明本身最让我感慨的地方在于，它的创新思路其实并不算天马行空，本质上是对经典三边染色策略的一种灵活变通，不再追求完美的染色方案，而是接受一种局部平衡的状态，最后通过代数手段硬生生把全局一致性给补上了。
前几代研究者可能也想到过类似的方向，但没人能完成最后那一步精巧的构造。
说到这你肯定想问，这证明到底算数不算数。目前数学界的态度是谨慎乐观，证明的结构看上去确实完整，所有引用的定理也都是已经验证过的经典成果，没有发现明显的逻辑断层。
我觉得这次AI解决数学难题，不亚于当年AlphaGo战胜围棋世界冠军。因为这意味着AI的能力已经从高效的模式识别跨越到了真正意义上的创造性数学推理，能够发现人类长期以来忽略的路径。
最后聊点个人感受，我读完整个事件的材料以后，脑子里冒出来的第一个念头其实是未来或许很快就能看到AI辅助解决更多著名的未解难题，比如那些动辄悬赏百万美金的问题。
不是说AI比人类聪明，而是它可以在极短时间内并行尝试几十种甚至上百种不同的数学构造，这种大规模试错的能力是人类望尘莫及的。
同时也告诉咱们AI真的是一把利器，谁能用好了肯定能获得意想不到的大结果。
OpenAI这次证明的提示词和结果已经放在上面了，有兴趣的小伙伴可以看看哈。
企业、高校及渠道合作
请联系微信：FYLlaoshi
