OpenAI 宣布其 GPT-5.6 Sol Ultra 模型在不到一小时内，成功生成了图论领域悬而未解 50 年的“循环双覆盖猜想”完整证明。该模型利用提示词工程调度 64 个并行子智能体，通过动态管理、对抗式验证及多样化路线尝试，在无联网搜索的情况下独立完成了推导。证明过程归约为三次图问题，利用 8-流定理和 GF(3) 线性代数构造了关键边标记。曼彻斯特大学数学家 Thomas Bloom 评价该证明“简洁漂亮”，但也指出其缺乏文献引用，且目前尚未经过同行评审或形式化验证。尽管数学界保持谨慎，但此次事件标志着 AI 在独立解决复杂科研难题上取得了重大进展，展示了多智能体协作在提升逻辑推理效率方面的巨大潜力。
事件分析
此次事件标志着 AI 在数学推理领域从“辅助工具”向“独立研究者”的潜在跨越。技术核心在于采用了多智能体编排策略，通过设置专门寻找漏洞的“对抗智能体”和并行的多样化尝试，成功模拟并加速了人类数学家的试错过程。低成本（数百美元）解决长期悬而未决的难题，证明了算力与算法结合在科研领域的边际成本正在极速下降。然而，缺乏文献引用和形式化验证（如 Lean 代码）表明，AI 仍难以建立符合学术规范的严谨逻辑链，其擅长的是在现有框架下的穷举与组合，而非概念创新。这预示着未来科研范式将转向“AI 提出猜想，人类验证概念”的人机协作模式。
💡 核心观点：AI 突破了人类思维在耐心与算力上的生理极限，算力成本正取代思维门槛成为科研效率的新变量。
原文链接：Linux.do
