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

本文报道了OpenAI最新模型GPT-5.6在不到一小时内成功证明了存在半个世纪的图论难题——循环双覆盖猜想。背景方面，该猜想自上世纪由Tutte等数学家提出以来，一直是图论中重要的未解问题，要求证明任何无桥图都能用若干圈覆盖每条边恰好两次。研究目的在于验证前沿AI模型在复杂数学证明中的能力，并探索多agent协作的效率。结论显示，GPT-5.6通过将问题转化为有限域边标号问题，利用线性代数证明标号全局一致性，成功得出完整证明。过程中模型动态调度64个子agent，将原本可能耗时一天的证明压缩至一小时。OpenAI还公开了约700字符的完整prompt，其核心技巧包括：不预先规定解法步骤，只明确验收标准；提前清晰定义问题范围和边界情况；列出哪些结果不算有效答案；对复杂任务采用动态资源分配并设置独立审查agent。这表明前沿AI模型在数学领域的能力持续提升，同时多agent协作能极大加速任务处理。