GPT-5.6一小时解开50年数学猜想，700词Prompt驾驭64个子Agent

50 0 0

文章摘要

OpenAI宣布GPT-5.6 Sol Ultra在不到一小时内完成了图论中著名的循环双覆盖猜想的证明。该模型通过调用64个子智能体并行计算，大幅缩短了证明时间，并输出了完整的证明文档，展现了前沿大语言模型在数学推理和多智能体协作方面的强大能力。

在证明过程中，模型并未直接在图中寻找覆盖圈，而是将问题转化为有限域上的边标号问题，并利用线性代数进行全局一致性证明。具体而言，先将一般图归约为三次图，利用无处为零的8流定理为边分配非零二进制标签，随后将标签扩展并转化为线性方程组，最终证明局部标号能拼成统一的全局方案，使每条边恰好被两个圈覆盖。

OpenAI公开了此次任务的完整提示词，展示了驾驭复杂模型的核心技巧。针对路径未知的复杂任务，提示词不应规定固定的解题步骤，而应明确最终的验收标准和交付物定义。同时，需在任务开始前详细界定相关概念、范围及边界情况，并在长指令中重复目标以防止上下文漂移。此外，提示词不仅要说明期望的结果，还需明确列出哪些情况不属于有效答案，从而预先排除模型可能出现的偷懒或错误路径。

在多智能体协同方面，复杂任务应避免固定分工，采用动态搜索机制并设置独立的审查智能体。系统会根据各条探索路线的实际进展动态调整计算资源，避免算力过度集中在单一方法上。同时，引入对抗性智能体专门负责检查候选证明中的逻辑漏洞和定义替换，确保生成答案与审查答案的过程相互独立，从而有效提升复杂数学证明的准确性与可靠性。