#autonomous reasoning

OpenAI 的 GPT-5.6 Sol Ultra 模型利用 64 个子代理，在一小时内自主证明了图论中存在 50 年之久的循环双覆盖猜想，并生成了 3 页 PDF 证明。OpenAI 同时公布了所使用的完整提示。 这表明大型语言模型现在能够通过先进的多智能体推理解决长期未解的数学难题，可能从根本上改变数学研究的方式。同时，它也验证了精心设计的提示和子代理架构在复杂推理中的有效性。 模型使用了 64 个子代理并行工作，将问题转化为关于有限域上边标号和线性方程组的问题。提示明确规定了验收标准、定义、边界条件和失败情形，并要求动态分配子代理并进行独立审查。