OpenAI GPT-5.6 Sol Ultra 一小时内独立证明50年图论猜想

OpenAI 宣布其 GPT-5.6 Sol Ultra 模型在不到一小时内，成功生成了图论领域悬而未解 50 年的“循环双覆盖猜想”完整证明。该模型利用提示词工程调度 64 个并行子智能体，通过动态管理、对抗式验证及多样化路线尝试，在无联网搜索的情况下独立完成了推导。证明过程归约为三次图问题，利用 8-流定理和 GF(3) 线性代数构造了关键边标记。曼彻斯特大学数学家 Thomas Bloom 评价该证明“简洁漂亮”，但也指出其缺乏文献引用，且目前尚未经过同行评审或形式化验证。尽管数学界保持谨慎，但此次事件标志着 AI 在独立解决复杂科研难题上取得了重大进展，展示了多智能体协作在提升逻辑推理效率方面的巨大潜力。

事件分析

💡 核心观点：AI 突破了人类思维在耐心与算力上的生理极限，算力成本正取代思维门槛成为科研效率的新变量。